Safety Verification of Nonlinear Polynomial System via Occupation Measures.

Ximing Chen Shaoru Chen Victor M. Preciado

Published in: CDC (2019)

Keyphrases

formal methods
model checking
evaluation measures
high order
quantitative measures
search engine
computer vision
case study
face verification
coal mining