_id,doi,title 5549,10.15479/AT:ISTA:28,Experimental part of CAV 2015 publication: Counterexample Explanation by Learning Small Strategies in Markov Decision Processes