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