Login / Signup
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction.
Tathagata Chakraborti
Jungkoo Kang
Francesco Fuggitti
Michael Katz
Shirin Sohrabi
Published in:
AAAI (2024)
Keyphrases
</>
linear temporal logic
natural language
temporal logic
model checking
temporally extended goals
plan execution
bounded model checking
classical planning
machine learning
initial state
transition systems
general purpose
heuristic search