实时随机系统模型检测

本书以实时随机系统为研究对象,以描述实时随机系统的典型模型—离散(连续)时间Markov决策过程、概率时间...

2016.