Tableaux for Policy Synthesis for MDPs with PCTL* Constraints.

Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan

Browse the full TABLEAUX paper archive.