Davide Brugali. Modeling and Analysis of Safety Requirements in Robot Navigation with an Extension of UML MARTE. In IEEE International Conference on Real-time Computing and Robotics, RCAR 2018, Kandima, Maldives, August 1-5, 2018. pages 439-444, IEEE, 2018. [doi]
Abstract is missing.