Finite LTL Synthesis as Planning.

Alberto Camacho Jorge A. Baier Christian J. Muise Sheila A. McIlraith

Published in: ICAPS (2018)

Keyphrases

linear temporal logic
classical planning
temporal logic
planning problems
model checking
temporally extended goals
ai planning
program synthesis
mechanical devices
domain independent
information systems
finite number
controller synthesis
genetic algorithm
artificial intelligence
blocks world