| Title | Safe Controllers for Autonomous Urban Traffic Manoeuvres - Bringing together Formal Methods and Reality |
| Publication Type | Presentation |
| Year of Publication | 2021 |
| Authors | Maike Schwammberger |
| Keywords | autonomous adaptive control, formal methods, PIRE, Societal Design, traffic |
| Notes | 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 |
| URL | https://uol.de/fileadmin/user_upload/praesidium/bilder/40-jahre-uol-rug/Program_Workshop_Fraenzle-Ri... |
| Citation Key | node-78539 |
Safe Controllers for Autonomous Urban Traffic Manoeuvres - Bringing together Formal Methods and Reality