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