"Tableaux for Policy Synthesis for MDPs with PCTL* Constraints", Baumgartner et al 2017 User gwern, in the Reinforcement Learning subreddit, 05 Jul 2017