Biblio
Filters: Keyword is formal methods [Clear All Filters]
.
2021. Safe Controllers for Autonomous Urban Traffic Manoeuvres - Bringing together Formal Methods and Reality.
impulse talk at “Safety Critical Human-Cyber-Physical Systems -- joint workshop in celebration of 40 years of collaboration between Groningen und Oldenburg Universities”, 10/20
.
2020. Guess What I'm Doing! - Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems. Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. 12478:255-272.