Author:
Kuhn Martin,Grüger Joscha,Matheja Christoph,Rivkin Andrey
Publisher
Springer Nature Switzerland
Reference27 articles.
1. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)
2. Burattin, A.: PLG2: multiperspective processes randomization and simulation for online and offline settings. arXiv, abs/1506.08415 (2015)
3. Chick, S.E.: Bayesian ideas and discrete event simulation: why, what and how. In: Perrone, L.F., Lawson, B., Liu, J., Wieland, F.P. (eds.) Proceedings of the WSC, pp. 96–105. IEEE Computer Society (2006)
4. Dahlqvist, F., Kozen, D.: Semantics of higher-order probabilistic programs with conditioning. Proc. ACM Program. Lang. 4(POPL), 57:1–57:29 (2020)
5. Lecture Notes in Computer Science;M de Leoni,2018