Jonas Krook

Citeret af

	Alle	Siden 2019
Henvisninger	40	39
h-index	4	4
i10-indeks	1	1

201720182019202020212022202320241 8 5 14 6 6

Offentlig adgang

Se alle

6 artikler

1 artikel

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Martin FabianChalmers University of TechnologyVerificeret mail på chalmers.se
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerificeret mail på chalmers.se
Sahar MohajeraniChalmers University of TechnologyVerificeret mail på chalmers.se
Yuvaraj SelvarajZenseact ABVerificeret mail på zenseact.com
Lars SvenssonPhD student, KTH Royal Institute of TechnologyVerificeret mail på kth.se
Lei FengAssociate Professor, KTH Royal Institute of TechnologyVerificeret mail på kth.se
Yuchao LiArizona State UniversityVerificeret mail på asu.edu
Zhennan FeiVolvo CarsVerificeret mail på volvocars.com
Knut ÅkessonChalmers University of TechnologyVerificeret mail på chalmers.se
Zahra RamezaniPhD, Chalmers University of TechnologyVerificeret mail på chalmers.se
Robi MalikDepartment of Software Engineering, The University of WaikatoVerificeret mail på waikato.ac.nz
Roozbeh KianfarNvidia

Følg

Jonas Krook

Zenseact

Verificeret mail på zenseact.com

Discrete event systems reactive synthesis


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
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	18	2019
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	6	2019
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	5	2022
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	5	2018
Extended Adaptive Cruise Control based on multiple target information J Krook, J Larsson	3	2013
Formal synthesis of safe stop tactical planners for an automated vehicle J Krook, R Kianfar, M Fabian IFAC-PapersOnLine 53 (4), 445-452, 2020	2	2020
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	1	2022
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
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
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

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–14

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere