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).

Source: chalmers.se
Image of Jonas Krook

Showing 5 publications

2020

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
2019

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
2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control

Zahra Ramezani, Jonas Krook, Zhennan Fei et al
2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), p. 1752-1759
Paper in proceeding
2018

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 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.