Automating Geometric Proofs of Collision Avoidance with Active Corners.

Nishant Kheterpal Elanor Tang Jean-Baptiste Jeannin

Published in: CoRR (2022)

Keyphrases

collision avoidance
path planning
visual navigation

mobile robot
dynamic environments
path finding

theorem proving
fuzzy neural network

concept learning
collision free