2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…