27 citations · 32 across the 2 of their papers we have counts for
1 paper · 1 filter
Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch +2
We present a reusable formally verified safety net that provides end-to-end safety and liveness guarantees for 2D waypoint-following of Dubins-type ground robots with tolerances an…