Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - Informal or Other Publication
ID - DBLP:journals/corr/abs-2209-09134
AU - Zhao, Weiye
AU - He, Tairan
AU - Wei, Tianhao
AU - Liu, Simin
AU - Liu, Changliu
TI - Safety Index Synthesis via Sum-of-Squares Programming.
JO - CoRR
VL - abs/2209.09134
PY - 2022//
DO - 10.48550/ARXIV.2209.09134
UR - https://doi.org/10.48550/arXiv.2209.09134
ER -