Nishant Kheterpal
- Automating Geometric Proofs of Collision Avoidance with Active Corners
2022/07/15 by Nishant Kheterpal, Kheterpal, Nishant, Elanor Tang +3 · 1 citation
Computer Science · Engineering · #Computational Geometry and Mesh Generation #FOS: Computer and information sciences #FOS: Electrical engineering #Logic in Computer Science (cs.LO) #Robotic Path Planning Algorithms #Robotics (cs.RO) #Systems and Control (eess.SY) #Vehicle Dynamics and Control Systems #electronic engineering #information engineering