Workshop on Open Problems in Learning and Verification of Neural Networks
Keynote
Alessio Lomuscio (Imperial College London, UK)
Round-Table Hosts
Nathanaël Fijalkow (CNRS, LaBRI, France)
Synthesis
Nils Jansen (Radboud University Nijmegen, The Netherlands)
Safe Reinforcement Learning
Bettina Könighofer (TU Graz, Austria)
Shielding
Daniel Neider (TU Dortmund, Germany)
Neuro-symbolic Verification
Important Details
Place: Co-located with CAV 2023 in Paris, France
Registration: CAV 2023 webpage
Workshop date: July 17, 2023