@conference{VaRaKa-IROS-2017,
    author    = {Vasile, Cristian Ioan and Raman, Vasumathi and Karaman, Sertac},
    title     = {{Sampling-based Synthesis of Maximally-Satisfying Controllers for Temporal Logic Specifications}},
    booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
    pages     = {3840--3847},
    month     = {September},
    address   = {Vancouver, BC, Canada},
    year      = {2017},
    note      = {\href{http://ieeexplore.ieee.org/document/8206235/}{doi:10.1109/IROS.2017.8206235}}
}