Follow
Jonas Krook
Title
Cited by
Cited by
Year
Design and Formal Verification of a Safe Stop Supervisor for an Automated Vehicle
J Krook, L Svensson, Y Li, L Feng, M Fabian
ICRA, 2019
152019
Comparative case studies of reactive synthesis and supervisory control
Z Ramezani, J Krook, Z Fei, M Fabian, K Akesson
2019 18th European Control Conference (ECC), 1752-1759, 2019
62019
On how to not prove faulty controllers safe in differential dynamic logic
Y Selvaraj, J Krook, W Ahrendt, M Fabian
Formal Methods and Software Engineering: 23rd International Conference on …, 2022
32022
Modeling and Synthesis of the Lane Change Function of an Autonomous Vehicle
J Krook, A Zita, R Kianfar, S Mohajerani, M Fabian
IFAC-PapersOnLine 51 (7), 133-138, 2018
32018
Extended Adaptive Cruise Control based on multiple target information
J Krook, J Larsson
32013
Formal Methods and Safety for Automated Vehicles
J Krook
Ph. D. dissertation, Chalmers University of Technology, Gothenburg, 2022 …, 2022
12022
Formal synthesis of safe stop tactical planners for an automated vehicle
J Krook, R Kianfar, M Fabian
IFAC-PapersOnLine 53 (4), 445-452, 2020
12020
Correction to: On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Y Selvaraj, J Krook, W Ahrendt, M Fabian
Formal Methods and Software Engineering: 23rd International Conference on …, 2023
2023
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
J Krook, Y Selvaraj, W Ahrendt, M Fabian
arXiv preprint arXiv:2210.07798, 2022
2022
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs
J Krook, R Malik, S Mohajerani, M Fabian
arXiv preprint arXiv:2205.13959, 2022
2022
Formal Methods and Safety for Automated Vehicles: Modeling, Abstractions, and Synthesis of Tactical Planners
J Krook
PQDT-Global, 2022
2022
Correct-by-Construction Tactical Planners for Automated Cars
J Krook
2019
The system can't perform the operation now. Try again later.
Articles 1–12