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

Hiep Hong Trinh, Marjan Sirjani, Federico Ciccozzi +2

Model-based development enables quicker prototyping, earlier experimentation and validation of design intents. For a multi-agent system with complex asynchronous interactions and c…