Temporal Planning via Interval Logic Satisfiability for Autonomous Systems.
Miquel RamírezAnubhav SinghPeter J. StuckeyChris ManziePublished in: CoRR (2024)
Keyphrases
- autonomous systems
- temporal planning
- temporal planner
- mutual exclusion
- plan generation
- ai planning
- dynamic environments
- domain independent
- autonomous navigation
- plan execution
- temporal constraints
- planning problems
- partial order
- heuristic search
- np complete
- long distance
- planning graph
- mobile robot
- classical planning
- domain specific
- reinforcement learning
- modal logic
- orders of magnitude
- general purpose
- computational complexity