×

找到102个文档(结果1-100)

马尔可夫模型中的参数综合:一项温和的调查。 (英语) Zbl 1528.68226号

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

定量分离逻辑中蕴含检查的基础。 (英语) Zbl 1528.68208号

谢尔盖,伊利亚(编辑),《编程语言和系统》。2022年4月2日至7日,在德国慕尼黑举行的第31届欧洲编程研讨会ESOP 2022,作为欧洲软件理论与实践联合会议ETAPS 2022的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13240, 57-84 (2022).
PDF格式BibTeX公司 XML格式引用

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

布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13479, 107-130 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

程序是否产生正确的分布?通过生成函数验证概率程序。 (英语) Zbl 1514.68028号

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

失控:通过控制状态消除减少概率模型。 (英语) Zbl 1498.68176号

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 450-472 (2022).
PDF格式BibTeX公司 XML格式引用

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

Finkbeiner,Bernd(编辑)等人,《验证、模型检查和抽象解释》。第23届国际会议,VMCAI 2022,费城,宾夕法尼亚州,美国,2022年1月16日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13182, 127-150 (2022).
PDF格式BibTeX公司 XML格式引用

格型归纳法及其在概率程序中的应用。 (英语) Zbl 1493.68204号

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 524-549 (2021).
PDF格式BibTeX公司 XML格式引用

通过凸规划的差分综合不变屏障证书。 (英语) 兹比尔1493.68222

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759,443-466(2021)。
PDF格式BibTeX公司 XML格式引用

调整概率时间自动机的几率。 (英语) Zbl 1491.68098号

阿巴特,亚历山德罗(编辑)等人,《系统的定量评估》。第18届国际会议,QEST 2021,法国巴黎,2021年8月23日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12846,39-58(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

长期平均和总回报的多目标优化。 (英语) Zbl 1467.68094号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 230-249 (2021).
PDF格式BibTeX公司 XML格式引用

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

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 173-190 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

验证不确定范围POMDP。 (英语) Zbl 1517.68225号

Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12302, 288-304 (2020).
PDF格式BibTeX公司 XML格式引用

多目标MDP中的简单策略。 (英语) Zbl 1507.68183号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 346-364 (2020).
PDF格式BibTeX公司 XML格式引用

基于场景的不确定MDP验证。 (英语) Zbl 1507.68182号

Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 287-305 (2020).
PDF格式BibTeX公司 XML格式引用

通过符号模型检查进行贝叶斯推理。 (英语) Zbl 1483.68204号

Gribaudo,Marco(编辑)等人,《系统的定量评估》。第17届国际会议,QEST 2020,奥地利维也纳,2020年8月31日至9月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12289, 115-133 (2020).
PDF格式BibTeX公司 XML格式引用

AODV的概率模型检验。 (英语) Zbl 1483.68037号

Gribaudo,Marco(编辑)等人,《系统的定量评估》。第17届国际会议,QEST 2020,奥地利维也纳,2020年8月31日至9月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12289, 54-73 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

初级集成电路3:MDP的属性定向可达性。 (英语) Zbl 1478.68143号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12225, 512-538 (2020).
PDF格式BibTeX公司 XML格式引用

具有词典可达性-安全目标的随机博弈。 (英语) Zbl 1478.68151号

Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12225, 398-420 (2020).
PDF格式BibTeX公司 XML格式引用

牧羊群的马尔可夫链。 (英语) Zbl 1527.68144号

Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。11428, 172-190 (2019).
PDF格式BibTeX公司 XML格式引用

MDP模型检查的10000个方面。 (英语) Zbl 1482.68133号

Steffen,Bernhard(编辑)等人,《计算与软件科学》。最先进的技术和观点。查姆:斯普林格。莱克特。注释计算。科学。10000, 420-451 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数马尔可夫链是单调的吗? (英语) Zbl 1437.68121号

Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11781479-496(2019年)。
PDF格式BibTeX公司 XML格式引用

pMDPs合成:1001个参数。 (英语) Zbl 1517.68227号

Lahiri,Shuvendu K.(编辑)等人,用于验证和分析的自动化技术。第16届国际研讨会,2018年10月7日至10日,美国加利福尼亚州洛杉矶,ATVA 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11138, 160-176 (2018).
PDF格式BibTeX公司 XML格式引用

人类安全航行的模型检查。 (英语) Zbl 1514.68136号

McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11024, 207-222 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

声音值迭代。 (英语) 兹比尔1511.68167

Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981643-661(2018年)。
PDF格式BibTeX公司 XML格式引用

通过多锁定时自动机监测CTMC。 (英语) Zbl 1511.68152号

Chockler,Hana(编辑)等人,《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议,CAV 2018,作为联邦逻辑会议的一部分。诉讼程序。第一部分:查姆:斯普林格公开赛。莱克特。注释计算。科学。10981, 507-526 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进软件IC3的通用性。 (英语) Zbl 1508.68066号

del Mar Gallardo,María(编辑)等人,模型检查软件。2018年6月20日至22日在西班牙马拉加举行的2018年SPIN第25届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10869, 85-102 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MDP中的多成本有界可达性。 (英语) Zbl 1423.68282号

Beyer,Dirk(编辑)等人,《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议(TACAS 2018),是欧洲软件理论与实践联合会议(ETAPS 2018)的一部分。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10806, 320-339 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

贝叶斯网络,我会给你采样多久?关于预期采样时间的程序分析视角。 (英语) Zbl 1418.68050号

阿马尔·艾哈迈德(编辑),《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会(ESOP 2018),作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10801, 186-213 (2018).
PDF格式BibTeX公司 XML格式引用

多目标马尔可夫自动机。 (英语) Zbl 1494.68146号

Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。10426, 140-159 (2017).
PDF格式BibTeX公司 XML格式引用

序贯凸规划用于参数MDP的有效验证。 (英语) 兹比尔1452.68117

Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。10206, 133-150 (2017).
PDF格式BibTeX公司 XML格式引用

概率程序的有界模型检验。 (英语) 兹比尔1398.68343

Artho,Cyrille(编辑)等人,《用于验证和分析的自动化技术》。2016年10月17日至20日,第14届国际研讨会,ATVA 2016,日本千叶。诉讼程序。查姆:施普林格(ISBN 978-3-319-46519-7/pbk;978-3-3169-46520-3/电子书)。计算机科学讲义9938,68-85(2016)。
PDF格式BibTeX公司 XML格式引用

马尔可夫模型的参数合成:比以往更快。 (英语) Zbl 1398.68346号

Artho,Cyrille(编辑)等人,《用于验证和分析的自动化技术》。2016年10月17日至20日,第14届国际研讨会,ATVA 2016,日本千叶。诉讼程序。查姆:施普林格(ISBN 978-3-319-46519-7/pbk;978-3-3169-46520-3/电子书)。计算机科学讲义9938,50-67(2016)。
PDF格式BibTeX公司 XML格式引用

递归概率程序的推理。 (英语) Zbl 1401.68048号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。672-681 (2016).
PDF格式BibTeX公司 XML格式引用

关于一些简单概率逻辑的可满足性。 (英语) Zbl 1394.68169号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。56-65 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率模型检查景观。 (英语) Zbl 1401.68201号

2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。31-45 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率程序预期运行时间的弱前提推理。 (英语) Zbl 1335.68058号

Peter Thiemann(编辑),《编程语言和系统》。2016年4月2日至8日,作为欧洲软件理论与实践联合会议的一部分,在荷兰埃因霍温举行了第25届欧洲编程研讨会,即2016年ESOP。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-49497-4/pbk;978-3-662-49498-1/电子书)。计算机科学讲座笔记9632364-389(2016)。
PDF格式BibTeX公司 XML格式引用

开区间马尔可夫链的模型检验。 (英语) 兹比尔1392.68240

Gribaudo,Marco(编辑)等人,《分析和随机建模技术及应用》。第22届国际会议,ASMTA 2015,保加利亚阿尔贝纳,2015年5月26-29日。诉讼程序。查姆:施普林格(ISBN 978-3-319-18578-1/pbk;978-3-316-18579-8/电子书)。计算机科学课堂讲稿9081,30-42(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率编程:真正的验证挑战。 (英语) Zbl 1473.68041号

Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。2015年10月12日至15日,第13届国际研讨会,亚洲电视协会,中国上海。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9364, 1-3 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 93-107 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可能安全或活着。 (英语) Zbl 1394.68231号

2014年7月14日至18日,奥地利维也纳,2014年第二十三届EACSL计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑年会联席会议记录。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4503-2886-9)。第55号论文,第10页(2014年)。
PDF格式BibTeX公司 XML格式引用

快速调试PRISM模型。 (英语) Zbl 1448.68295号

Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,第十二届国际研讨会,ATVA 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8837, 146-162 (2014).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

马尔可夫链上的参数LTL。 (英语) Zbl 1417.68099号

乔塞普·迪亚兹(编辑)等人,《理论计算机科学》。第八届IFIP TC 1/WG 2.2国际会议,TCS 2014,罗马,意大利,2014年9月1日至3日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8705, 207-221 (2014).
PDF格式BibTeX公司 XML格式引用

非自治随机混合系统基于定量自动机的控制器综合。 (英语) Zbl 1362.68189号

2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。293-302 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于SMT的马尔可夫模型的互模拟最小化。 (英语) Zbl 1426.68168号

Giacobazzi,Roberto(编辑)等人,《验证、模型检查和抽象解释》。第14届国际会议,2013年VMCAI,意大利罗马,2013年1月20日至22日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。7737, 28-47 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

强大的PCTL模型检查。 (英语) Zbl 1361.68140号

第15届ACM混合系统国际会议论文集:计算与控制,HSCC 2012,中国北京,2012年4月17日至19日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1220-2)。275-286 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫链上的加权集总性。 (英语) Zbl 1336.68186号

Clarke,Edmund(编辑)等人,《系统信息学的观点》。2011年6月27日至7月1日,俄罗斯新西伯利亚,第八届安德烈·埃尔肖夫国际纪念大会,PSI 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-29708-3/pbk)。计算机科学课堂讲稿7162322-339(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率自动机的组合抽象技术。 (英语) Zbl 1362.68155号

Baeten,Jos C.M.(编辑)等人,《理论计算机科学》。第七届IFIP TC 1/WG 2.2国际会议,2012年TCS,荷兰阿姆斯特丹,2012年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-33474-0/pbk)。计算机科学课堂讲稿7604325-341(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间Markov模型的最小临界子系统。 (英语) Zbl 1352.68167号

Flanagan,Cormac(编辑)等人,《系统构建和分析的工具和算法》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第18届国际会议(TACAS 2012),是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28755-8/pbk)。计算机科学课堂讲稿7214,299-314(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自治随机混合系统的定量自动机模型检验。 (英语) Zbl 1361.68130号

2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。83-92(2011年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间马尔可夫链的层次反例。 (英语) Zbl 1348.68139号

Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996443-452(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用单时钟时间自动机观测连续时间MDP。 (英语) Zbl 1348.68127号

Delzanno,Giorgio(编辑)等人,《可达性问题》。2011年9月28日至30日在意大利热那亚举行的RP 2011第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24287-8/pbk)。计算机科学课堂讲稿6945,2-25(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

线性实时目标的高效CTMC模型检查。 (英语) Zbl 1315.68174号

Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605128-142(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

抽象概率自动机。 (英语) Zbl 1317.68095号

Jhala,Ranjit(编辑)等人,《验证、模型检查和抽象解释》。2011年1月23日至25日,第12届国际会议,VMCAI 2011,美国德克萨斯州奥斯汀。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-18274-7/pbk)。计算机科学课堂讲稿6538,324-339(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率程序的线性变分生成:自动支持基于证据的方法。 (英语) Zbl 1239.68020号

Cousot,Radhia(编辑)等人,《静态分析》。2010年9月14日至16日,第17届国际研讨会,SAS 2010,法国佩皮尼昂。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15768-4/pbk)。计算机科学课堂讲稿6337,390-406(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间非齐次马尔可夫链的LTL模型检验。 (英语) 兹比尔1262.68108

刘志明(编辑)等,《验证和分析自动化技术》。2009年10月14日至16日,第七届国际研讨会,ATVA 2009,中国澳门。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04760-2/pbk)。计算机科学课堂讲稿5799104-119(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间马尔可夫报酬决策过程中的可达性。 (英语) Zbl 1222.68120号

Flum,Jörg(编辑)等人,《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹:阿姆斯特丹大学出版社(ISBN 978-90-5356-576-6/pbk)。《逻辑与游戏中的文本》2,53-71(2008)。
PDF格式BibTeX公司 XML格式引用

模型检查原则。金·古德斯特兰·拉森(Kim Guldstrand Larsen)的前言。 (英语) Zbl 1179.68076号

马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-02649-9/hbk)。十七、975页。(2008年)。
PDF格式BibTeX公司 XML格式引用

分段不变非齐次马尔可夫链上的模型检验HML。 (英语) Zbl 1171.68550号

Cassez,Franck(编辑)等,时间系统的形式化建模和分析。2008年9月15日至17日,第六届国际会议,FORMATS 2008,法国圣马洛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85777-8/pbk)。计算机科学课堂讲稿5215203-217(2008)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用Erlang的阶段法对随机系统进行抽象。 (英语) Zbl 1160.68469号

van Breugel,Franck(编辑)等人,CONCUR 2008–并发理论。第19届国际会议,CONCUR 2008,加拿大多伦多,2008年8月19-22日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85360-2/pbk)。计算机科学课堂讲稿5201,279-294(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

概率系统的抽象。 (英语) Zbl 1141.68472号

Raskin,Jean-François(编辑)等,时间系统的形式化建模和分析。第五届国际会议,FORMATS 2007,奥地利萨尔茨堡,2007年10月3-5日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75453-4/pbk)。计算机科学课堂讲稿4763,1-3(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

提供可能准时的证据:CTMC模型检查的反例生成。 (英语) Zbl 1141.68470号

Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762,331-346(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

连续时间马氏链的三值抽象。 (英语) Zbl 1135.68476号

Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590311-324(2007)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率模型检验中的反例。 (英语) Zbl 1186.68293号

Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424,72-86(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

双模拟最小化在很大程度上加快了概率模型检查的速度。 (英语) Zbl 1186.68296号

Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。《计算机科学讲义》4424、87-101(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发指针程序中的安全性和活性。 (英语) Zbl 1196.68045号

de Boer,Frank S.(编辑)等人,组件和对象的形式化方法。2005年11月1日至4日,荷兰阿姆斯特丹,第四届国际研讨会,FMCO 2005。修订的讲座。柏林:施普林格出版社(ISBN 3-540-36749-7/pbk)。计算机科学讲义4111,280-312(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一致连续时间Markov决策过程中时间有界可达概率的有效计算。 (英语) Zbl 1126.68467号

Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿298861-76(2004)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

离散时间奖励模式选择。 (英语) Zbl 1099.68652号

Larsen,Kim G.(编辑)等,时间系统的形式化建模和分析。2003年9月6日至7日在法国马赛举行的2003年FORMATS第一次国际研讨会。修订论文。柏林:施普林格出版社(ISBN 3-540-21671-5/pbk)。《计算机科学讲义》279188-104(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

谁在指向谁?关于链表结构的自动验证。 (英语) Zbl 1117.68427号

Lodaya,Kamal(编辑)等人,FSTTCS 2004:软件技术和理论计算机科学基础。第24届国际会议,印度钦奈,2004年12月16-18日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24058-6/pbk)。计算机科学课堂讲稿3328250-262(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

马尔可夫链的比较分支时间语义(扩展抽象)。 (英语) Zbl 1274.68264号

Amadio,Roberto(编辑)等人,CONCUR 2003–并发理论。第14届国际会议,法国马赛,2003年9月3日至5日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40753-7/pbk)。莱克特。注释计算。科学。2761, 492-507 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

UML状态图规范和验证的概率扩展。 (英语) Zbl 1278.68226号

Damm,Werner(编辑)等人,《实时和容错系统中的形式化技术》。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。计算机科学课堂讲稿2469355-374(2002)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用模型检查进行自动性能和可靠性评估。 (英语) 兹比尔1017.68500

Calzarossa,Maria Carla(编辑)等人,《复杂系统的性能评估:技术和工具》。性能2002教程讲座。论文基于2002年9月23日至27日在意大利罗马举行的IFIP工作组7.3计算机性能建模、测量和评估国际研讨会(performance 2002)上提出的教程。柏林:斯普林格。莱克特。注释计算。科学。2459, 261-289 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

MoDeST-随机时间系统的建模和描述语言。 (英语) Zbl 1007.68518号

De Alfaro,Luca(编辑)等人,《过程代数和概率方法》。性能建模和验证。2001年9月12日至14日,德国亚琛,PAPM-PROMMIV 2001联合国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2165, 87-104 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

超越无记忆分布:模型检查半马尔可夫链。 (英语) Zbl 1007.68514号

De Alfaro,Luca(编辑)等人,《过程代数和概率方法》。性能建模和验证。2001年9月12日至14日,德国亚琛,PAPM-PROMMIV 2001联合国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2165, 57-70 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

更快、符号化的CTMC模型检查。 (英语) Zbl 1007.68517号

De Alfaro,Luca(编辑)等人,《过程代数和概率方法》。性能建模和验证。2001年9月12日至14日,德国亚琛,PAPM-PROMMIV 2001联合国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2165, 23-38 (2001).
PDF格式BibTeX公司 XML格式引用
全文: 链接

性能评估:=(进程代数+模型检查)\(\次\)马尔可夫链。 (英语) 兹比尔1006.68092

Larsen,Kim G.(编辑)等人,《CONCUR 2001-并发理论》。第十二届国际会议,丹麦奥尔堡,2001年8月20日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第2154、59-81页(2001年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

面向模型检验随机过程代数。 (英语) Zbl 1043.68594号

Grieskamp,Wolfgang(编辑)等人,《综合形式方法》。2000年11月1日至3日,第二届国际会议,IFM 2000,德国达格斯图尔城堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-41196-8)。莱克特。注释计算。科学。1945, 420-439 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 链接

关于可执行性属性的逻辑特征。 (英语) Zbl 0973.68014号

Montanari,Ugo(编辑)等人,自动机,语言和编程。第27届国际学术讨论会,ICALP 2000,瑞士日内瓦,2000年7月9日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1853, 780-792 (2000).
PDF格式BibTeX公司 XML格式引用

通过瞬态分析对连续时间马尔可夫链进行模型检验。 (英语) Zbl 0974.68017号

Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1855, 358-372 (2000).
PDF格式BibTeX公司 XML格式引用

马尔可夫链模型检查器。 (英语) 兹伯利0960.68108

Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785年,347-362(2000年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用

论生成性平行作文。 (英语) Zbl 0920.68078号

Baier,Christel(ed.)等人,1998年6月19日至20日在美国印第安纳州印第安纳波利斯举行的第一届概率方法验证国际研讨会(PROBMIV’98)会议记录(第十三届IEEE计算机科学逻辑国际研讨会的卫星活动,LICS’98)。阿姆斯特丹:爱思唯尔,理论计算机科学电子笔记。22,电子文件第6号,(1998年)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份