克里希南德·查特吉;莫妮卡·亨津格;玛纳斯·乔格勒卡尔;尼萨尔·沙阿 具有Büchi目标的马尔可夫决策过程定性分析的符号算法。 (英语) Zbl 1291.68251号 形式方法系统。设计。 42,第3期,301-327(2013).MSC公司:60年第68季度 87年第68季度 68瓦30 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。42,第3号,301-327(2013;Zbl 1291.68251) 全文: 内政部 arXiv公司
阿克西,S。;贝内迪克特·博利格;保罗·加斯丁 事件时钟消息传递自动机:一种逻辑表征和一种空性检查算法。 (英语) Zbl 1291.68239号 形式方法系统。设计。 42,第3期,262-300(2013).MSC公司:60年第68季度 65年第68季度 03B70号 03年11月15日 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人,《形式方法系统》。设计。42,第3号,262--300(2013;Zbl 1291.68239) 全文: 内政部
丹尼尔·克罗宁;娜塔莎·莎莉吉娜;斯特凡诺·托内塔;阿里亚克西·齐托维奇;Christoph M.温特斯泰格。 使用状态和转换不变量的循环摘要。 (英语) Zbl 1291.68262号 形式方法系统。设计。 42,第3期,221-261(2013).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,《形式方法系统》。设计。42,第3号,221--261(2013;Zbl 1291.68262) 全文: 内政部 链接