High-level Programming via Generalized Planning and LTL Synthesis.
Blai BonetGiuseppe De GiacomoHector GeffnerFabio PatriziSasha RubinPublished in: KR (2020)
Keyphrases
- high level programming
- temporally extended goals
- temporal logic
- model checking
- heuristic search
- mechanical devices
- classical planning
- planning problems
- ai planning
- decision support
- search algorithm
- state space
- symbolic model checking
- bounded model checking
- mission planning
- high level
- data sets
- real time
- texture synthesis
- decision theoretic
- dynamic programming
- goal oriented
- machine learning