Andrew Sogokon, Khalil Ghorbal, Paul Jackson, André Platzer. A Method for Invariant Generation for Polynomial Continuous Systems. Verification, Model Checking, and Abstract Interpretation, Jan 2016, St. Petersburg, Florida, United States. 9583, pp.268 - 2
HAL Archives-Ouvertes,
Andrew Sogokon, Khalil Ghorbal, Paul Jackson, André Platzer. A Method for Invariant Generation for Polynomial Continuous Systems.