×

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

纠缠交换的模型检查。 (英语) Zbl 07643430号

Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。第20届国际会议,FORMATS 2022,波兰华沙,2022年9月13日至15日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13465, 98-114 (2022).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

核心:马尔可夫决策过程的部分探索框架。 (英语) Zbl 07649913号

Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第5条,第17页(2019年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

根据欧米伽正则稠密时间属性验证概率时间自动机。 (英语) Zbl 1514.68132号

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

概率时间自动机最优调度的统计近似。 (英语) Zbl 1354.68172号

布拉哈姆,埃里卡(编辑)等,《综合形式方法》。2016年6月1日至5日在冰岛雷克雅未克举行的2016年第12届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-33692-3/pbk;978-3-3169-33693-0/电子书)。计算机科学讲座笔记968199-114(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

部分可观测概率实时系统的验证和控制。 (英语) Zbl 1465.68182号

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

概率时间自动机的符号最小期望时间控制器综合。 (英语) Zbl 1465.68153号

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

基于随机博弈抽象的概率时间自动机参数综合。 (英语) Zbl 1393.68095号

Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-11438-5/pbk)。计算机科学课堂讲稿8762176-189(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

性能模型检查场景软件数据流。 (英语) Zbl 1348.68151号

Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,43-59(2011)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率时间自动机验证的随机博弈。 (英语) Zbl 1262.68125号

Ouaknine,Joöl(编辑)等,时间系统的形式化建模和分析。2009年9月14-16日在匈牙利布达佩斯举行的2009年FORMATS第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04367-3/pbk)。计算机科学课堂讲稿5813,212-227(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率时间自动机的严格分歧。 (英语) 兹比尔1254.68137

Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710,620-636(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

秘密定价的概率时间自动机。 (英语) Zbl 1254.68136号

Bravetti,Mario(编辑)等人,CONCUR 2009–并发理论。第20届国际会议,CONCUR 2009,意大利博洛尼亚,2009年9月1-4日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04080-1/pbk)。计算机科学课堂讲稿5710,415-430(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用概率时间自动机对出版订阅系统进行形式化分析。 (英语) Zbl 1215.68041号

Derrick,John(编辑)等人,《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73195-5/pbk)。计算机科学课堂讲稿4574247-262(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份