CAP Project

[HartmannsH15a] Explicit Model Checking of Very Large MDP Using Partitioning and Secondary Storage Hartmanns, A. and Hermanns, H. In Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pages 131-147, Springer, Lecture Notes in Computer Science 9364, 2015.
Downloads: bibURL: https://doi.org/10.1007/978-3-319-24953-7_10