Yuvaraj Selvaraj
Cited by
Cited by
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
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
Y Selvaraj, W Ahrendt, M Fabian
International Workshop on Formal Methods for Industrial Critical Systems …, 2019
Motion planning for autonomous lane change manoeuvre with abort ability
R Chandru, Y Selvaraj
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
Supervisory Control Theory in System Safety Analysis
Y Selvaraj, Z Fei, M Fabian
International Conference on Computer Safety, Reliability, and Security, 9-22, 2020
On Provably Correct Decision-Making for Automated Driving
Y Selvaraj
Formal Verification of Autonomous Driving Systems⋆
Y Selvaraj
The system can't perform the operation now. Try again later.
Articles 1–7