Tom Pressburger

Papers

Total Citations

H-Index

About

Tom Pressburger is a leading researcher in the formal methods and runtime verification of autonomous robotic systems. His work focuses on bridging the gap between high-level requirements and the safe, real-time operation of complex platforms like the Robot Operating System 2 (ROS2). Pressburger’s major contribution lies in developing rigorous monitoring frameworks that detect and respond to specification violations during system execution—a critical capability for safety-critical missions where exhaustive pre-deployment verification is infeasible. His most cited work, "Monitoring ROS2: from Requirements to Autonomous Robots" (2022, 10 citations), introduces a methodology for translating formal requirements into correct-by-construction monitors, directly addressing the challenge of ensuring monitor reliability in autonomous systems. More recently, his 2024 paper "Robotics: A New Mission for FRET Requirements" extends this line of inquiry by adapting the FRET (Formal Requirements Elicitation Tool) framework to the robotics domain, enabling engineers to author precise, machine-checkable specifications. Pressburger’s research is foundational for certifying autonomous robots in applications ranging from space exploration to industrial automation, and his work on monitor correctness is widely cited by practitioners seeking to deploy trustworthy AI-driven systems.