A. Cimatti

Latest

• Set-Based Invariants over Polynomial Systems