98 citations · 647 across the 44 of their papers we have counts for
Showing cs.SCShow all
3 papers · 1 filter
cs.SC2023
Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
William Simmons, André Platzer
Invariant sets are a key ingredient for verifying safety and other properties of cyber-physical systems that mix discrete and continuous dynamics. We adapt the elimination-theoreti…
cs.SC2020★ 14 cited
Pegasus: Sound Continuous Invariant Generation
Andrew Sogokon, Stefan Mitsch, Yong Kiam Tan +2
Continuous invariants are an important component in deductive verification of hybrid and continuous systems. Just like discrete invariants are used to reason about correctness in d…
cs.SC2011★ 10 cited
Quantifier Elimination over Finite Fields Using Gröbner Bases
Sicun Gao, André Platzer, Edmund M. Clarke
We give an algebraic quantifier elimination algorithm for the first-order theory over any given finite field using Gröbner basis methods. The algorithm relies on the strong Nullste…