1 paper
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…