97 citations · 114 across the 4 of their papers we have counts for
1 paper · 1 filter
Alessandro Abate, Sergiy Bogomolov, Alec Edwards +3
We present a novel technique for online safety verification of autonomous systems, which performs reachability analysis efficiently for both bounded and unbounded horizons by emplo…