On Provably Correct Decision-Making for Automated Driving
Licentiatavhandling, 2020

Visa mer

deductive verification

formal methods

supervisory control theory

formal verification

Automated driving

model checking

hybrid systems.

decision-making

Författare

Yuvaraj Selvaraj

Chalmers, Elektroteknik, System- och reglerteknik

Inkluderade delarbeten

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

Lecture Notes in Computer Science,;Vol. 11687(2019)p. 143-159

Paper i proceeding

Supervisory Control Theory in System Safety Analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),;Vol. 12235(2020)p. 9-22

Paper i proceeding

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

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries,;(2020)

Paper i proceeding

Forskningsprojekt

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

VINNOVA (2017-05519), 2018-03-01 -- 2021-12-31.

Kategorisering

Ämneskategorier (SSIF 2011)

Programvaruteknik

Inbäddad systemteknik

Robotteknik och automation

Reglerteknik

Datorsystem

Övrigt

Utgivare

Chalmers

Examination

2020-09-25 10:00 -- 12:00

Opponent: Cristina Seceleanu, Mälardalen University, Sweden

Mer information

Senast uppdaterat

2021-11-26