611 citations · 855 across the 28 of their papers we have counts for
4 papers · 1 filter
Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
Dimitri Scheftelowitsch, Peter Buchholz, Vahid Hashemi +1
Markov decision processes (MDPs) are a popular model for performance analysis and optimization of stochastic systems. The parameters of stochastic behavior of MDPs are estimates fr…
Multi-objective Robust Strategy Synthesis for Interval Markov Decision Processes
Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns +2
Interval Markov decision processes (IMDPs) generalise classical MDPs by having interval-valued transition probabilities. They provide a powerful modelling tool for probabilistic sy…
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems
Holger Hermanns, Peter Höfner
This volume contains the proceedings of MARS 2017, the second workshop on Models for Formal Analysis of Real Systems, held on April 29, 2017 in Uppala, Sweden, as an affiliated wor…
Is your software on dope? Formal analysis of surreptitiously "enhanced" programs
Pedro R. D'Argenio, Gilles Barthe, Sebastian Biewer +2
Usually, it is the software manufacturer who employs verification or testing to ensure that the software embedded in a device meets its main objectives. However, these days we are…