32 citations · 80 across the 14 of their papers we have counts for
1 paper · 1 filter
Vojtech Forejt, Marta Kwiatkowska, David Parker
Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system. It has useful applications in c…