Strategy Representation by Decision Trees in Reactive Synthesis.

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

Published in: TACAS (1) (2018)

Keyphrases

decision trees
feature construction
neural network
search strategy
rule induction
decision tree induction
machine learning
learning algorithm
computer vision
website
machine learning algorithms
agent architecture
feature representation
decision tree algorithm
decision tree learning
functional decomposition