Software verification and formal methods for ML-enabled autonomous systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, Ju...

Veröffentlicht 2022

Assurance Case Patterns for Cyber-Physical Systems with Deep Neural Networks

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

Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning

von Ivanov, Radoslav
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)