Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis.

Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga

Browse the full SAS paper archive.