Sven Linker

Papers

Total Citations

H-Index

About

Sven Linker is a prominent researcher in the formal verification and safe control of autonomous vehicles, with a focus on ensuring the reliability and safety of cyber-physical systems. His major contributions lie in bridging the gap between formal methods and real-world autonomous systems, particularly through the organization and advancement of key workshops that have shaped the field. As the lead editor of the *Proceedings First Workshop on Formal Verification of Autonomous Vehicles* (2017, 5 citations), he established a critical platform for researchers to address verification challenges in autonomous driving, held at iFM 2017 in Turin. He further expanded this impact by chairing the *Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles* (2018, 2 citations) in Porto, fostering interdisciplinary dialogue on control theory and formal verification. While his citation counts reflect the nascent stage of this rapidly evolving domain, Linker’s work is foundational in defining open research problems and methodologies for safe autonomous navigation. His efforts have been instrumental in creating a collaborative community focused on rigorous, mathematically grounded approaches to vehicle safety, making him a key figure in advancing trustworthy autonomous systems.