@conference{VaBe-IROS-2013,
    author    = {Vasile, Cristian Ioan and Belta, Calin},
    title     = {{Sampling-Based Temporal Logic Path Planning}},
    booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
    pages     = {4817--4822},
    month     = {November},
    address   = {Tokyo, Japan},
    year      = {2013},
    note      = {\href{http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6697051}{doi:10.1109/IROS.2013.6697051}}
}