TY  - RPRT
TI  - Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests
AU  - Yu Chen
AU  - Chao Shang
AU  - Xiaolin Huang
AU  - Xiang Yin
PY  - 2023
UR  - https://arxiv.org/abs/2304.00729
ID  - 2304.00729
ER  -