Dr. Christian Schilling (Aalborg University) will give an invited lecture entitled "Shielded Reinforcement Learning for Hybrid Systems" on Thursday, July 20, 2023 at 15:15 hrs in room PZ 901.
The Deutsche Forschungsgemeinschaft has decided to fund the project "SCADNet - Structural Causal Analysis of Deep Neural Networks" at the Chair for a period of three years.
The paper "Verifying Global Neural Network Specifications using Hyperproperties", authored by David Boetius and Stefan Leue has been accepted for presentation at the 9th Workshop on Formal Methods for ML-Enabled Autonomous Systems, FoMLAS 2023, in Paris, France.
Jointly with Rüdiger Wilhelmi, Stefan Leue will give an invited lecture on "Modellierung des Rechts" ("Modelling of the Law") at the Kolloquium "Digitalisierung des Rechts" ("Digitization of the Law") to be held on May 11-12, 2023 at the University of Konstanz.
The paper "A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks", authored by David Boetius, Stefan Leue and Tobias Sutter has been accepted for presentation and publication at 40th International Conference on Machine Learning, ICML 2023, in Honolulu, Hawai'i.
During his research stay, Stefan Leue will present an invited lecture on "Causality and Repair in Real-Time Systems" on Tuesday, March 28 at the National Institute of Informatics (NII) in Tokyo. He has already delivered lectures on "Specification-based Repair for Deep Neural Networks" and "Checking Legal Contracts using SMT Solving" at NII during his visit.