FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Self-Correcting Neural Networks for Safe Classification

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno and Corina Pasareanu

A Cascade of Checkers for Run-Time Certification of Local Robustness

Ravi Mangal and Corina Pasareanu

CEG4N: Counter-Example Guided Neural Network Quantization Refinement

João Batista Pereira Matos Júnior, Iury Bessa, Xidan Song, Edoardo Manino and Lucas C. Cordeiro

VPN: Verification of Poisoning in Neural Networks

Youcheng Sun, Muhammad Usman, Divya Gopinath and Corina Păsăreanu

Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)

Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled
Total: 5 presentations.