CAP Project

[BaierHK19] The 10, 000 Facets of MDP Model Checking Baier, C.; Hermanns, H. and Katoen, J.-P. In Computing and Software Science - State of the Art and Perspectives, pages 420-451, Springer, Lecture Notes in Computer Science 10000, 2019.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-91908-9_21