Safety Index Synthesis via Sum-of-Squares Programming.

Weiye Zhao Tairan He Tianhao Wei Simin Liu Changliu Liu

Published in: CoRR (2022)

Keyphrases

index structure
program synthesis
database
programming language
programming environment
b tree
development environment
traffic accidents
high level
search algorithm
software engineering
web applications
inverted index
structural similarity
safety analysis