Showing 2024Show all
2 papers · 1 filter
eess.SY2024
Predictive Monitoring of Black-Box Dynamical Systems
Thomas A. Henzinger, Fabian Kresse, Kaushik Mallik +2
We study the problem of predictive runtime monitoring of black-box dynamical systems with quantitative safety properties. The black-box setting stipulates that the exact semantics…
cs.LG2024
Neural Control and Certificate Repair via Runtime Monitoring
Emily Yu, Đorđe Žikelić, Thomas A. Henzinger
Learning-based methods provide a promising approach to solving highly non-linear control tasks that are often challenging for classical control methods. To ensure the satisfaction…