Exploiting structure in LTL synthesis.

Emmanuel Filiot Naiyong Jin Jean-François Raskin

Published in: Int. J. Softw. Tools Technol. Transf. (2013)

Keyphrases

neural network
relational databases
machine learning
decision trees
case study
model checking
structural properties
program synthesis