Login / Signup
Optimal Infinite Temporal Planning: Cyclic Plans for Priced Timed Automata.
Rasmus G. Tollund
Nicklas S. Johansen
Kristian Ø. Nielsen
Álvaro Torralba
Kim G. Larsen
Published in:
ICAPS (2024)
Keyphrases
</>
temporal planning
optimal plans
plan generation
timed automata
temporal planner
plan execution
mutual exclusion
planning problems
plan recognition
ai planning
causal links
optimal solution
model checking
theorem prover
partial order
orders of magnitude
dynamic programming
temporal constraints