A LTL Fragment for GR(1)-Synthesis

Andreas Morgenstern Klaus Schneider

Published in: iWIGP (2011)

Keyphrases

model checking
temporal logic
program synthesis
bounded model checking
deterministic automata
databases
machine learning
finite automata
linear time temporal logic
learning algorithm
website
database systems
first order logic
functional programs