3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.LO2021★ 3 cited
Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
We analyze possibilities of second-order quantifier elimination for formulae containing parameters -- constants or functions. For this, we use a constraint resolution calculus obta…
cs.LO2019
On Invariant Synthesis for Parametric Systems
Dennis Peuter, Viorica Sofronie-Stokkermans
We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a metho…