Keynote at RoME 2026 – "Space Robotics Verification with FRETish Requirements"

Honored to deliver a keynote at the Fourth Summer School on Robotic Mission Engineering (RoME 2026) at the Universidade de Brasília, Brazil. The talk — Space Robotics Verification with FRETish Requirements — discusses how formal requirement specification with FRET can be applied to verify autonomous behaviors in space robotic systems. Great to be back in Brasília!