Abstract
This paper presents an extensive formalization of Markov chains (MCs) and Markov decision processes (MDPs), with discrete time and (possibly infinite)......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
