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
|