@other{https://resolver.caltech.edu/CaltechAUTHORS:20200527-082959993,
    title = "Stochastic Finite State Control of POMDPs with LTL Specifications",
    url = "https://resolver.caltech.edu/CaltechAUTHORS:20200527-082959993",
    id = "record",
    doi = "10.48550/arXiv.2001.07679"
}