TY  - RPRT
TI  - Safety Index Synthesis via Sum-of-Squares Programming
AU  - Weiye Zhao
AU  - Tairan He
AU  - Tianhao Wei
AU  - Simin Liu
AU  - Changliu Liu
PY  - 2023
UR  - https://arxiv.org/abs/2209.09134
ID  - 2209.09134
ER  -