scholar.google.com › citations
Jun 24, 2012 · It has useful applications in controller synthesis and compositional probabilistic verification.
Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system.
In this paper, we present a novel approach to multi-objective model checking of probabilistic reachability and expected total reward properties. Our method is ...
... Pareto curves significantly enhances the quality of results obtained from current probabilistic verification tools. Multi-objective probabilistic model checking ...
Abstract. Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochas-.
Multi-objective probabilistic model checking provides a way to verify several, possibly conflicting, quantitative properties of a stochastic system.
Jan 16, 2024 · This paper proposes to consider the schedulers in a subMDP which form a Pareto curve on a combination of local objectives.
Missing: Probabilistic | Show results with:Probabilistic
Oct 17, 2022 · I was trying to run the code for the paper Pareto Curves for Probabilistic Model Checking available at http://www.prismmodelchecker.org/files/ ...
− e.g. "Pareto curve for maximising probability of transmission and ... − multi-objective probabilistic model checking. − model checking for ...
People also ask
What is probabilistic model checking?
Aug 13, 2018 · Vojtech Forejt, Marta Z. Kwiatkowska, David Parker: Pareto Curves for Probabilistic Model Checking. CoRR abs/1206.6295 (2012).