3 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
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…