36 citations · 82 across the 11 of their papers we have counts for
1 paper · 2 filters
Dawei Sun, Susmit Jha, Chuchu Fan
In this paper, we solve the problem of finding a certified control policy that drives a robot from any given initial state and under any bounded disturbance to the desired referenc…