ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems.

Tobias Drschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues

Browse the full ICSE paper archive.