A tutorial on interactive markov chains

Research output: Chapter in Book / Report / Conference proceeding › Chapter › Academic › peer-review

Original language	English
Title of host publication	Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems
Publisher	Springer
Pages	26-66
Publication status	Published - 2014

Persistent URL (handle)

@inbook{6472836c67bb43a5a324c160a66da4ad,

title = "A tutorial on interactive markov chains",

author = "F. Arnold and D. Gebler and D. Guck and H. Hatefi",

year = "2014",

language = "English",

pages = "26--66",

booktitle = "Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems",

publisher = "Springer",

}