EECI 2020: Computer Session: Stormpy

From Murray Wiki
Revision as of 19:43, 27 February 2020 by Nok (talk | contribs) (Created page with "{{righttoc}} Hands-on probabilistic model checking exercises using stormpy. * quantitative analysis of PCTL specifications against Markov chain model * control strategy synt...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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

Additional Information

Retrieved from "https://murray.cds.caltech.edu/index.php?title=EECI_2020:_Computer_Session:_Stormpy&oldid=23410"