TY  - RPRT
TI  - Barrier Certificates for Unknown Systems with Latent States and Polynomial Dynamics using Bayesian Inference
AU  - Robert Lefringhausen
AU  - Sami Leon Noel Aziz Hanna
AU  - Elias August
AU  - Sandra Hirche
PY  - 2026
DO  - 10.1109/cdc57313.2025.11312207
UR  - https://arxiv.org/abs/2504.01807
ID  - 2504.01807
ER  -