TY  - RPRT
TI  - A Barrier Certificate-based Simplex Architecture for Systems with Approximate and Hybrid Dynamics
AU  - Amol Damare
AU  - Shouvik Roy
AU  - Roshan Sharma
AU  - Keith DSouza
AU  - Scott A. Smolka
AU  - Scott D. Stoller
PY  - 2024
UR  - https://arxiv.org/abs/2202.09710
ID  - 2202.09710
ER  -