Safety Index Synthesis via Sum-of-Squares Programming.
Weiye ZhaoTairan HeTianhao WeiSimin LiuChangliu LiuPublished in: ACC (2023)
Keyphrases
- programming language
- program synthesis
- database
- index structure
- programming environment
- object oriented programming
- programming environments
- programming course
- computer programming
- development environment
- texture synthesis
- subsequence matching
- indexing techniques
- b tree
- united states
- general purpose
- multi agent
- information retrieval