Jonas Krook

Cited by

	All	Since 2019
Citations	38	37
h-index	4	4
i10-index	1	1

201720182019202020212022202320241 8 5 14 7 3

Public access

View all

6 articles

1 article

available

not available

Based on funding mandates

Co-authors

Martin FabianChalmers University of TechnologyVerified email at chalmers.se
Wolfgang AhrendtProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Sahar MohajeraniChalmers University of TechnologyVerified email at chalmers.se
Yuvaraj SelvarajZenseact ABVerified email at zenseact.com
Lars SvenssonPhD student, KTH Royal Institute of TechnologyVerified email at kth.se
Lei FengAssociate Professor, KTH Royal Institute of TechnologyVerified email at kth.se
Yuchao LiArizona State UniversityVerified email at asu.edu
Knut ÅkessonChalmers University of TechnologyVerified email at chalmers.se
Zhennan FeiVolvo CarsVerified email at volvocars.com
Zahra RamezaniPhD, Chalmers University of TechnologyVerified email at chalmers.se
Robi MalikDepartment of Software Engineering, The University of WaikatoVerified email at waikato.ac.nz
Roozbeh KianfarNvidia

Jonas Krook

Zenseact

Verified email at zenseact.com

Discrete event systems reactive synthesis


Title Sort by citations Sort by year Sort by 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	17	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
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
Formal synthesis of safe stop tactical planners for an automated vehicle J Krook, R Kianfar, M Fabian IFAC-PapersOnLine 53 (4), 445-452, 2020	1	2020
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

The system can't perform the operation now. Try again later.

Articles 1–13

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors