Verifying Learning-Based Robotic Navigation Systems
Guy Amir, Davide Corsi, Raz Yerushalmi, Luca Marzari, David Harel, Alessandro Farinelli and Guy Katz
 

​DNN Verification, Reachability, and the Exponential Function Problem

Omri Isac, Yoni Zohar, Clark Barrett and Guy Katz

​​

Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet​

Stefano Demarchi, Dario Guidotti, Armando Tacchella and Luca Pulina

​​

A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification

​Jianglin Lan, Benedikt Brückner and Alessio Lomuscio

​​

​

Prediction and Control of Stochastic Agents Using Formal Methods

Avraham Raviv, Hillel Kugler, Michelle Aluf-Medina, Yuval Gerber and Liri Benzinou

 

​

Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation

​Mahum Naseer, Osman Hasan and Muhammad Shafique

​​

Towards a Study of Performance for Safe Neural Network Training

Nishant Kheterpal and Jean-Baptiste Jeannin​

​

Verifying Global Neural Network Specifications using Hyperproperties

David Boetius and Stefan Leue

​

Robust Training of Neural Networks against Bias Field Perturbations

Patrick Henriksen and Alessio Lomuscio

​

A Preliminary Study of Robustness Distributions for Neural Network Verification
Annelot Bosman, Holger Hoos and Jan van Rijn

​​

Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement

Edoardo Manino, Bernardo Magri, Mustafa Mustafa and Lucas Cordeiro

​

Logic of Differentiable Logics: Towards a Uniform Semantics of DL

Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart and Kathrin Stark​

​

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

​

Model Checking the Optimal Behavior of Big Markov Processe​Colin Shea-Blymyer and Houssam Abbas

​