Lening Li, Jie Fu: Approximate Dynamic Programming with Probabilistic Temporal Logic Constraints. ACC 2019: 1696-1703