Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference

Robert Lefringhausen, Sami Leon Noel Aziz Hanna, Elias August +1

Certifying safety in dynamical systems is crucial, but barrier certificates - widely used to verify that system trajectories remain within a safe region - typically require explici…