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…