52 citations · 217 across the 36 of their papers we have counts for
Showing 2019 · cs.LOShow all
2 papers · 2 filters
cs.LO2019
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…
cs.LO2019
Partial and Conditional Expectations in Markov Decision Processes with Integer Weights
Jakob Piribauer, Christel Baier
The paper addresses two variants of the stochastic shortest path problem ('optimize the accumulated weight until reaching a goal state') in Markov decision processes (MDPs) with in…