作者：张君华著
出版社： 清华大学出版社
CIP号：2016201630
书号：978-7-302-44881-5
出版地：北京
出版时间：2016
定价：￥30
本书以实时随机系统为研究对象，以描述实时随机系统的典型模型—离散（连续）时间Markov决策过程、概率时间自动机及其扩展模型为基础，就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题，展开了一系列研究。