4 citations · 8 across the 12 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…