Jonas Krook

According to our database, Jonas Krook authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On proving that an unsafe controller is not proven safe.

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian

J. Log. Algebraic Methods Program., February, 2024

Robust stutter bisimulation for abstraction and controller synthesis with disturbance.

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian

Autom., February, 2024

2022

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases.

Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian

CoRR, 2022

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

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian

CoRR, 2022

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

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian

Proceedings of the Formal Methods and Software Engineering, 2022

2019

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

Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian

Proceedings of the International Conference on Robotics and Automation, 2019

Comparative Case Studies of Reactive Synthesis and Supervisory Control.

Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson

Proceedings of the 17th European Control Conference, 2019