Yuvaraj Selvaraj

Showing 11 publications

2024
Open Access icon

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
Journal article
Show project
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
Journal article
Show project
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 in proceeding
Show project
2022
Open Access icon

Automatically Learning Formal Models from Autonomous Driving Software

Yuvaraj Selvaraj, Ashfaq Hussain Farooqui, Ghazaleh Panahandeh et al
Electronics (Switzerland). Vol. 11 (4)
Journal article
Show project
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 in proceeding
Show project
2020
Open Access icon

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 in proceeding
Show project
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 in proceeding
Show project
2019
Open Access icon

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 in proceeding
Show project
2017
Open Access icon

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 in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 1 research projects

2018–2021

Automatically Assessing Correctness of Autonomous Vehicles (Auto-CAV)

Martin Fabian Automation
Yuvaraj Selvaraj Automation
VINNOVA

11 publications exist
There might be more projects where Yuvaraj Selvaraj participates, but you have to be logged in as a Chalmers employee to see them.

Feedback and support

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se.

About

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Accessibility

Citation Style Language
citeproc-js (Frank Bennett)

Links

Chalmers Library
Chalmers Research
Chalmers Student Theses

Chalmers University of Technology

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE