Author:
Gu Rong,Marinescu Raluca,Seceleanu Cristina,Lundqvist Kristina
Publisher
Springer International Publishing
Reference30 articles.
1. Bhatia, A., Maly, M.R., Kavraki, L.E., Vardi, M.Y.: Motion planning with complex goals. IEEE Rob. Autom. Mag. 18(3), 55–64 (2011)
2. Black, P.E.: Manhattan distance. Dictionary Algorithms Data Struct. 18, 2012 (2006)
3. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying multi-agent programs by model checking. Auton. Agent. Multi-Agent Syst. 12(2), 239–256 (2006)
4. Branicky, M.S., Borkar, V.S., Mitter, S.K.: A unified framework for hybrid control: model and optimal control theory. IEEE Trans. Autom. Control 43(1), 31–45 (1998)
5. Lecture Notes in Computer Science;P Bulychev,2012
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. REDriver: Runtime Enforcement for Autonomous Vehicles;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. Formal Verification of Path Planning Safety and Reachability in Unmanned Surface Vehicles;Lecture Notes in Computer Science;2024
4. Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems;2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW);2023-04
5. Dynamic Maps Requirements for Autonomous Navigation on Construction Sites;2022 5th International Conference on Communications, Signal Processing, and their Applications (ICCSPA);2022-12-27