Tableaux for Policy Synthesis for MDPs with PCTL Constraints

Citation

Baumgartner, P, Thiebaux, S & Werndl Trevizan, F 2017, 'Tableaux for Policy Synthesis for MDPs with PCTL Constraints', 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2017, ed. R A. Schmidt and C Nalon, Springer International Publishing, Cham, Switzerland, pp. 175-192pp.

Year

2017

Updated:  22 October 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers