• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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