TY - RPRT TI - Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints AU - Lening Li AU - Jie Fu PY - 2018 UR - https://arxiv.org/abs/1810.02199 ID - 1810.02199 ER -