Optimizing simulated-assisted verification of safety properties of cyber-physical systems

Source
Antwerp, University of Antwerp, Faculty of Applied Engineering, 2024,xxiv, 164 p.

Failure identification using model-implemented fault injection with domain knowledge-guided reinforcement learning

Source
Sensors - ISSN 1424-8220-23:4 (2023) p. 1-32

DELFASE : a Deep Learning Method for Fault Space Exploration

Source
2022 18th European Dependable Computing Conference (EDCC), 12-15 September, 2022, Zaragoza, Spain- () p. 57-64
Author(s)