2,491 followers
Open Access UCL Research: Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent https://t.co/OmmPo1LHFg
Open Access UCL Research: Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent https://t.co/OmmPo1LHFg
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