Back to Results
First PageMeta Content
Temporal 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 exa
Add to Reading List

Document Date: 2016-04-21 06:03:55


Open Document

File Size: 277,20 KB

Share Result on Facebook
UPDATE