4 citations · 14 across the 11 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
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.FL2019
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata
Simon Jantsch, David Müller, Christel Baier +1
This paper proposes a new algorithm for the generation of unambiguous Büchi automata (UBA) from LTL formulas. Unlike existing tableau-based LTL-to-UBA translations, our algorithm d…