@Article{VaLiBe-IJRR-2020,
    author    = {Vasile, Cristian Ioan and Li, Xiao and Belta, Calin},
    title     = {{Reactive Sampling-Based Path Planning with Temporal Logic Specifications}},
    month     = {June},
    year      = {2020},
    journal   = {International Journal of Robotics Research},
    volume    = {39},
    number    = {8},
    pages     = {1002-1028},
    note      = {\href{https://journals.sagepub.com/doi/10.1177/0278364920918919}{doi:10.1177/0278364920918919}}
}