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

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

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)