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.