Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems.

Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Stefano Tonetta

Browse the full CAV paper archive.