Jonas Krook

Doktorand at Chalmers, Electrical Engineering, Systems and control, Automation

Jonas Krook is an industrial PhD student in the Automation research group. His research is focused on applications of formal methods in the context of autonomous vehicles. The aim with the research is to synthesize provable correct decision-making logics. The research is supported by Wallenberg Autonomous Systems and Software Program (WASP).


Showing 2 publications


Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle

Jonas Krook, Lars Svensson, Yuchao Li et al
2019 International Conference on Robotics and Automation (ICRA), p. 5607-5613
Paper in proceedings

Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle

Jonas Krook, Roozbeh Kianfar, Anton Zita et al
IFAC-PapersOnLine. Vol. 51 (7), p. 133-138
Paper in proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:

There are no projects.
There might be more projects where Jonas Krook participates, but you have to be logged in as a Chalmers employee to see them.