Keyword:Neural Network Verification

Publications
Leveraging Cadence's Incisive Enterprise Simulator for Neural Network Verification Harold Jonathan and Edwin Frank EasyChair Preprint 15065
The Vehicle Tutorial: Neural Network Verification with Vehicle Matthew Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke and Jeonghyeon Lee In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification Marco Casadio, Luca Arnaboldi, Matthew Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser and Ekaterina Komendantskaya In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
Verifying Global Neural Network Specifications using Hyperproperties David Boetius and Stefan Leue In:Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T Johnson, Tobias Ladner and Christian Schilling In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)