orkshop on pen Problems in earning and fication of ural Networks
WOLVERINE 2023 drew a crowd of roughly 30 participants in each session (before and after lunch)! In both sessions, the participants enjoyed excellent talks by our invited speakers on cutting-edge problems in AI and verification. To get a glimpse of the topics, the speakers kindly shared their slides: Program Synthesis by Nathanaël Fijalkow and Trusted Reinforcement Learning by Bettina Könighofer. After each session, the participants immersed themselves in round-table discussions hosted by the speakers. WOLVERINE 2023 concluded with a delicious dinner at Restaurant l’Archestrate. We received very positive feedback, both from participants and speakers, and will bring WOLVERINE back next year. Stay tuned!
Alessio Lomuscio (Imperial College London, UK)
Nathanaël Fijalkow (CNRS, LaBRI, France)
Nils Jansen (Radboud University Nijmegen, The Netherlands)
Safe Reinforcement Learning
Bettina Könighofer (TU Graz, Austria)
Daniel Neider (TU Dortmund, Germany)