Strategy Representation by Decision Trees in Reactive Synthesis.

Tomás Brázdil Krishnendu Chatterjee Jan Kretínský Viktor Toman

Published in: CoRR (2018)

Keyphrases

decision trees
feature construction
feature representation
data mining methods
machine learning
image representation
spatial relations
random forest
decision tree induction
feature selection
search algorithm
rough sets
attribute selection