A Hierarchy of Proof Rules for Checking Differential Invariance of Algebraic Sets.

Khalil Ghorbal, Andrew Sogokon, Andr Platzer

Browse the full VMCAI paper archive.