TY  - RPRT
TI  - Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
AU  - Hiep Hong Trinh
AU  - Marjan Sirjani
AU  - Federico Ciccozzi
AU  - Abu Naser Masud
AU  - Mikael Sjödin
PY  - 2026
UR  - https://arxiv.org/abs/2511.15227
ID  - 2511.15227
ER  -