TY  - RPRT
TI  - Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
AU  - Tomáš Brázdil
AU  - Krishnendu Chatterjee
AU  - Martin Chmelík
AU  - Andreas Fellner
AU  - Jan Křetínský
PY  - 2015
UR  - https://arxiv.org/abs/1502.02834
ID  - 1502.02834
ER  -