565 citations · 1.1k across the 35 of their papers we have counts for
1 paper · 1 filter
Margaret P. Chapman, Jonathan Lacotte, Aviv Tamar +7
A classic reachability problem for safety of dynamic systems is to compute the set of initial states from which the state trajectory is guaranteed to stay inside a given constraint…