A Signal Temporal Logic Approach for Task-Based Coordination of Multi-Aerial Systems: a Wind Turbine Inspection Case Study
ROBOTICS AND AUTONOMOUS SYSTEMS（2025）
关键词
Aerial systems,Applications,Formal methods in robotics and automation,Task and motion planning,Multi-robot systems
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要