A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 2017
Source ID
10.1016/j.cl.2015.11.003

Entities

People

  • Andrew Sogokon
  • AndrĂ© Platzer
  • Khalil Ghorbal

Organizations

  • Defense Advanced Research Projects Agency
  • Engineering and Physical Sciences Research Council
  • National Science Foundation