基于线性时序逻辑的多智能体任务和运动规划（LTL-based Multi-agent Task and Motion Planning）入门资料：
- 一门讲座：Motion and Task Plannig.mp4
- 一篇博士论文： Hybrid Control of Multi-robot Systems under Complex Temporal Tasks
- 两本参考书籍：
- LaValle, S. M. (2006). Planning algorithms. Cambridge university press.
- Baier, C., & Katoen, J. P. (2008). Principles of model checking. MIT press.
- 一套网课：动态系统的形式化分析与控制 （帮助理解形式化方法的基本概念）https://www.bilibili.com/video/BV12r4y1w7DF/
- 上手实践：https://github.com/MengGuo/P_MAS_TG