Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.
IJCAI 2021（2021）
Key words
Knowledge Representation and Reasoning: Qualitative, Geometric, Spatial, Temporal Reasoning,Robotics: Behavior and Control,Robotics: Cognitive Robotics,Planning and Scheduling: Temporal and Hybrid Planning
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined