莫特萨·拉希贾尼安;Sean B.安德森。;卡林·贝尔塔 离散随机系统的形式化验证与综合。 （英语） 兹比尔1360.93650 IEEE传输。自动。控制 60，第8期，2031-2045（2015）. 评论：未发送评论稿。 引用于16文件 MSC公司： 93E03型 控制理论中的随机系统（一般） 60年第68季度 规范和验证（程序逻辑、模型检查等） PDF格式BibTeX公司 XML格式引用 \textit{M.Lahijanian}等人，IEEE Trans。自动。控制60，编号8，2031--2045（2015；Zbl 1360.93650） 全文： 内政部