Publisher
Springer Nature Switzerland
Reference37 articles.
1. Badings, T.S., Jansen, N., Junges, S., Stoelinga, M., Volk, M.: Sampling-based verification of ctmcs with uncertain rates. In: Shoham, S., Vizel, Y. (eds.) Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, Israel, 7–10 August 2022, Proceedings, Part II, pp. 26–47. Springer, Heidelberg (2022). https://doi.org/10.1007/978-3-031-13188-2_2
2. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT press, Cambridge (2008)
3. Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587, 3–25 (2015). https://doi.org/10.1016/j.tcs.2015.02.046
4. Bingham, E., et al.: Pyro: Deep universal probabilistic programming. J. Mach. Learn. Res. 20, 28:1–28:6 (2019). https://jmlr.org/papers/v20/18-403.html
5. Bishop, C.M.: Pattern Recognition and Machine Learning. Springer, Heidelberg (2006)