Verification and simulation of self-adaptive mechatronic systems

von Heinzemann, Christian
Veröffentlicht 2015

Ein Sicherheitsnachweis für Machine-Learning im Kontext des automatisierten Fahrens : = Arguing safety of machine learning for highly automated driving using aaurance cases

von Burton, Simon
Veröffentlicht in Aktive Sicherheit und automatisiertes Fahren (2018)

Revisiting Neuron Coverage and Its Application to Test Generation

von Abrecht, Stephanie
Veröffentlicht in DECSoS (15. : 2020 : Lissabon; Online) Computer safety, reliability, and security (2020)

Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development

von König, Lukas
Veröffentlicht in International Conference on Tools and Algorithms for the Construction and Analysis of Systems (30. : 2024 : Luxemburg) Tools and algorithms for the construction and analysis of systems ; Part 2 (2024)