Yuvaraj Selvaraj

Publikationer (11)
Projekt (1)

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

Visa projekt

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

Visa projekt

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

Visa projekt

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 LNCS, p. 281-297

Paper i proceeding

Visa projekt

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

Visa projekt

2022

Safety Proofs for Automated Driving using Formal Methods

Yuvaraj Selvaraj

Doktorsavhandling

Visa projekt

2020

On Provably Correct Decision-Making for Automated Driving

Yuvaraj Selvaraj

Licentiatavhandling

Visa projekt

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

Visa projekt

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 LNCS, p. 9-22

Paper i proceeding

Visa projekt

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 LNCS, p. 143-159

Paper i proceeding

Visa projekt

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. Vol. 2018-March

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.