TY  - RPRT
TI  - Pegasus: Sound Continuous Invariant Generation
AU  - Andrew Sogokon
AU  - Stefan Mitsch
AU  - Yong Kiam Tan
AU  - Katherine Cordwell
AU  - André Platzer
PY  - 2020
DO  - 10.1007/s10703-020-00355-z
UR  - https://arxiv.org/abs/2005.09348
ID  - 2005.09348
ER  -