14 citations · 14 across the 1 of their papers we have counts for
1 paper
Mo Chen, Sylvia L. Herbert, Mahesh S. Vashishtha +2
Reachability analysis provides formal guarantees for performance and safety properties of nonlinear control systems. Here, one aims to compute the backward reachable set (BRS) or t…