Login / Signup
FOND Planning for Pure-Past Linear Temporal Logic Goals.
Luigi Bonassi
Giuseppe De Giacomo
Marco Favorito
Francesco Fuggitti
Alfonso Emilio Gerevini
Enrico Scala
Published in:
ECAI (2023)
Keyphrases
</>
linear temporal logic
temporally extended goals
temporal logic
model checking
heuristic search
bounded model checking
classical planning
modal logic
symbolic model checking
planning process
ai planning
planning domains
machine learning
decision problems
search space
reinforcement learning
learning algorithm