Jonas Krook

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Reasoning About Actions

Multiple Faults

Supervisory Control

Controller Synthesis

Top Venues

J. Log. Algebraic Methods Program.

Publications

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
On proving that an unsafe controller is not proven safe. J. Log. Algebraic Methods Program. 137 (2024)
Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
Robust stutter bisimulation for abstraction and controller synthesis with disturbance. Autom. 160 (2024)
Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. CoRR (2022)
Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. CoRR (2022)
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. CoRR (2022)
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. ICFEM (2022)
Zahra Ramezani, Jonas Krook, Zhennan Fei, Martin Fabian, Knut Åkesson
Comparative Case Studies of Reactive Synthesis and Supervisory Control. ECC (2019)
Jonas Krook, Lars J. Svensson, Yuchao Li, Lei Feng, Martin Fabian
. ICRA (2019)