NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.LO2015

Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

Tomáš Brázdil, Krishnendu Chatterjee, Martin Chmelík +2

cs.LO2019

Mutation Testing with Hyperproperties

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher