TY - RPRT TI - Temporal logic control of general Markov decision processes by approximate policy refinement AU - Sofie Haesaert AU - Sadegh Soudjani AU - Alessandro Abate PY - 2018 DO - 10.1016/j.ifacol.2018.08.013 UR - https://arxiv.org/abs/1712.07622 ID - 1712.07622 ER -