activity
20082024
most citedFormal Verification of Obstacle Avoidance and Navigation of Ground Robots

72 citations · 119 across the 18 of their papers we have counts for

collaborators
Showing 2017 · math.OCShow all

Nothing from them under that filter.

Their other years and fields are still on the left.