2 papers
cs.SE2024
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
Ricardo Caldas, Juan Antonio Pinera Garcia, Matei Schiopu +3
Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has eme…
cs.RO2023
Software Reconfiguration in Robotics
Sven Peldszus, Davide Brugali, Daniel Strüber +2
Robots often need to be reconfigurableto customize, calibrate, or optimize robots operating in varying environments with different hardware). A particular challenge in robotics…