@conference{KaVaVaKaKrRuTu-ICAR-2021,
    author    = {Karlsson, Jesper and Varava, Anastasiia and Vasile, Cristian Ioan and Karaman, Sertac and Kragic, Danica and Rus, Daniela and Tumova, Jana},
    title     = {{When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning}},
    booktitle = {International Conference on Advanced Robotics (ICAR)},
    pages     = {594--600},
    month     = {October},
    address   = {Ljubljana, Slovenia},
    year      = {2021},
    note      = {\href{https://ieeexplore.ieee.org/document/9659459}{doi:10.1109/ICAR53236.2021.965945}}
}