Formal Analysis and Verification of DDS in ROS2.

Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang

Browse the full MEMOCODE paper archive.