Trade-off analysis meets probabilistic model checking.

Christel Baier, Clemens Dubslaff, Sascha Klppelholz

Browse the full CSL paper archive.