TY  - RPRT
TI  - Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
AU  - Peter Baumgartner
AU  - Sylvie Thiébaux
AU  - Felipe Trevizan
PY  - 2017
DO  - 10.1007/978-3-319-66902-1_11
UR  - https://arxiv.org/abs/1706.10102
ID  - 1706.10102
ER  -