Date: 2016-04-21 06:03:55Temporal logic Theoretical computer science Probability Markov decision process Markov chain Probabilistic CTL Linear temporal logic Computation tree logic PL | | Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exaAdd to Reading ListSource URL: qav.comlab.ox.ac.ukDownload Document from Source Website File Size: 277,20 KBShare Document on Facebook
|