Peter Baumgartner, Sylvie Thiébaux, and Felipe Trevizan.
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.
CoRR, abs/1706.10102, 2017. [ bib | http | Abstract ]
 
Peter Baumgartner, Sylvie Thiébaux, and Felipe Trevizan.
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.
In Renate A. Schmidt and Cláudia Nalon, editors, Tableaux 2017 -- Automated Reasoning with Analytic Tableaux and Related Methods, volume 10501 of Lecture Notes in Artificial Intelligence, pages 175--192. Springer, 2017.
Copyright Springer Verlag http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]