| Safe autonomous lane changes in dense traffic R Chandru, Y Selvaraj, M Brännström, R Kianfar, N Murgovski 2017 IEEE 20th International Conference on Intelligent Transportation …, 2017 | 38 | 2017 |
| Verification of decision making software in an autonomous vehicle: An industrial case study Y Selvaraj, W Ahrendt, M Fabian Formal Methods for Industrial Critical Systems: 24th International …, 2019 | 22 | 2019 |
| Formal development of safe automated driving using differential dynamic logic Y Selvaraj, W Ahrendt, M Fabian IEEE Transactions on Intelligent Vehicles 8 (1), 988-1000, 2022 | 11 | 2022 |
| Motion planning for autonomous lane change manoeuvre with abort ability R Chandru, Y Selvaraj | 11 | 2016 |
| 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 |
| Automatically Learning Formal Models from Autonomous Driving Software Y Selvaraj, A Farooqui, G Panahandeh, W Ahrendt, M Fabian Electronics 11 (4), 643, 2022 | 5 | 2022 |
| Automatically learning formal models: an industrial case from autonomous driving development Y Selvaraj, A Farooqui, G Panahandeh, M Fabian Proceedings of the 23rd ACM/IEEE International Conference on Model Driven …, 2020 | 5 | 2020 |
| Supervisory Control Theory in System Safety Analysis Y Selvaraj, Z Fei, M Fabian Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops: DECSoS …, 2020 | 2 | 2020 |
| Hazard analysis of collaborative automation systems: A two-layer approach based on supervisory control and simulation TP Huck, Y Selvaraj, C Cronrath, C Ledermann, M Fabian, B Lennartson, ... 2023 IEEE International Conference on Robotics and Automation (ICRA), 10560 …, 2023 | 1 | 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 | 1 | 2022 |
| Safety Proofs for Automated Driving using Formal Methods Y Selvaraj PQDT-Global, 2022 | 1 | 2022 |
| On Provably Correct Decision-Making for Automated Driving Y Selvaraj | 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 |
| Formal Verification of Autonomous Driving Systems⋆ Y Selvaraj | | |
Martin FabianChalmers University of TechnologyVerified email at chalmers.se