The Probabilistic Model Checking Landscape - Katoen, Joost-Pieter (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016)
Keywords: Hardware -- Robustness; Mathematics of computing -- Probability and statistics; Theory of computation -- Logic; Theory of computation -- Semantics and reasoning; Theory of computation -- Semantics and reasoning -- Program reasoning; model checking; Markov decision processes; abstraction; probabilistic logics; Markov chains; fault trees; parameter synthesis; applications