1,735 followers
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. (arXiv:1706.10102v3 [cs.LO] UPDATED) https://t.co/89GuGbL6FO
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. (arXiv:1706.10102v3 [cs.LO] UPDATED) https://t.co/89GuGbL6FO
#NewPaper: #arXiv cs.AI https://t.co/0QxkRsEpXx Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. (arXiv:1706.10102v3 [cs.LO]…
[arXiv] Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. (arXiv:1706.10102v3 [cs.LO] UPDATED) --> M… https://t.co/Zf1aABf0Qm
#arXiv #cs_AI "Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. (arXiv:1706.10102v3 [cs.LO] UPDATED)" https://t.co/u03MeJj8Pl