Strategy Representation by Decision Trees in Reactive Synthesis.

Toms Brzdil, Krishnendu Chatterjee, Jan Kretnsk, Viktor Toman

Browse the full TACAS paper archive.