2 citations · 4 across the 5 of their papers we have counts for
1 paper · 1 filter
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner +3
We introduce LRT-NG, a set of techniques and an associated toolset that computes a reachtube (an over-approximation of the set of reachable states over a given time horizon) of a n…