EECI 2020: Computer Session: Stormpy: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(Created page with "{{righttoc}} Hands-on probabilistic model checking exercises using stormpy. * quantitative analysis of PCTL specifications against Markov chain model * control strategy synt...") |
(No difference)
|
Revision as of 19:43, 27 February 2020
Hands-on probabilistic model checking exercises using stormpy.
- quantitative analysis of PCTL specifications against Markov chain model
- control strategy synthesis.
Lecture Materials
Further Reading
Principles of Model Checking, C. Baier and J.-P. Katoen, The MIT Press, 2008. A detailed reference on model checking. Slides for this lecture follow Chapter 10 of this reference.
stormpy. A comprehensive reference on stormpy
prism. For the PRISM Language and properties
