Pattern-Based Verification of ROS 2 Nodes Using UPPAAL.

Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekstrm, Saad Mubeen

Browse the full FMICS paper archive.