Login / Signup
Elanor Tang
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 2
Top Topics
Visual Navigation
Mobile Robot
Collision Avoidance
Path Finding
Top Venues
CoRR
FMCAD
</>
Publications
</>
Nishant Kheterpal
,
Elanor Tang
,
Jean-Baptiste Jeannin
Automating Geometric Proofs of Collision Avoidance with Active Corners.
CoRR
(2022)
Nishant Kheterpal
,
Elanor Tang
,
Jean-Baptiste Jeannin
Automating Geometric Proofs of Collision Avoidance with Active Corners.
FMCAD
(2022)