Sign in

Safety Verification of Nonlinear Polynomial System via Occupation Measures.

Ximing ChenShaoru ChenVictor 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