research
∙
09/08/2020
Characterizing Positively Invariant Sets: Inductive and Topological Methods
We present two characterizations of positive invariance of sets under th...
share
research
∙
05/19/2020
Pegasus: Sound Continuous Invariant Generation
Continuous invariants are an important component in deductive verificati...
research
∙
03/12/2019
