Farkas certificates and minimal witnesses for probabilistic reachability constraints

Florian Funke, Simon Jantsch, Christel Baier

This paper introduces Farkas certificates for lower and upper bounds on minimal and maximal reachability probabilities in Markov decision processes (MDP), which we derive using an…