Jonas Krook

Doctoral Student at 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).

Image of Jonas Krook

Showing 8 publications


On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13478, p. 281-297
Paper in proceeding

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs

Jonas Krook, Robi Malik, Sahar Mohajerani et al

Formal Synthesis of Safe Stop Tactical Planners for an Automated Vehicle

Jonas Krook, Roozbeh Kianfar, Martin Fabian
IFAC-PapersOnLine. Vol. 53 (4), p. 445-452
Paper in proceeding

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 proceeding

Comparative Case Studies of Reactive Synthesis and Supervisory Control

Zahra Ramezani, Jonas Krook, Zhennan Fei et al
Paper in proceeding

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

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

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

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.