%0 Conference Paper %1 conf/amcc/ZhaoHWLL23 %A Zhao, Weiye %A He, Tairan %A Wei, Tianhao %A Liu, Simin %A Liu, Changliu %B ACC %D 2023 %I IEEE %K dblp %P 732-737 %T Safety Index Synthesis via Sum-of-Squares Programming. %U http://dblp.uni-trier.de/db/conf/amcc/acc2023.html#ZhaoHWLL23 %@ 979-8-3503-2806-6

@inproceedings{conf/amcc/ZhaoHWLL23, added-at = {2023-07-11T00:00:00.000+0200}, author = {Zhao, Weiye and He, Tairan and Wei, Tianhao and Liu, Simin and Liu, Changliu}, biburl = {https://www.bibsonomy.org/bibtex/225ea3bc6c04baa3b784cddeb1f13bbd2/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2023}, ee = {https://doi.org/10.23919/ACC55779.2023.10156463}, interhash = {01fac9f82cc55184b1948b08f0345c0f}, intrahash = {25ea3bc6c04baa3b784cddeb1f13bbd2}, isbn = {979-8-3503-2806-6}, keywords = {dblp}, pages = {732-737}, publisher = {IEEE}, timestamp = {2024-04-09T13:48:39.000+0200}, title = {Safety Index Synthesis via Sum-of-Squares Programming.}, url = {http://dblp.uni-trier.de/db/conf/amcc/acc2023.html#ZhaoHWLL23}, year = 2023 }