A method for invariant generation for polynomial continuous systems

@inproceedings{DBLP:conf/vmcai/SogokonGJP16,
	pdf = {pub/abstraction-ddc.pdf},
	slides = {pub/abstraction-ddc-slides.pdf},
	author = {['Andrew Sogokon', 'Khalil Ghorbal', 'Paul B. Jackson', 'André Platzer']},
	title = {A Method for Invariant Generation for
               Polynomial Continuous Systems},
	booktitle = {VMCAI},
	year = {2016},
	pages = {268-288},
	doi = {10.1007/978-3-662-49122-5_13},
	editor = {['Barbara Jobstmann', 'K. Rustan M. Leino']},
	longbooktitle = {Verification, Model Checking, and Abstract
               Interpretation - 17th International
               Conference, VMCAI 2016, St. Petersburg, FL,
               USA, January 17-19, 2016, Proceedings},
	series = {LNCS},
	volume = {9583},
	publisher = {Springer}
}