Author:
Vistbakka Inna,Majd Amin,Troubitsyna Elena
Publisher
Springer International Publishing
Reference21 articles.
1. Abrial, J.R.: Modeling in Event-B. Cambridge University Press, Cambridge (2010)
2. Lecture Notes in Computer Science;A Iliasov,2010
3. Macek, K., Govea, D.A.V., Fraichard, T., Siegwart, R.: Safe vehicle navigation in dynamic urban scenarios. In: Proceedings of 11th International IEEE Conference on Intelligent Transportation Systems, pp. 482–489. IEEE (2008)
4. Laibinis, L., Pereverzeva, I., Troubitsyna, E.: Formal reasoning about resilient goal-oriented multi-agent systems. Sci. Comput. Program. 148, 66–87 (2017)
5. van Lamsweerde, A.: Goal-oriented requirements engineering: a guided tour. In: RE 2001, pp. 249–263. IEEE Computer Society (2001)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Model of Collaborative Fault Tolerant Planning in Multi-Robotic Systems;2022 8th International Conference on Control, Decision and Information Technologies (CoDIT);2022-05-17
2. Formal Specification of Fault-Tolerant Multi-agent Systems;Lecture Notes in Computer Science;2021
3. Multi-Layered Safety Architecture of Autonomous Systems: Formalising Coordination Perspective;2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE);2019-01
4. Modelling Autonomous Resilient Multi-robotic Systems;Lecture Notes in Computer Science;2019