Yuvaraj Selvaraj

Visar 11 publikationer

2024

On proving that an unsafe controller is not proven safe

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt et al
Journal of Logical and Algebraic Methods in Programming. Vol. 137
Artikel i vetenskaplig tidskrift
2023

Formal Development of Safe Automated Driving Using Differential Dynamic Logic

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
IEEE Transactions on Intelligent Vehicles. Vol. 8 (1), p. 988-1000
Artikel i vetenskaplig tidskrift
2023

Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation

Tom P. Huck, Yuvaraj Selvaraj, Constantin Cronrath et al
Proceedings - IEEE International Conference on Robotics and Automation. Vol. 2023-May, p. 10560-10566
Paper i proceeding
2022

Automatically Learning Formal Models from Autonomous Driving Software

Yuvaraj Selvaraj, Ashfaq Hussain Farooqui, Ghazaleh Panahandeh et al
Electronics (Switzerland). Vol. 11 (4)
Artikel i vetenskaplig tidskrift
2022

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 13478, p. 281-297
Paper i proceeding
2020

Automatically Learning Formal Models: An Industrial Case from Autonomous Driving Development

Yuvaraj Selvaraj, Ashfaq Hussain Farooqui, Ghazaleh Panahandeh et al
Proceedings of the ACM/IEEE Joint Conference on Digital Libraries
Paper i proceeding
2020

Supervisory Control Theory in System Safety Analysis

Yuvaraj Selvaraj, Zhennan Fei, Martin Fabian
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12235, p. 9-22
Paper i proceeding
2019

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study

Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11687, p. 143-159
Paper i proceeding
2017

Safe autonomous lane changes in dense traffic

Rajashekar Chandru, Yuvaraj Selvaraj, Mattias Brännström et al
IEEE International Conference on Intelligent Transportation Systems-ITSC
Paper i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 1 forskningsprojekt

2018–2021

Automatiskt bedömning av autonoma fordons korrekthet (Auto-CAV)

Martin Fabian Automation
Yuvaraj Selvaraj Automation
VINNOVA

11 publikationer finns
Det kan finnas fler projekt där Yuvaraj Selvaraj medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.