11 citations · 12 across the 2 of their papers we have counts for
1 paper · 1 filter
Stefan Schupp, Johanna Nellen, Erika Ábrahám
In this paper we propose an improvement for flowpipe-construction-based reachability analysis techniques for hybrid systems. Such methods apply iterative successor computations to…