Parameter Synthesis for Markov Models: Faster Than Ever
- 22 September 2016
- book chapter
- Published by Springer Nature
- p. 50-67
Abstract
No abstract availableKeywords
All Related Versions
This publication has 19 references indexed in Scilit:
- Nested Reachability Approximation for Discrete-Time Markov Chains with Univariate Parameters2014
- Precise Parameter Synthesis for Stochastic Biochemical SystemsLecture Notes in Computer Science, 2014
- iscasMc: A Web-Based Probabilistic Model Checker2014
- Exploring Parameter Space of Stochastic Biochemical Systems Using Quantitative Model Checking2013
- PRISM 4.0: Verification of Probabilistic Real-Time Systems2011
- Synthesis for PCTL in Parametric Markov Decision Processes2011
- Model Repair for Probabilistic Systems2011
- Probabilistic reachability for parametric Markov modelsInternational Journal on Software Tools for Technology Transfer, 2010
- PARAM: A Model Checker for Parametric Markov Models2010
- Symbolic and Parametric Model Checking of Discrete-Time Markov Chains2005