Ruoxiang Li, Zheng Dong 0002, Jen-Ming Wu, Chun Jason Xue, Nan Guan. Modeling and Property Analysis of the Message Synchronization Policy in ROS. In IEEE International Conference on Mobility, Operations, Services and Technologies, MOST 2023, Detroit, MI, USA, May 17-19, 2023. pages 71-82, IEEE, 2023. [doi]
Abstract is missing.