Strategy Representation by Decision Trees in Reactive Synthesis

Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Viktor Toman
April 2018
PDF DOI
Type
Conference paper
Publication
TACAS – Tools and Algorithms for the Construction and Analysis of Systems