×

找到7个文档（结果1-7）

最新的 引文 关联
托拜厄斯·温克勒；约翰内斯·莱曼；Joost-Pieter卡托恩

失控：通过控制状态消除减少概率模型。 （英语） Zbl 1498.68176号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 450-472 (2022).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Winkler}等人，Lect。票据计算。科学。13182050-472（2022年；兹bl 1498.68176）
全文： 内政部 arXiv公司
史蒂文·霍尔岑；塞巴斯蒂安·荣格斯；马塞尔·瓦兹奎兹·香拉特；托德·米尔斯坦；Sanjit A.Seshia。；盖伊，范登·布勒克

利用概率推理对有限水平马尔可夫链进行模型检验。 （英语） Zbl 1493.68210号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12760, 577-601 (2021).
MSC公司：60年第68季度 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Holtzen}等人，Lect。票据计算。科学。12760577--601（2021年；Zbl 1493.68210）
全文： 内政部 arXiv公司
简·Křetínsk；托拜厄斯·梅根多夫

核心：马尔可夫决策过程的部分探索框架。 （英语） Zbl 07649913号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第5条，第17页（2019年）。
MSC公司：60年第68季度 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Křetínsk朣}和\textit{T.Meggendorfer}，LIPIcs——莱布尼茨国际程序。通知。140，第5条，第17页（2019年；Zbl 07649913）
全文： 内政部
克里斯特尔·拜尔；卢卡·德·阿尔法罗；Forejt，Vojtěch公司；玛尔塔·奎亚特科夫斯卡

模型检查概率系统。 （英语） Zbl 1392.68227号

Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
克里斯蒂安·德内特；丹尼尔·格布勒；米歇尔·沃尔帕托；大卫·詹森（David N.Jansen）。

关于概率系统的抽象。 （英语） Zbl 1426.68167号

Remke，Anne（编辑）等人，《随机模型检验》。使用随机系统的模型检查技术进行严格的可靠性分析。2012年10月22日至26日，意大利瓦尔恩2012年ROCKS国际秋季学校。高级讲座。柏林：斯普林格。莱克特。票据计算。科学。8453, 87-116 (2014).
MSC公司：60年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Dehnert}等人，Lect。票据计算。科学。8453，87-116（2014；Zbl 1426.68167）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件