@conference{VaTuSeBeRu-ICRA-2017,
    author    = {Vasile, Cristian Ioan and Tumova, Jana and Karaman, Sertac and Belta, Calin and Rus, Daniela},
    title     = {{Minimum-violation scLTL motion planning for mobility-on-demand}},
    booktitle = {IEEE International Conference on Robotics and Automation (ICRA)},
    pages     = {1481--1488},
    month     = {May},
    address   = {Singapore},
    year      = {2017},
    note      = {\href{http://ieeexplore.ieee.org/document/7989177/}{doi:10.1109/ICRA.2017.7989177}}
}