×

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

最新的 引文 关联
克里斯特尔·拜尔；弗洛里安·芬克；雅各布皮里鲍尔；罗宾·齐梅克

马尔可夫决策过程中的概率提升因果关系。 （英语） Zbl 07793022号

Bouyer，Patricia（编辑）等人，《软件科学和计算结构基础》。2022年4月2日至7日，第25届国际会议，FOSSACS 2022，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2022，德国慕尼黑。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13242, 40-60 (2022).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。13242，40-60（2022；Zbl 07793022）
全文： 内政部 arXiv公司
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；弗洛里安·芬克；西蒙·詹奇；雅各布皮里鲍尔；罗宾·齐梅克

操作因果关系-必须充分和足够必要。 （英语） Zbl 1524.68185号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 27-45 (2022).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。13560，27-45（2022；Zbl 1524.68185）
全文： 内政部
克里斯特尔·拜尔；弗洛里安·芬克；西蒙·詹奇；雅各布皮里鲍尔；罗宾·齐梅克

马尔可夫链中的概率原因。 （英语） Zbl 1497.68356号

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 205-221 (2021).
MSC公司：87年第68季度 03B70号 60J10型 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。12971205-221（2021年；兹比尔1497.68356）
全文： 内政部 arXiv公司
弗洛里安·芬克；西蒙·詹奇；克里斯特尔·拜尔

概率可达性约束的Farkas证书和最小见证人。 （英语） Zbl 1507.68187号

Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2020，2020年4月25日至30日，爱尔兰都柏林。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).
MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Funke}等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187）
全文： 内政部 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}等人，in：模型检查手册。查姆：斯普林格。963--999（2018；Zbl 1392.68227）
全文： 内政部
克里斯特尔·拜尔；约阿希姆·克莱因；克吕佩尔霍尔茨，萨沙；萨沙·旺德利希

最大化实现目标的有条件预期回报。 （英语） Zbl 1453.90180号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 269-285 (2017).
MSC公司：90立方厘米 65年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。10206269--285（2017；Zbl 1453.90180）
全文： 内政部 arXiv公司
丹尼尔·卡赫曼；贾娜·舒伯特；克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫

比率和重量分位数。 （英语） Zbl 1465.68155号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 344-356 (2015).
MSC公司：65年第68季度 60J10型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Krähmann}等人，Lect。注释计算。科学。9234344-356（2015年；兹比尔1465.68155）
全文： 内政部
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；约阿希姆·克莱因；克吕佩尔霍尔茨，萨沙；萨沙·旺德利希

用于能源效用分析的概率模型检查。 （英语） Zbl 1407.68279号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 96-123 (2014).
MSC公司：60年第68季度 60J20型 60J25型 68平方米 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。8464，96-123（2014；Zbl 1407.68279）
全文： 内政部
克里斯特尔·拜尔；Nathalie Bertrand；帕特里夏·鲍耶；托马斯·布里海耶；马库斯·格勒

时间自动机的概率语义和拓扑语义。 （英语） Zbl 1135.68464号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855179-191（2007）。
MSC公司：60年第68季度 65年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。4855、179--191（2007年；Zbl 1135.68464）
全文： 内政部
拜尔，C。；北伯特兰。；Schnoebelen博士。

具有概率消息丢失的通信系统的符号验证：活性和公平性。 （英语） Zbl 1225.68108号

Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229212-227（2006）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，Lect。注释计算。科学。4229212-227（2006；Zbl 1225.68108）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件