![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 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](https://www.pdfsearch.io/img/ff00dc9b3081cd487cf0bcdccbf0f731.jpg) Date: 2011-12-22 18:19:34Statistical 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 ScienceAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 904,19 KBShare Document on Facebook
|