马丁·塔普勒;伯恩哈德·艾切尼格(Bernhard K.Aichernig)。;乔瓦尼·巴奇;玛丽亚·艾希塞德;Larsen,Kim G。 \基于(L^\ast)的马尔可夫决策过程学习(扩展版本)。 (英语) 兹比尔1519.68106 正式Asp。计算。 33,编号4-5,575-615(2021).MSC公司:第68季度32 65年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Tappler}等人,正式Asp。计算。33,编号4--5,575--615(2021;Zbl 1519.68106) 全文: 内政部 arXiv公司
布里杰什·多戈尔;伊恩·海耶斯。;彼得·罗宾逊。 关于目标导向的实时远程反应程序的推理。 (英语) Zbl 1342.68060号 正式Asp。计算。 26,第3期,563-589(2014).MSC公司:68甲19 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,《正式Asp》。计算。26,第3号,563--589(2014;Zbl 1342.68060) 全文: 内政部 链接
迈克尔·汉森。;周朝晨 持续时间演算:逻辑基础。 (英语) Zbl 0887.68101号 正式Asp。计算。 9,第3期,283-330(1997).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Hansen}和\textit{Z.Chaochen},正式Asp。计算。9,第3283--330号(1997年;兹bl 0887.68101) 全文: 内政部
大卫·比林顿;R.Geoff,Dromey 共不变生成器:用于导出循环体。 (英语) Zbl 0843.68066号 正式Asp。计算。 8,第1期,108-126(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Billington}和\textit{R.G.Dromey},正式Asp。计算。8,编号1,108-126(1996;Zbl 0843.68066) 全文: 内政部
乔泽夫·胡曼 将Hoare逻辑扩展到实时。 (英语) Zbl 0816.68084号 正式Asp。计算。 6,编号6A,801-825(1994).MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hooman},正式Asp。计算。6,编号6A,801--825(1994;Zbl 0816.68084) 全文: 内政部