FoMLAS@CAV

Keyphrases

Publications

2023

Avraham Raviv, Yuval Gerber, Liri Benzinou, Michelle Aluf-Medina, Hillel Kugler
Prediction and Control of Stochastic Agents Using Formal Methods. FoMLAS@CAV (2023)
Marco Casadio, Luca Arnaboldi, Matthew L. Daggitt, Omri Isac, Tanvi Dinkar, Daniel Kienitz, Verena Rieser, Ekaterina Komendantskaya
ANTONIO: Towards a Systematic Method of Generating NLP Benchmarks for Verification. FoMLAS@CAV (2023)
David Boetius, Stefan Leue
Verifying Global Neural Network Specifications using Hyperproperties. FoMLAS@CAV (2023)
Stefano Demarchi, Dario Guidotti, Luca Pulina, Armando Tacchella
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet. FoMLAS@CAV (2023)
Edoardo Manino, Bernardo Magri, Mustafa A. Mustafa, Lucas C. Cordeiro
Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement. FoMLAS@CAV (2023)
Matthew L. Daggitt, Wen Kokke, Ekaterina Komendantskaya, Robert Atkey, Luca Arnaboldi, Natalia Slusarz, Marco Casadio, Ben Coke, Jeonghyeon Lee
The Vehicle Tutorial: Neural Network Verification with Vehicle. FoMLAS@CAV (2023)
Mahum Naseer, Osman Hasan, Muhammad Shafique
Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. FoMLAS@CAV (2023)

volume 16, 2023

Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS@CAV 2023, Paris, France, July 17-18, 2023. FoMLAS@CAV 16 (2023)