Small-Gain Theorem for Safety Verification under High-Relative-Degree Constraints.
Ziliang LyuXiangru XuYiguang HongPublished in: CoRR (2022)
Keyphrases
- constraint satisfaction
- low degree
- small size
- linear constraints
- small number
- database
- resource constraints
- multiple constraints
- high precision
- face verification
- geometric constraints
- formal verification
- formal methods
- constrained optimization
- linear program
- wide range
- artificial intelligence
- data mining
- neural network
- data sets