@article{modellingandmodelcheckingaros2multirobot,
  title = {Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca},
  author = {Hiep Hong Trinh and Marjan Sirjani and Federico Ciccozzi and Abu Naser Masud and Mikael Sjödin},
  year = {2025},
  eprint = {2511.15227},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2511.15227},
}