Login / Signup

Automating Geometric Proofs of Collision Avoidance with Active Corners.

Nishant KheterpalElanor TangJean-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