40 citations · 84 across the 14 of their papers we have counts for
1 paper · 2 filters
Benjamin Martin, Khalil Ghorbal, Eric Goubault +1
We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its s…