A Method for Invariant Generation for Polynomial Continuous Systems
Attributed to:
The Integration and Interaction of Multiple Mathematical Reasoning Processes
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-662-49122-5_13
Publication URI: http://dx.doi.org/10.1007/978-3-662-49122-5_13
Type: Book Chapter
Book Title: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings (2016)
Page Reference: 268-288