×

找到21个文档(结果1-21)

基于回合的随机博弈的符号验证和策略综合。 (英语) Zbl 1528.68229号

Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 388-406 (2022).
PDF格式BibTeX公司 XML格式引用

概率程序的数据驱动不变学习。 (英语) Zbl 1514.68026号

Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 33-54 (2022).
PDF格式BibTeX公司 XML格式引用

欧米伽规则能量游戏的高效算法。 (英语) 兹比尔1522.91065

Huisman,Marieke(编辑)等人,《形式方法》。第24届国际研讨会,FM 2021,虚拟活动,2021年11月20日至26日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13047163-181(2021年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查概率系统。 (英语) Zbl 1392.68227号

Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。963-999 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

最小化程序的概率模型。 (英语。俄文原件) Zbl 1347.68232号

数学杂志。科学。,纽约 211,第3期,381-412(2015); 翻译自Fundam。普里克尔。材料19,第1期,121-163(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间马尔可夫模型的反例生成:介绍性调查。 (英语) Zbl 1445.68130号

Bernardo,Marco(编辑)等人,可执行软件模型的形式化方法。2014年6月16日至20日,意大利贝蒂诺罗,第14所计算机、通信和软件系统正式设计方法国际学校,SFM 2014。高级讲座。柏林:斯普林格。莱克特。注释计算。科学。8483, 65-121 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率系统线性时间特性的模型检验。 (英语) Zbl 1484.68095号

Droste,Manfred(编辑)等人,《加权自动机手册》。柏林:斯普林格。单声道。理论。计算。科学。,EATCS系列。,519-570 (2009).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

产品形态CTMC的成分模型检查。 (英语) Zbl 1339.68163号

Michael Goldsmith(编辑)等人,《关键系统自动验证第七届国际研讨会论文集》(AVoCS 2007),英国牛津,2007年9月10日至12日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》250,第1期,21-37(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率命题逻辑的时间化。 (英语) Zbl 1211.03042号

Artemov,Sergei(编辑)等人,《计算机科学的逻辑基础》。2009年1月3日至6日,美国佛罗里达州迪尔菲尔德海滩,LFCS 2009国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92686-3/pbk)。计算机科学课堂讲稿5407,46-60(2009)。
MSC公司:03B48号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份