Félix Ingrand. Recent Trends in Formal Validation and Verification of Autonomous Robots Software. In 3rd IEEE International Conference on Robotic Computing, IRC 2019, Naples, Italy, February 25-27, 2019. pages 321-328, IEEE, 2019. [doi]
Abstract is missing.