格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率系统的验证和控制。 (英语) Zbl 1425.68266号 实时系统。 53,第3期,354-402(2017).MSC公司:60年第68季度 68平方米 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,实时系统。53,第3号,354--402(2017;Zbl 1425.68266) 全文: 内政部
格钦·诺曼;大卫·帕克;邹学毅 部分可观测概率实时系统的验证和控制。 (英语) Zbl 1465.68182号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 240-255 (2015).MSC公司:60年第68季度 68平方米 68平方米25 65年第68季度 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{G.Norman}等人,Lect。注释计算。科学。9268、240-255(2015年;Zbl 1465.68182) 全文: 内政部 arXiv公司