马丁·范策尔;恩斯特·莫里茨·哈恩;霍尔格·赫尔曼斯;尼科拉斯·沃尔维克;张丽君 随机混合系统的可测性和安全性验证。 （英文） Zbl 1362.68170号 2011年4月12日至14日，美国伊利诺伊州芝加哥，HSCC 2011，第14届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0629-4）。43-52 (2011). 引用于18文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 65年第68季度 形式语言和自动机 关键词：可测量性;非确定性马尔可夫过程;概率混合自动机;可达性;随机混合自动机 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人，in：第14届ACM混合系统国际会议论文集：计算与控制，HSCC 2011，芝加哥，伊利诺伊州，美国，2011年4月12-14日。纽约州纽约市：计算机协会（ACM）。43-52（2011年；Zbl 1362.68170） 全文： 内政部