Comparative Case Studies of Reactive Synthesis and Supervisory Control. - Zahra Ramezani; Jonas Krook; Zhennan Fei; Martin Fabian; Knut Åkesson (ECC, 2019)

Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle*. - Jonas Krook; Lars J. Svensson; Yuchao Li; Lei Feng 002; Martin Fabian (ICRA, 2019)

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (ICFEM, 2022)

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. - Jonas Krook; Robi Malik; Sahar Mohajerani; Martin Fabian (CoRR, 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. - Jonas Krook; Robi Malik; Sahar Mohajerani; Martin Fabian (Autom., 2024)

On proving that an unsafe controller is not proven safe. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (J. Log. Algebraic Methods Program., 2024)