1 paper
Mark Wetzlinger, Matthias Althoff
Backward reachability analysis computes the set of states that reach a target set under the competing influence of control input and disturbances. Depending on their interplay, the…