Chalmers Research

Filtrera träfflistan

Institution

Samförfattande organisation

Publikationstyp

År

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

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 (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, p. 10560-10566

Paper i proceeding

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

Paper i proceeding

2022

Automatically Learning Formal Models from Autonomous Driving Software

Yuvaraj Selvaraj, Ashfaq Hussain Farooqui, Ghazaleh Panahandeh et al

Electronics (Switzerland) (4)

Artikel i vetenskaplig tidskrift

2022

Safety Proofs for Automated Driving using Formal Methods

Yuvaraj Selvaraj

Doktorsavhandling

2020

On Provably Correct Decision-Making for Automated Driving

Yuvaraj Selvaraj

Licentiatavhandling

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

Paper i proceeding

Ladda ner till din dator

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Export i APA, Vancouver, IEEE som text, RTF/Word eller html-format.

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.

RSS-flöde

Använder du en RSS-läsare eller vill göra en integration kan du använda denna länk som ger dig de senaste publikationerna i RSS-format.

Publikationer för Chalmers tekniska högskola

Projekt	Institution	Pågår
Automatiskt bedömning av autonoma fordons korrekthet (Auto-CAV)	Elektroteknik	2018–2021

Ladda ner till din dator

Det finns inga personer som matchar sökfrågan