Tobias Dürschmid, Christopher Steven Timperley, David Garlan, Claire Le Goues. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. In Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, ICSE 2024, Lisbon, Portugal, April 14-20, 2024. ACM, 2024. [doi]
Abstract is missing.