Pareto curves for probabilistic model checking (2012)

by V Forejt, M Kwiatkowska, D Parker
Venue:In Automated Technology for Verification and Analysis