7 citations · 12 across the 7 of their papers we have counts for
7 papers
Workflow-Level Design Principles for Trustworthy GenAI in Automotive System Engineering
Chih-Hong Cheng, Brian Hsuan-Cheng Liao, Adam Molin +1
The adoption of large language models in safety-critical system engineering is constrained by trustworthiness, traceability, and alignment with established verification practices.…
Generative AI for Autonomous Driving: A Review
Katharina Winter, Abhishek Vivekanandan, Rupert Polley +17
Generative AI (GenAI) is rapidly advancing the field of Autonomous Driving (AD), extending beyond traditional applications in text, image, and video generation. We explore how gene…
Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus
Lev Sorokin, Radouane Bouchekir, Tewodros A. Beyene +2
An assurance case has become an integral component for the certification of safety-critical systems. While manually defining assurance case patterns can be not avoided, system-spec…
OpenSBT: A Modular Framework for Search-based Testing of Automated Driving Systems
Lev Sorokin, Tiziano Munaro, Damir Safin +2
Search-based software testing (SBT) is an effective and efficient approach for testing automated driving systems (ADS). However, testing pipelines for ADS testing are particularly…
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools
Miel Sharf, Bart Besselink, Adam Molin +2
Modern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most forma…
Event-Triggered Estimation of Linear Systems: An Iterative Algorithm and Optimality Properties
Adam Molin, Sandra Hirche
This report investigates the optimal design of event-triggered estimation for first-order linear stochastic systems. The problem is posed as a two-player team problem with a partia…