"Control of Markov decision processes from PCTL specifications."

Morteza Lahijanian, Sean B. Andersson, Calin Belta (2011)

Details and statistics

DOI: 10.1109/ACC.2011.5990952

access: closed

type: Conference or Workshop Paper

metadata version: 2022-06-08

a service of  Schloss Dagstuhl - Leibniz Center for Informatics