@conference{LiVaBe-IROS-2017,
    author    = {Li, Xiao and Vasile, Cristian Ioan and Belta, Calin},
    title     = {{Reinforcement Learning With Temporal Logic Rewards}},
    booktitle = {IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)},
    pages     = {3834--3839},
    month     = {September},
    address   = {Vancouver, BC, Canada},
    year      = {2017},
    note      = {\href{http://ieeexplore.ieee.org/document/8206234/}{doi:10.1109/IROS.2017.8206234}}
}