Linear temporal logic as an executable semantics for planning languages.
Marta Cialdea MayerCarla LimongelliAndrea OrlandiniValentina PoggioniPublished in: J. Log. Lang. Inf. (2007)
Keyphrases
- linear temporal logic
- temporally extended goals
- temporal logic
- model checking
- heuristic search
- classical planning
- expressive power
- bounded model checking
- highly expressive
- formal specification
- formal semantics
- planning problems
- control flow
- attribute grammars
- reinforcement learning
- domain independent
- domain specific