There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 37

Record: found
Abstract: not found
Article: not found

A logic for reasoning about time and reliability

Hans-Christen Hansson, Bengt-Harald Jonsson (1994)

0 comments Cited 210 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Book: not found

Markov Chains and Stochastic Stability

Sean Meyn, Richard Tweedie (1993)

0 comments Cited 200 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book: not found

Markov Decision Processes

Martin L Puterman (1994)

0 comments Cited 98 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2014

Pages: 40-58

DOI: 10.1007/978-3-319-06880-0_2

SO-VID: ad6c0033-e898-4c34-a98f-9f328b22e241

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

See all cited by

Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations

Read this book at

Related collections

In vitro alveolar region models

Most cited references 37

A logic for reasoning about time and reliability

Markov Chains and Stochastic Stability

Markov Decision Processes

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,176

Cited by 4