Yuvaraj Selvaraj

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