Strategy Representation by Decision Trees with Linear Classifiers

Pranav Ashok, Tomáš Brázdil, Krishnendu Chatterjee +3

Graph games and Markov decision processes (MDPs) are standard models in reactive synthesis and verification of probabilistic systems with nondeterminism. The class of $\omega$-regular w…