67 citations · 116 across the 15 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LO2025★ 1 cited
On Symbol Elimination and Uniform Interpolation in Theory Extensions
Viorica Sofronie-Stokkermans
We define a notion of general uniform interpolant, generalizing the notions of cover and of uniform interpolant and identify situations in which symbol elimination can be used for…
cs.LO2025
On verification and constraint generation for families of similar hybrid automata
Viorica Sofronie-Stokkermans, Philipp Marohn
In this paper we give an overview of results on the analysis of parametric linear hybrid automata, and of systems of similar linear hybrid automata: We present possibilities of des…