格钦·诺曼 大卫·帕克0001 邹学毅 部分可观测概率实时系统的验证与控制。 2015 abs/1506.06419 CoRR公司 http://arxiv.org/abs/1506.06419 db/journals/corr/corr1506.html#Norman0Z15