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 9

Record: found
Abstract: not found
Article: not found

An Analysis of Stochastic Shortest Path Problems

Dimitri Bertsekas, John Tsitsiklis (1991)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Model checking for a probabilistic branching time logic with fairness

Christel Baier, Marta Kwiatkowska (1998)

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

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Bisimulation through probabilistic testing (preliminary report)

K G Larsen, A. Skou (1989)

0 comments Cited 24 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1999

Publication date (Online): April 19 2002

Pages: 66-81

DOI: 10.1007/3-540-48320-9_7

SO-VID: 90d51293-0185-43c0-af4b-6750e93430b6

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 24

See all cited by

Computing Minimum and Maximum Reachability Times in Probabilistic Systems

Read this book at

Related collections

Socioecological systems

Most cited references 9

An Analysis of Stochastic Shortest Path Problems

Model checking for a probabilistic branching time logic with fairness

Bisimulation through probabilistic testing (preliminary report)

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 5,547

Cited by 24