Back to Results
First PageMeta Content
Statistical randomness / Temporal logic / Theoretical computer science / Probability / Markov models / Model checkers / Markov processes / Model checking / PRISM model checker / Markov decision process / Linear temporal logic / Computation tree logic


Advances and Challenges of Probabilistic Model Checking Marta Kwiatkowska Gethin Norman David Parker Computing Laboratory Department of Computing Science
Add to Reading List

Document Date: 2011-12-22 18:19:34


Open Document

File Size: 904,19 KB

Share Result on Facebook
UPDATE