3 papers
cs.LO2026
On Constructing Most General Solutions for Parametric Constraints (Extended Preprint)
Viorica Sofronie-Stokkermans
Let be a theory allowing a form of elimination of existential quantifiers (possibly for formulae in a certain class). We analyze possibilities of constructing (most gene…
cs.LO2025
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…