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