Georgios Kourtis

Papers

Total Citations

H-Index

About

Georgios Kourtis is a leading researcher at the intersection of robotics, autonomous systems, and formal verification, with a particular focus on the critical challenge of ensuring software reliability in high-stakes environments. His work is centered on the verification and validation (V&V) of autonomous systems, especially for space and nuclear applications, where software failure can mean mission failure or endanger human life. Kourtis’s most influential contribution is his comprehensive overview of V&V challenges for inspection robots, which has garnered 60 citations and serves as a foundational reference for researchers and engineers deploying robots in hazardous settings. He has also authored a highly cited review on V&V for space autonomous systems (24 citations), synthesizing best practices for certifying on-board autonomy. His notable work includes developing modular verification approaches for autonomous space robotics, aiming to reduce mission risk through rigorous formal methods. Kourtis’s research is essential reading for anyone working on dependable autonomous systems, as he systematically addresses the gap between advanced robotics capabilities and the assurance needed for their safe deployment in extreme environments.