- This event has passed.
PhD Defense: Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners
November 4, 2022 @ 10:00 - 23:59
Welcome to the Doctoral Defense of Jonas Krook
Date and time: November 4, 10:00
Location: HC2, Hörsalsvägen 14, Chalmers University of Technology and online (Zoom)
Doctoral student: Jonas Krook, Electrical Engineering, Systems and control, Chalmers University of Technology
Title:Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners
Supervisor: Martin Fabian, Chalmers University of Technology
Opponent: Associate Prof. Necmiye Özay, University of Michigan, USA
Original location: HC2, Hörsalsvägen 14, Chalmers University of Technology & online