Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca

Hiep Hong Trinh, Marjan Sirjani, Federico Ciccozzi +2

Model-based development accelerates prototyping, enables earlier experimentation, and ensures rigorous validation of system design intents. In multi-agent systems with complex asyn…