@conference{VaBe-ICRA-2014,
    author    = {Vasile, Cristian Ioan and Belta, Calin},
    title     = {{Reactive Sampling-Based Temporal Logic Path Planning}},
    booktitle = {IEEE International Conference on Robotics and Automation (ICRA)},
    pages     = {4310--4315},
    month     = {June},
    address   = {Hong Kong, China},
    year      = {2014},
    note      = {\href{http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6907486&tag=1}{doi:10.1109/ICRA.2014.6907486}}
}