Pegasus: Sound continuous invariant generation

@article{DBLP:journals/fmsd/SogokonMTCP22,
	pdf = {https://link.springer.com/content/pdf/10.1007/s10703-020-00355-z.pdf},
	ref = {DBLP:conf/fm/SogokonMTCP19},
	refname = {FM'19},
	author = {['Andrew Sogokon', 'Stefan Mitsch', 'Yong Kiam Tan', 'Katherine Cordwell', 'André Platzer']},
	title = {Pegasus: Sound Continuous Invariant Generation},
	journal = {Form. Methods Syst. Des.},
	longjournal = {Formal Methods in System Design},
	year = {2022},
	volume = {58},
	number = {1},
	pages = {5-41},
	doi = {10.1007/s10703-020-00355-z},
	issn = {0925-9856},
	note = {Special issue for selected papers from FM'19}
}