Login / Signup

Automating Geometric Proofs of Collision Avoidance with Active Corners.

Nishant KheterpalElanor TangJean-Baptiste Jeannin
Published in: FMCAD (2022)
Keyphrases
  • collision avoidance
  • path planning
  • mobile robot
  • visual navigation
  • dynamic environments
  • path finding
  • theorem proving
  • feature points
  • real time
  • fuzzy neural network
  • robot motion
  • reinforcement learning