Learning and designing stochastic processes from logical constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8054 LNCS, Issue , 2013, Pages 89-105

  Bortolussi, Luca ^a,b   Sanguinetti, Guido ^c  

^a UNIVERSITY OF TRIESTE   (Italy)

^b ISTI CNR   (Italy)

^c UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COSTS; CONSTRUCTIVE APPROACH; CONTINUOUS TIME MARKOV CHAIN; GLOBAL OPTIMISATION; INITIAL CONDITIONS; LOGICAL CONSTRAINTS; MACHINE LEARNING COMMUNITIES; THEORETICAL COMPUTER SCIENCE;

ALGORITHMS; GLOBAL OPTIMIZATION; MATHEMATICAL MODELS; MODEL CHECKING;

MARKOV PROCESSES;

EID: 84882777639     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-40196-1_7     Document Type: Conference Paper

References (22)

1. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116-146 (1996)
2. Andersson, H., Britton, T.: Stochastic Epidemic Models and Their Statistical Analysis. Springer (2000)
3. Andreychenko, A., Mikeev, L., Spieler, D., Wolf, V.: Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP Journal on Bioinf. and Sys. Bio. 9 (2012)
4. Baier, C., Haverkort, B., Hermanns, H., Katoen, J.P.: Model checking continuoustime Markov chains by transient analysis. IEEE TSE 29(6), 524-541 (2003)
5. Barnes, C.P., Silk, D., Sheng, X., Stumpf, M.P.: Bayesian design of synthetic biological systems. PNAS USA 108(37), 15190-15195 (2011)
6. Bishop, C.M.: Pattern Recognition and Machine Learning. Springer (2006)
7. Bradley, J.T., Gilmore, S.T., Hillston, J.: Analysing distributed internet worm attacks using continuous state-space approximation of process algebra models. J. Comput. Syst. Sci. 74(6), 1013-1032 (2008)
8. Chen, T., Diciolla, M., Kwiatkowska, M.Z., Mereacre, A.: Time-bounded verification of CTMCs against real-time specifications. In: Fahrenberg, U., Tripakis, S. (eds.) FORMATS 2011. LNCS, vol. 6919, pp. 26-42. Springer, Heidelberg (2011)
9. Cover, T., Thomas, J.: Elements of Information Theory, 2nd edn. Wiley (2006)
10. Durrett, R.: Essentials of stochastic processes. Springer (2012)
11. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry 81(25) (1977)
12. Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218-234. Springer, Heidelberg (2009)
13. Jha, S.K., Langmead, C.J.: Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement. Theor. Comp. Sc. 412(21), 2162-2187 (2011)
14. Kennedy, M., O'Hagan, A.: Bayesian calibration of computer models. Journal of the Royal Stat. Soc. Ser. B 63(3), 425-464 (2001)
15. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic symbolic model checking with PRISM: A hybrid approach. Int. Jour. on Softw. Tools for Tech. Transf. 6(2), 128-142 (2004)
16. Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS/FTRTFT 2004. LNCS, vol. 3253, pp. 152-166. Springer, Heidelberg (2004) (Pubitemid 39738302)
17. Opper, M., Sanguinetti, G.: Variational inference for Markov jump processes. In: Proc. of NIPS (2007)
18. Rasmussen, C.E., Williams, C.K.I.: Gaussian Processes for Machine Learning. MIT Press (2006)
19. Romero, P.A., Krause, A., Arnold, F.H.: Navigating the protein fitness landscape with Gaussian processes. PNAS USA 110(3), E193-E201 (2013)
20. Srinivas, N., Krause, A., Kakade, S., Seeger, M.: Information-theoretic regret bounds for Gaussian process optimisation in the bandit setting. IEEE Trans. Inf. Th. 58(5), 3250-3265 (2012)
21. Vezhnevets, A., Ferrari, V., Buhmann, J.: Weakly supervised structured output learning for semantic segmentation. In: Comp. Vision and Pattern Recog. (2012)
22. Younes, H.L.S., Simmons, R.G.: Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput. 204(9), 1368-1409 (2006)