Folgen
Jonas Krook
Jonas Krook
Zenseact
Bestätigte E-Mail-Adresse bei zenseact.com
Titel
Zitiert von
Zitiert von
Jahr
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
182019
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
International Conference on Formal Engineering Methods, 281-297, 2022
52022
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
52018
Extended Adaptive Cruise Control based on multiple target information
J Krook, J Larsson
32013
Formal synthesis of safe stop tactical planners for an automated vehicle
J Krook, R Kianfar, M Fabian
IFAC-PapersOnLine 53 (4), 445-452, 2020
22020
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
12022
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
12022
Computer-implemented method for managing an operational design domain's expansion for an automated driving system
J Krook, FEI Zhennan
US Patent App. 18/394,306, 2024
2024
On proving that an unsafe controller is not proven safe
Y Selvaraj, J Krook, W Ahrendt, M Fabian
Journal of Logical and Algebraic Methods in Programming 137, 100939, 2024
2024
Robust stutter bisimulation for abstraction and controller synthesis with disturbance
J Krook, R Malik, S Mohajerani, M Fabian
Automatica 160, 111394, 2024
2024
Correction to: On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic
Y Selvaraj, J Krook, W Ahrendt, M Fabian
International Conference on Formal Engineering Methods, C1-C1, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–14