Author:
Gu Rong,Enoiu Eduard,Seceleanu Cristina,Lundqvist Kristina
Publisher
Springer International Publishing
Reference21 articles.
1. Abdeddaı, Y., Asarin, E., Maler, O., et al.: Scheduling with timed automata. Theor. Comput. Sci. 354(2), 272–300 (2006)
2. Al-Nuaimi, M., Qu, H., Veres, S.M.: A stochastically verifiable decision making framework for autonomous ground vehicles. In: 2018 IEEE International Conference on Intelligence and Safety for Robotics (ISR), pp. 26–33. IEEE (2018)
3. Ayala, A.M., Andersson, S.B., Belta, C.: Temporal logic control in dynamic environments with probabilistic satisfaction guarantees. In: 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems, pp. 3108–3113. IEEE (2011)
4. Chandler, P., Pachter, M.: Research issues in autonomous control of tactical UAVs. In: Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No. 98CH36207). IEEE (1998)
5. Daniel, K., Nash, A., Koenig, S., Felner, A.: Theta*: any-angle path planning on grids. J. Artif. Intell. Res. 39, 533–579 (2010)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Modeling and Verification of Collective and Cooperative Systems;Frontiers in Robotics and AI;2022-06-27
2. Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods;International Journal on Software Tools for Technology Transfer;2022-04-10
3. 30 Years of Statistical Model Checking;Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles;2020