×

找到20个文档（结果1–20）

最新的 引文 关联
吉安尼斯·德尔姆帕尔塔基斯；莫特萨·拉希贾尼安；Manuel jun，马祖。；卢卡·劳伦蒂

具有连续动作空间的区间马尔可夫决策过程。 （英语） Zbl 07807953号

第26届ACM混合系统国际会议论文集：计算与控制，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{G.Delimpaltadakis}等人，in：《第26届ACM混合系统国际会议论文集：计算与控制》，HSCC 2023，第16届CPS-IoT周，美国德克萨斯州圣安东尼奥，2023年5月9日至12日。纽约州纽约市：计算机协会（ACM）。第12号论文，第10页（2023；Zbl 07807953）
全文： 内政部 arXiv公司
拼写，Jip；斯文加·斯坦因；Joost-Pieter卡托恩

具有最佳预算的POMDP控制器。 （英语） Zbl 1522.68346号

布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13479, 107-130 (2022).
MSC公司：60年第68季度 87年第68季度 68T20型 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。票据计算。科学。13479，107-130（2022；Zbl 1522.68346）
全文： 内政部
见鬼，莱纳斯；拼写，Jip；塞巴斯蒂安·荣格斯；约书亚·莫尔曼；Joost-Pieter卡托恩

部分可观测性下随机控制器的渐变。 （英语） Zbl 1498.68159号

Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13182, 127-150 (2022).
MSC公司：60年第68季度 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Heck}等人，Lect。票据计算。科学。13182127-150（2022年；兹比尔1498.68159）
全文： 内政部 arXiv公司
巴哈雷萨尔曼尼；Joost-Pieter卡托恩

微调贝叶斯网络中的概率。 （英语） Zbl 07542348号

Vejnarová，Jiřina（编辑）等人，用符号和定量方法进行不确定性推理。第16届欧洲会议，ECSQARU 2021，捷克共和国布拉格，2021年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12897, 268-283 (2021).
MSC公司：68层37
PDF格式BibTeX公司 XML格式引用
\textit{B.Salmani}和\textit{J.-P.Katoen}，莱克特。票据计算。科学。12897、268--283（2021；Zbl 07542348）
全文： 内政部 arXiv公司
安德烈亚·佩鲁福；亚历山德罗·阿巴特

参数随机过程的形式化抽象和综合。 （英语） Zbl 07498005号

Dima，Catalin（编辑）等，《定时系统的形式化建模和分析》。第19届国际会议，FORMATS 2021，巴黎，法国，2021年8月24-26日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12860135-153（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Peruffo}和\textit{A.Abate}，莱克特。票据计算。科学。12860135-153（2021；Zbl 07498005）
全文： 内政部
拼写，Jip；塞巴斯蒂安·荣格斯；Joost-Pieter卡托恩

发现可证明的最优马尔可夫链。 （英语） Zbl 1467.68095号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。12651, 173-190 (2021).
MSC公司：60年第68季度 60J22型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Spel}等人，Lect。票据计算。科学。12651、173--190（2021年；Zbl 1467.68095）
全文： 内政部
克里斯特尔·拜尔；克里斯蒂安·亨塞尔；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公司
托拜厄斯·温克勒；Junges，塞巴斯蒂安；吉列尔莫·佩雷斯。；Joost-Pieter卡托恩

参数马尔可夫决策过程可达性的复杂性。 （英语） Zbl 07649922号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第14条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛T.Winkler｝等人，LIPIcs——莱布尼茨国际期刊。通知。140，第14条，第17页（2019年；Zbl 07649922）
全文： 内政部 arXiv公司
塞巴斯蒂安·阿明；埃齐奥·巴托西；克里希南德·查特吉；Joost-Pieter卡托恩；安娜·索科洛娃

通过POMDP实现pMDP的参数无关策略。 （英语） Zbl 1514.68190号

McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11024, 53-70 (2018).
MSC公司：87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.Arming}等人，Lect。票据计算。科学。11024，53-70（2018；Zbl 1514.68190）
全文： 内政部 arXiv公司
劳雷·佩特鲁奇；范德波尔（Jaco van de Pol）

参数区间马尔可夫链的参数综合算法。 （英语） Zbl 1508.68256号

Baier，Christel（编辑）等人，分布式对象、组件和系统的形式化技术。2018年6月18日至21日在西班牙马德里举行的第38届IFIP WG 6.1国际会议，FORTE 2018，作为第13届分布式计算技术国际联合会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10854, 121-140 (2018).
MSC公司：87年第68季度 60J10型
PDF格式BibTeX公司 XML格式引用
\textit{L.Petrucci}和\textit{J.van de Pol}，莱克特。票据计算。科学。10854、121--140（2018年；Zbl 1508.68256）
全文： 内政部 哈尔
Lisa Hutschenreiter；克里斯特尔·拜尔；约阿希姆·克莱因

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

Patricia Bouyer等人，《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2017，意大利罗马，2017年9月20日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）256，16-30（2017）。
MSC公司：60年第68季度 03B70号 60J20型 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Hutschenreiter}等人，《电子》。程序。西奥。计算。科学。（EPTCS）256，16--30（2017；Zbl 1483.68195）
全文： 链接
拉诺特、拉格罗；马西莫·梅罗；西蒙·蒂尼

组密钥更新的组合弱度量。 （英语） Zbl 1441.68146号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第72条，第16页（2017年）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit｛R.Lanotte｝等人，LIPIcs——莱布尼茨国际期刊。通知。83，第72条，第16页（2017年；Zbl 1441.68146）
全文： 内政部
贝诺·德拉哈耶

参数区间马尔可夫链的一致性。 （英语） 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年；兹bl 1429.68141）
全文： 内政部
Fränzle，马丁；塞巴斯蒂安·格温；保罗·克罗格；亚历山德罗·阿巴特；Joost-Pieter卡托恩

概率混合系统中的多目标参数综合。 （英语） Zbl 1465.68177号

Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9268，93-107（2015年）。
MSC公司：60年第68季度 65年第68季度 87年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}等人，Lect。票据计算。科学。9268、93-107（2015年；Zbl 1465.68177）
全文： 内政部
埃齐奥·巴托西；拉杜·格罗苏；Katsaros，Panagiotis公司；罗摩克里希南。；斯科特·斯莫尔卡。

概率系统的模型修复。 （英语） 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）
全文： 内政部
罗伯托·巴布蒂；弗兰西斯卡，李维；保罗·米拉佐；圭多·斯卡纳

动力学速率不确定生物系统的概率模型检验。 （英语） Zbl 1260.68226号

Bournez，Olivier（编辑）等人，《可达性问题》。2009年9月23日至25日，法国帕莱索，RP 2009第三届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04419-9/pbk）。计算机科学课堂讲稿579764-78（2009）。
MSC公司：60年第68季度 87年第68季度 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Barbuti}等人，Lect。票据计算。科学。5797、64--78（2009年；Zbl 1260.68226）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件