Small Decision Trees for MDPs with Deductive Synthesis.

Roman Andriushchenko, Milan Ceska, Sebastian Junges, Filip Mack

Browse the full CAV paper archive.