Counterexample Explanation by Learning Small Strategies in Markov Decision Processes

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

While for deterministic systems, a counterexample to a property can simply be an error trace, counterexamples in probabilistic systems are necessarily more complex. For instance, a…