@conference{VaLeCrJoScBe-CDC-2016,
    author    = {Vasile, Cristian Ioan and Leahy, Kevin and Cristofalo, Eric and Jones, Austin and Schwager, Mac and Belta, Calin},
    title     = {{Control in Belief Space with Temporal Logic Specifications}},
    booktitle = {IEEE Conference on Decision and Control (CDC)},
    pages     = {7419--7424},
    month     = {December},
    address   = {Las Vegas, NV, USA},
    year      = {2016},
    note      = {\href{http://ieeexplore.ieee.org/document/7799415/}{doi:10.1109/CDC.2016.7799415}}
}