Yuvaraj Selvaraj

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Supervisory Control

Autonomous Driving

Agent Programming

Top Venues

J. Log. Algebraic Methods Program.

Publications

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
On proving that an unsafe controller is not proven safe. J. Log. Algebraic Methods Program. 137 (2024)
Tom P. Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. ICRA (2023)
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
Formal Development of Safe Automated Driving Using Differential Dynamic Logic. IEEE Trans. Intell. Veh. 8 (1) (2023)
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
Formal Development of Safe Automated Driving using Differential Dynamic Logic. CoRR (2022)
Tom P. Huck, Yuvaraj Selvaraj, Constantin Cronrath, Christoph Ledermann, Martin Fabian, Bengt Lennartson, Torsten Kröger
Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation. CoRR (2022)
Jonas Krook, Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. CoRR (2022)
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. CoRR (2022)
Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian
On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. ICFEM (2022)
Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian
Supervisory Control Theory in System Safety Analysis. SAFECOMP Workshops (2020)
Yuvaraj Selvaraj, Ashfaq Farooqui, Ghazaleh Panahandeh, Martin Fabian
Automatically learning formal models: an industrial case from autonomous driving development. MoDELS (Companion) (2020)
Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. FMICS (2019)
Rajashekar Chandra, Yuvaraj Selvaraj, Mattias Brännström, Roozbeh Kianfar, Nikolce Murgovski
Safe autonomous lane changes in dense traffic. ITSC (2017)