Safe autonomous lane changes in dense traffic. - Rajashekar Chandra; Yuvaraj Selvaraj; Mattias Brännström; Roozbeh Kianfar; Nikolce Murgovski (ITSC, 2017)

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. - Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (FMICS, 2019)

Automatically learning formal models: an industrial case from autonomous driving development. - Yuvaraj Selvaraj; Ashfaq Farooqui; Ghazaleh Panahandeh; Martin Fabian (MoDELS (Companion), 2020)

Supervisory Control Theory in System Safety Analysis. - Yuvaraj Selvaraj; Zhennan Fei; Martin Fabian (SAFECOMP Workshops, 2020)

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (ICFEM, 2022)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. - Jonas Krook; Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (CoRR, 2022)

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. - Tom Philip Huck; Yuvaraj Selvaraj; Constantin Cronrath; Christoph Ledermann; Martin Fabian; Bengt Lennartson; Torsten Kröger (ICRA, 2023)

Formal Development of Safe Automated Driving Using Differential Dynamic Logic. - Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (IEEE Trans. Intell. Veh., 2023)

On proving that an unsafe controller is not proven safe. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (J. Log. Algebraic Methods Program., 2024)