A tutorial on interactive markov chains

F. Arnold, D. Gebler, D. Guck, H. Hatefi

Research output: Chapter in Book / Report / Conference proceedingChapterAcademicpeer-review

Original languageEnglish
Title of host publicationStochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
PublisherSpringer
Pages26-66
Publication statusPublished - 2014

Cite this

Arnold, F., Gebler, D., Guck, D., & Hatefi, H. (2014). A tutorial on interactive markov chains. In Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems (pp. 26-66). Springer.