Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.
Tarik ViehmannTill HofmannGerhard LakemeyerPublished in: IJCAI (2021)
Keyphrases
- timed automata
- model checking
- real time
- integer program
- temporal dimension
- mixed integer program
- spatial and temporal
- temporal information
- robotic platform
- plan recognition
- constraint satisfaction
- artificial intelligence
- reachability analysis
- temporal databases
- temporal reasoning
- spatio temporal
- knowledge representation
- probability distribution
- lagrange multipliers
- reinforcement learning
- lower bound
- totally ordered
- interval algebra
- dynamic programming
- plan generation
- mobile robot
- low cost
- partially ordered
- state space
- constraint networks
- temporal data
- constrained optimization
- theorem prover