TY  - RPRT
TI  - Synthesis and verification of robust-adaptive safe controllers
AU  - Simin Liu
AU  - Kai S. Yun
AU  - John M. Dolan
AU  - Changliu Liu
PY  - 2024
DO  - 10.23919/ecc64448.2024.10590909
UR  - https://arxiv.org/abs/2311.00822
ID  - 2311.00822
ER  -