Optimizations for LTL Synthesis.

Barbara Jobstmann Roderick Bloem

Published in: FMCAD (2006)

Keyphrases

temporal logic
program synthesis
model checking
linear temporal logic
texture synthesis
search algorithm
linear time temporal logic
deterministic automata
database
dynamic programming