98 citations · 647 across the 44 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
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…
cs.LO2011★ 54 cited
The Structure of Differential Invariants and Differential Cut Elimination
Andre Platzer
The biggest challenge in hybrid systems verification is the handling of differential equations. Because computable closed-form solutions only exist for very simple differential equ…