Control of Markov decision processes from PCTL specifications

作者： Lahijanian , Belta , Andersson

DOI:

关键词: Probabilistic logic 、 Robot 、 Markov process 、 Optimal control 、 Markov decision process 、 Computer science 、 Control (management) 、 Mathematical optimization