Jonas Krook

Showing 10 publications

2024

Robust stutter bisimulation for abstraction and controller synthesis with disturbance

Jonas Krook, Robi Malik, Sahar Mohajerani et al
Automatica. Vol. 160
Journal article
2024

On proving that an unsafe controller is not proven safe

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt et al
Journal of Logical and Algebraic Methods in Programming. Vol. 137
Journal article
2022

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 LNCS, p. 281-297
Paper in proceeding
2022

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

Jonas Krook, Robi Malik, Sahar Mohajerani et al
Preprint
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
Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2019-May, 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 2019, p. 1752-1759
Paper in proceeding
2018

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.