[1] R. Alur, T. Feder, and T. A. Henzinger. The bene ts of relaxing punctuality. J. ACM, 43(1):116{146, 1996.
[2] A. Andreychenko, L. Mikeev, D. Spieler, and V. Wolf. Approximate maximum likelihood estimation for stochastic chemical kinetics. EURASIP Journal on Bioinf. and Sys. Bio., 9, 2012.
[3] Christel Baier and Joost-Pieter Katoen. Principles of model checking. MIT Press, Cambridge, Mass., 2008. 01316.
[4] C. P. Barnes, D. Silk, X. Sheng, and M. P. Stumpf. Bayesian design of synthetic biological systems. PNAS USA, 108(37):15190{5, 2011.
[5] Alain Barrat, Marc Barthlemy, and Alessandro Vespignani. Dynamical Processes on Complex Networks. Cambridge University Press, Leiden, 2008. 00763.
[6] Ezio Bartocci, Luca Bortolussi, Laura Nenzi, and Guido Sanguinetti. On the robustness of temporal properties for stochastic models. Electronic Proceedings in Theoretical Computer Science, 125:3{19, August 2013.
[7] Ezio Bartocci, Luca Bortolussi, and Guido Sanguinetti. Data-driven statistical learning of temporal logic properties. In Axel Legay and Marius Bozga, editors, Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings, volume 8711 of Lecture Notes in Computer Science, pages 23{37. Springer, 2014.
[8] Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, and Scott A. Smolka. Model repair for probabilistic systems. In Parosh Aziz Abdulla and K. Rustan M. Leino, editors, Tools and Algorithms for the Construction and Analysis of Systems, number 6605 in Lecture Notes in Computer Science, pages 326{340. Springer Berlin Heidelberg, January 2011.
[9] C. M. Bishop. Pattern Recognition and Machine Learning. Springer, 2006.
[10] L. Bortolussi, J. Hillston, D. Latella, and M. Massink. Continuous approximation of collective systems behaviour: a tutorial. Performance Evaluation, 2013.
[11] L. Bortolussi, D. Milios, and G. Sanguinetti. Smoothed Model Checking for Uncertain Continuous Time Markov Chains. arXiv preprint arXiv:1402.1450, 2014.
[12] L. Bortolussi and A. Policriti. (hybrid) automata and (stochastic) programs. the hybrid automata lattice of a stochastic program. Journal of Logic and Computation, 23(4):761{798, 2013. 00000.
[13] L. Bortolussi and G. Sanguinetti. Learning and designing stochastic processes from logical constraints. In Proceedings of QEST 2013, 2013. 00001.
[14] Luca Bortolussi and Alberto Policriti. Hybrid dynamics of stochastic programs. Theoretical Computer Science, 411(20):2052{2077, April 2010. 00016.
[15] Luca Bortolussi and Guido Sanguinetti. A statistical approach for computing reachability of non-linear and stochastic dynamical systems. In Gethin Norman and William H. Sanders, editors, Quantitative Evaluation of Systems - 11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings, volume 8657 of Lecture Notes in Computer Science, pages 41{56. Springer, 2014.
[16] Luminita Manuela Bujorianu. Analysis of Hybrid Systems. Number 61 in Communications and Control Engineering. Springer Verlag London, 2012. 00008.
[17] Richard L Burden and J. Douglas Faires. Numerical analysis. Brooks/Cole, Cengage Learning, Boston, MA, 2011.
[18] T. Chen, M. Diciolla, M.Z. Kwiatkowska, and A. Mereacre. Time-bounded veri cation of ctmcs against real-time speci cations. In Proc. of FORMATS, pages 26{42, 2011.
[19] T. Cover and J. Thomas. Elements of Information Theory, 2nd ed. Wiley, 2006.
[20] B. Cseke, M. Opper, and G. Sanguinetti. Approximate inference in latent gaussian markov models from continuous time observations. In M. Welling, Z. Ghahramani, C.J.C.Burges, L. Bottou, and K. Weinberger, editors, Advances in Neural Information Processing Systems 21. MIT, 2013.
[21] D. J. Daley and D. G. Kendall. Epidemics and Rumours. Nature, 204(4963):1118{1118, dec 1964. 00099.
[22] Robin Donaldson and David Gilbert. A model checking approach to the parameter estimation of biochemical pathways. In Computational Methods in Systems Biology, page 269{287, 2008. 00049.
[23] C. W. Gardiner. Handbook of stochastic methods: for physics, chemistry and the natural sciences. Springer series in synergetics, 13. Springer, 2002.
[24] Timothy S. Gardner, Charles R. Cantor, and James J. Collins. Construction of a genetic toggle switch in escherichia coli. Nature, 403(6767):339{342, 2000.
[25] D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry, 81(25), 1977.
[26] Ernst Moritz Hahn, Holger Hermanns, and Lijun Zhang. Probabilistic reachability for parametric markov models. International Journal on Software Tools for Technology Transfer, 13(1):3{19, 2011. 00049.
[27] S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer, and P. Zuliani. A Bayesian approach to model checking biological systems. In Proc. of CMSB, pages 218{234, 2009.
[28] S. K. Jha and C. J. Langmead. Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction re nement. Theor. Comp. Sc., 412(21):2162 { 2187, 2011.
[29] M. Kennedy and A. O'Hagan. Bayesian calibration of computer models. Journal of the Royal Stat. Soc. Ser. B, 63(3):425{464, 2001.
[30] O. Maler and D. Nickovic. Monitoring temporal properties of continuous signals. In Proc. of FORMATS, pages 152{166, 2004.
[31] Michael D. McKay. Latin hypercube sampling as a tool in uncertainty analysis of computer models. In Proceedings of the 24th conference on Winter simulation, pages 557{564, 1992.
[32] A. Ocone, A. J. Millar, and G. Sanguinetti. Hybrid regulatory models: a statistically tractable approach to model regulatory network dynamics. Bioinformatics, 29(7):910{916, February 2013.
[33] B. K. ksendal. Stochastic Di erential Equations: An Introduction with Applications. Berlin: Springer., 2003.
[34] M. Opper and G. Sanguinetti. Variational inference for Markov jump processes. In Proc. of NIPS, 2007.
[35] C. E. Rasmussen and C. K. I. Williams. Gaussian Processes for Machine Learning. MIT Press, 2006.
[36] Derek Riley, Xenofon Koutsoukos, and Kasandra Riley. Simulation of stochastic hybrid systems with switching and re ecting boundaries. In Proceedings of the 40th Conference on Winter Simulation, WSC '08, pages 804{812, Miami, Florida, 2008. Winter Simulation Conference. 00009.
[37] N. Srinivas, A. Krause, S. Kakade, and M. Seeger. Information-theoretic regret bounds for Gaussian process optimisation in the bandit setting. IEEE Trans. Inf. Th., 58(5):3250{3265, 2012.
[38] Boxin Tang. Orthogonal array-based latin hypercubes. Journal of the American Statistical Association, 88(424):1392{1397, 1993.
[39] Tianhai Tian and Kevin Burrage. Stochastic models for regulatory networks of the genetic toggle switch. Proceedings of the National Academy of Sciences, 103(22):8372{8377, May 2006. PMID: 16714385.
[40] N. G. van Kampen. Stochastic processes in physics and chemistry. Elsevier, Amsterdam; Boston; London, 2007.
[41] Ziyu Wang, Masrour Zoghi, Frank Hutter, David Matheson, and Nando de Freitas. Bayesian optimization in high dimensions via random embeddings. In International Joint Conferences on Arti cial Intelligence (IJCAI), 2013.
[42] H. L. S. Younes, M. Z. Kwiatkowska, G. Norman, and D. Parker. Numerical vs. statistical probabilistic model checking. STTT, 8(3):216{228, 2006.
[43] H. L. S. Younes and R. G. Simmons. Statistical probabilistic model checking with a focus on time-bounded properties. Inf. Comput., 204(9):1368{1409, 2006.