Parameter Synthesis for Parametric Interval Markov Chains
- 25 December 2015
- book chapter
- Published by Springer Nature
- p. 372-390
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Model Checking of Open Interval Markov Chains2015
- Playing with Probabilities in Reconfigurable Broadcast Networks2014
- LTL Model Checking of Interval Markov Chains2013
- Maximizing Entropy over Markov Processes2013
- An extension of the inverse method to probabilistic timed automataFormal Methods in System Design, 2012
- Probabilistic model checking of biological systems with uncertain kinetic ratesTheoretical Computer Science, 2012
- Constraint Markov ChainsTheoretical Computer Science, 2011
- Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata2008
- Model-Checking ω-Regular Properties of Interval Markov Chains2008
- Symbolic and Parametric Model Checking of Discrete-Time Markov Chains2005