Pareto Curves for Probabilistic Model Checking
- 1 January 2012
- book chapter
- Published by Springer Nature
- p. 317-332
Abstract
No abstract availableKeywords
All Related Versions
This publication has 14 references indexed in Scilit:
- Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes2011
- PRISM 4.0: Verification of Probabilistic Real-Time Systems2011
- Automated Verification Techniques for Probabilistic Systems2011
- Quantitative Multi-objective Verification for Probabilistic Systems2011
- Assume-Guarantee Verification for Probabilistic Systems2010
- Markov Decision Processes with Multiple Objectives2006
- Convex Optimization2004
- PISA — A Platform and Programming Language Independent Interface for Search Algorithms2003
- Multicriteria Analysis1997
- Denumerable Markov Chains1976