Probabilistic Model Checking and Non-standard Multi-objective Reasoning.

Christel Baier, Clemens Dubslaff, Sascha Klppelholz, Marcus Daum, Joachim Klein, Steffen Mrcker, Sascha Wunderlich

Browse the full FASE paper archive.