49 citations · 56 across the 7 of their papers we have counts for
1 paper · 1 filter
Liren Yang, Hang Zhang, Jean-Baptiste Jeannin +1
Backward reachability analysis is essential to synthesizing controllers that ensure the correctness of closed-loop systems. This paper is concerned with developing scalable algorit…