Counterexample Explanation by Learning Small Strategies in Markov Decision Processes.

Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretnsk

Browse the full CAV paper archive.