Login / Signup
Planning for Temporally Extended Goals in Pure-Past Linear Temporal Logic.
Luigi Bonassi
Giuseppe De Giacomo
Marco Favorito
Francesco Fuggitti
Alfonso Emilio Gerevini
Enrico Scala
Published in:
ICAPS (2023)
Keyphrases
</>
temporally extended goals
linear temporal logic
temporal logic
model checking
heuristic search
classical planning
search space
symbolic model checking
search algorithm
state space
modal logic
planning problems
temporally extended