×

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

最新的 引文 关联
乔瓦尼·巴奇;贝诺·德拉哈耶;Larsen，Kim G。;安德斯·玛丽加德

区间马尔可夫链的定量分析。 （英语） Zbl 1522.68296号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 57-77 (2022).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Bacci}等人，Lect。注释计算。科学。13030，57--77（2022；Zbl 1522.68296）
全文： 内政部 哈尔
乌芒·马图尔;马修·鲍尔。;罗希特·查达;西斯特拉·A·普拉萨德;马赫什·维斯瓦纳坦

通过理性搜索进行精确的定量概率模型检查。 （英语） Zbl 1506.68057号

形式方法系统。设计。 56，编号1-3，90-126（2020）.
MSC公司：60年第68季度 60J20型 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit｛U.Mathur｝等人，Form.Methods Syst。设计。56，编号1--3，90-126（2020；Zbl 1506.68057）
全文： 内政部
拜尔，克里斯特尔;克里斯蒂安·亨塞尔;Lisa Hutschenreiter;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;约阿希姆·克莱因

参数马尔可夫链：PCTL复杂性和无分数高斯消去。 （英语） Zbl 1443.68101号

Inf.计算。 272，文章ID 104504，26 p.（2020）.
MSC公司：60年第68季度 03B44号 60J10型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Baier｝等人，信息计算。272，文章ID 104504，26 p.（2020；Zbl 1443.68101）
全文： 内政部 arXiv公司
保罗·盖纳;恩斯特·莫里茨·哈恩;斯文·舍韦

参数化和可重构马尔可夫链的增量验证。 （英语） 兹比尔1514.68133

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 140-156 (2018).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Gainer}等人，Lect。注释计算。科学。11024，140-156（2018；Zbl 1514.68133）
全文： 内政部 arXiv公司 链接
拜尔，克里斯特尔;卢卡·德·阿尔法罗;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｝等人，在：模型检查手册中。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
穆拉特·库布克特佩;尼尔斯·詹森;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩;伊凡·帕普萨;哈桑·普纳瓦拉（Hasan A.Poonawala）。;乌富克托普库

序贯凸规划用于参数MDP的有效验证。 （英语） Zbl 1452.68117号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 133-150 (2017).
MSC公司：60年第68季度 87年第68季度 90C25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Cubuktepe}等人，Lect。注释计算。科学。10206133-150（2017；Zbl 1452.68117）
全文： 内政部 arXiv公司
塔蒂，巴拉斯·西瓦·库马尔;马库斯·西格尔

具有动作和状态标签的马尔可夫链的参数和控制器综合。 （英语） Zbl 1429.68142号

André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 63-76 (2015).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.S.K.Tati}和\textit{M.Siegle}，OASIcs--OpenAccess服务器。通知。44、63-76（2015年；Zbl 1429.68142）
全文： 内政部
贝诺·德拉哈耶

参数区间马尔可夫链的一致性。 （英语） Zbl 1429.68141号

André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 17-32 (2015).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Delahaye}，OASIcs--开放存取服务。通知。44、17-32（2015年；Zbl 1429.68141）
全文： 内政部
费雷尔·菲奥里蒂，路易斯·玛丽亚;恩斯特·莫里茨·哈恩;霍尔格赫尔曼斯;比约恩·瓦希特

变量概率抽象细化。 （英语） Zbl 1374.68347号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561，300-316（2012）。
MSC公司：87年第68季度 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛L.M.Ferrer Fioriti｝等人，Lect。注释计算。科学。7561，300-316（2012；Zbl 1374.68347）
全文： 内政部
埃齐奥·巴托西;拉杜·格罗苏;Katsaros，Panagiotis公司;罗马克里希南，C.R。;斯科特·斯莫尔卡。

概率系统的模型修复。 （英语） Zbl 1316.68070号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记6605326-340（2011）。
MSC公司：60年第68季度 87年第68季度 90立方
PDF格式BibTeX公司 XML格式引用
\textit{E.Bartocci}等人，Lect。注释计算。科学。6605326--340（2011年；Zbl 1316.68070）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件