A Model-Based Approach to Automation of Formal Verification of ROS 2-Based Systems


Lukas Dust, Mikael Ekström, Cristina Seceleanu, Rong Gu, Saad Mubeen, March 2025