Jonas Krook
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2019–2022
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICFEM | On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. | Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian |
| 2019 | ICRA | Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle | Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian |