Marta__Kwiatkowska
Automatic verification of real-time systems with discrete probability distributions
PRISM: Probabilistic symbolic model checker
Probabilistic metric semantics for a simple language with recursion
Probabilistic symbolic model checking with PRISM: A hybrid approach
Symbolic model checking of concurrent probabilistic processes using MTBDDs and the Kronecker representation
Verifying quantitative properties of continuous probabilistic timed automata