
Learning Proofs of Motion Planning Infeasibility
Author(s) -
Sihui Li,
Neil T. Dantam
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.15607/rss.2021.xvii.064
Subject(s) - mathematical proof , computer science , motion planning , motion (physics) , artificial intelligence , mathematics , robot , geometry