Anastasia Mavridou

Papers

Total Citations

H-Index

About

Anastasia Mavridou is a leading researcher at the intersection of formal methods, runtime verification, and autonomous systems. Her work focuses on bridging the gap between rigorous formal verification and the practical demands of complex, safety-critical robotic platforms, particularly those built on Robot Operating System 2 (ROS2). Her most cited paper, "Integrating Formal Verification and Assurance: An Inspection Rover Case Study" (2021, 35 citations), demonstrates a pioneering approach to combining formal verification with system assurance for real-world robotics. Mavridou’s research on monitoring ROS2 systems (2022, 10 citations) addresses the critical challenge of ensuring correct runtime monitoring in autonomous robots, where traditional verification is infeasible. She has also explored requirements engineering for learning-enabled software (2023, 6 citations) and applied the FRET requirements framework to robotics (2024, 4 citations). Her work is notable for its direct impact on enabling safe autonomy, providing engineers with practical tools to verify and monitor complex robotic behaviors. Mavridou’s contributions are essential for students and researchers seeking to understand how formal methods can be effectively deployed in real-world autonomous systems.