Abstract: A central challenge with any reachability technique is the growth over time of the data structures that store the set-valued estimates. There are various techniques established for ...