Author:
Yu Chaofeng,Zhang Nan,Duan Zhenhua,Tian Cong
Publisher
Springer Nature Switzerland
Reference20 articles.
1. Aggarwal, S., Kumar, N.: Path planning techniques for unmanned aerial vehicles: a review, solutions, and challenges. Comput. Commun. 149, 270–299 (2020)
2. Lecture Notes in Computer Science;T Babiak,2012
3. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Duan, Z.: Temporal logic and temporal logic programming. Science Press (2005)
5. Lecture Notes in Computer Science;Z Duan,2013