Publications

(2022). CertiFair: A Framework for Certified Global Fairness of Neural Networks. CertiFair.

PDF

(2022). Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks (HSCC 22'). Fast BATLLNN.

PDF Cite

(2021). PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier (CAV 21'). PEREGRiNN.

PDF Cite

(2019). Formal Verification of Neural Network Controlled Autonomous Systems (HSCC 19'). Formal Verification of Neural Network Controlled Autonomous Systems.

PDF Cite