15 citations · 22 across the 3 of their papers we have counts for
1 paper · 2 filters
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…