Monday

• Analyzing Adversarial Inputs in Deep Reinforcement Learning Davide Corsi, Guy Amir, Guy Katz, Alessandro Farinelli

• Formally Verifying Stock Classifiers: A Case Study Guy Amir, Daniel Wiedenmann, Guy Katz

• Revisiting Differential Verification: Equivalence Verification with Confidence Samuel Teuber, Philipp Daniel Kern, Marvin Janzen, Bernhard Beckert

• Dynamic Back-Substitution in Bound-Propagation-Based Neural Network Verification Panagiotis Kouvaros, Benedikt Brückner, Patrick Henriksen, Alessio Lomuscio

• Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels Benedikt Brückner, Alessio Lomuscio

• Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification Konstantin Kaulen, Matthias König, Holger Hoos

• Semantic Robustness Verification for Neural Networks using Image Similarity Measures Jannick Strobel, David Boetius, Paolo Arcaini, Fuyuki Ishikawa, Stefan Leue

• Neural Control and Certificate Repair via Runtime Monitoring Emily Yu, Đorđe Žikelić, Thomas A Henzinger

• Control Barrier Functions with Lookahead Thomas A Henzinger, Kaushik Mallik, Emily Yu, Đorđe Žikelić

• Logic Gate Neural Networks are Good for Verification Fabian Kresse, Emily Yu, Christoph H Lampert, Thomas A Henzinger

• VERONA: A Framework for Neural Network Robustness Experiments Aaron Berger, Annelot Willemijn Bosman, Holger Hoos, Jan N van Rijn

Tuesday

• Monitoring Robustness and Individual Fairness Kaushik Mallik, Ashutosh Gupta, Thomas A Henzinger, David Pape

• Automated VNN Solver Configuration Selection via Deep Reinforcement Learning Salil Kamath, Matthew Davis, Jonathan Andreasen, Yatis Dodia, Vijay Ganesh

• Neural Approximation of Vision-Controlled Systems for Reachability Analysis Yuang Geng, Sukanth Sundaran, Chao Huang, Steven Drager, Ivan Ruchkin

• Composing Reinforcement Learning Policies, with Formal Guarantees Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowe,

• Stream-Based Monitoring of Algorithmic Fairness Frederik Scheerer, Jan Baumeister, Julian Siber, Bernd Finkbeiner

• Comparing Differentiable Logics for Learning with Logical Constraints Thomas Flinkow, Barak A Pearlmutter, Rosemary Monahan

• False Positives in Robustness Checking of Neural Networks - An Experimental Study Mohammad Afzal, S Akshay, Ashutosh Gupta, Venkatesh R

• On the efficiency of training robust decision trees Benedict Gerlach, Marie Anastacio, Holger Hoos

• Glitches in Tree Ensemble model Namrita Varshney, Ashutosh Gupta, Shankaranarayanan Krishna, Kaushik Mallik, Satyankar Chandra

• Qualitative and quantitative verification of DNN-CPS models Letian Fang, Jing Liu, Jiang Xiong, Rongbin Hou

• Certificate-Guided Evaluation of Reinforcement Learning Generalization Vignesh Subramanian, Đorđe Žikelić, Suguman Bansal