40 citations · 43 across the 6 of their papers we have counts for
1 paper · 1 filter
Rayan Mazouz, Luca Laurenti, Morteza Lahijanian
Reach-avoid analysis is fundamental to reasoning about the safety and goal-reaching behavior of dynamical systems, and serves as a foundation for specifying and verifying more comp…