SPACERAISE Summer School lectures on resilient space robotics

This week I contributed to the SPACERAISE Summer School on Robotics and Space at GSSI. In my lecture, Resilient Robotics for Space: Verifying, Testing, and Adapting Beyond Earth, I discussed how verification, testing, runtime monitoring, digital twins, and adaptable behavior trees can help space robotic systems degrade gracefully, recover, and adapt when assumptions break. Together with Keila Lima, I also presented SpaceTry, and with Gianluca Filippone, Keila Lima, and Sara Pettinari introduced students to Space-ROS through hands-on examples in simulated space environments.