-
Experimental part of CAV 2015 publication: Counterexample Explanation by Lear...
This repository contains the experimental part of the CAV 2015 publication Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. We extended the...