[BDD+14]
Christel Baier, Marcus Daum, Clemens Dubslaff, Joachim Klein and Sascha Klüppelholz.
Energy-Utility Quantiles.
In Proc. NASA Formal Methods Symposium (NFM'14).
2014.
[Presents methods for model checking quantile properties of MDPs, implemented as an extension of PRISM.]
|
