Multi-agent plan reconfiguration under local LTL specifications 论文

2014The International Journal of Robotics Research引用 220
DOI
Robotic Path Planning AlgorithmsFormal Methods in VerificationAI-based Problem Solving and Planning
AI-based Problem Solving and PlanningRobotic Path Planning AlgorithmsFormal Methods in Verification
相关技术:Robotic Path Planning AlgorithmsFormal Methods in Verification
关系图谱

Multi-agent plan reconfiguration under local LTL specifications · 作者

D

Dimos V. Dimarogonas

M

Meng Guo