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

Author and book information

Book Chapter

Publication date (Print): 2010

Pages: 660-664

DOI: 10.1007/978-3-642-14295-6_56

SO-VID: 1c0c499b-e15e-4b1d-84b6-f3ad69270338

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 18

Synthesis for PCTL in Parametric Markov Decision Processes
Authors: Ernst Hahn, Tingting Han, Lijun Zhang
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
Authors: Christian Dehnert, Sebastian Junges, Nils Jansen …
Parameter Synthesis for Markov Models: Faster Than Ever
Authors: Tim Quatmann, Christian Dehnert, Nils Jansen …

See all cited by

PARAM: A Model Checker for Parametric Markov Models

Read this book at