ROS-Based Co-Simulation for Formal Cyber-Physical Robotic System Design.

Mohammad Vazirpanah, Seyed-Hosein Attarzadeh-Niaki, Armin Salimi-Badr

Browse the full CSICC paper archive.