Ingy Elsayed-Aly, David Parker 0001, Lu Feng 0001. Distributional Probabilistic Model Checking. In Nathaniel Benz, Divya Gopinath, Nija Shi, editors, NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings. Volume 14627 of Lecture Notes in Computer Science, pages 57-75, Springer, 2024. [doi]
Abstract is missing.