| 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 | 7 | 2019 |
| 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 | 6 | 2018 |
| 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 |
| Formal synthesis of safe stop tactical planners for an automated vehicle J Krook, R Kianfar, M Fabian IFAC-PapersOnLine 53 (4), 445-452, 2020 | 3 | 2020 |
| Extended Adaptive Cruise Control based on multiple target information J Krook, J Larsson | 3 | 2013 |
| 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 | 1 | 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 | 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 |
| 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 |
Martin FabianChalmers University of TechnologyVerified email at chalmers.se