TY  - RPRT
TI  - Synthesis of safety certificates for discrete-time uncertain systems via convex optimization
AU  - Marta Fochesato
AU  - Han Wang
AU  - Antonis Papachristodoulou
AU  - Paul Goulart
PY  - 2025
UR  - https://arxiv.org/abs/2505.08559
ID  - 2505.08559
ER  -