Radboud Duintjer Tebbens
Papers
1
Total Citations
62
H-Index
1
About
Radboud Duintjer Tebbens is a leading researcher in the intersection of formal methods and autonomous systems, with a particular focus on safety-critical applications in autonomous driving. His work addresses the grand challenge of ensuring that self-driving vehicles comply with traffic rules through rigorous formal verification techniques. His most-cited paper, "Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges" (2023), has garnered 62 citations, establishing a foundational survey that maps the landscape of formal approaches to traffic rule compliance. This work systematically identifies key challenges and opportunities, bridging the gap between theoretical formal methods and practical autonomous driving systems. Beyond this landmark paper, Duintjer Tebbens has contributed to advancing the reliability and safety of autonomous vehicles, making his research essential for students and engineers working on trustworthy AI systems. His work is particularly notable for its interdisciplinary approach, combining computer science, control theory, and transportation engineering to create verifiable autonomous systems that can be trusted on public roads.
Research Focus
Key Achievements
Top Papers
- 1