3 citations · 5 across the 2 of their papers we have counts for
3 papers
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…
On the Verification of Parametric Systems
Dennis Peuter, Philipp Marohn, Viorica Sofronie-Stokkermans
We present an approach to the verification of systems for whose description some elements - constants or functions - are underspecified and can be regarded as parameters, and, in p…
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…