×

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

蒙特卡罗树搜索定价时间自动机。 (英语) 兹比尔1522.68273

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

随机反应系统的主动模型学习。 (英语) Zbl 1522.68348号

Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13085, 481-500 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有一个时钟和初始化的时钟相关概率的概率时间自动机。 (英语) Zbl 1511.68140号

Gotsman,Alexey(编辑)等人,分布式对象、组件和系统的形式化技术。第40届IFIP WG 6.1国际会议,FORTE 2020,作为第15届分布式计算技术国际联合会议的一部分,于2020年6月15日至19日在马耳他瓦莱塔举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12136, 150-168 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

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

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

CTMC和CTMDP的近似时限可达性:Lyapunov方法。 (英语) Zbl 1514.68146号

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

集体动力的政策综合。 (英语) Zbl 1514.68179号

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

概率混合系统可达性的有界验证。 (英语) Zbl 1514.68139号

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

欧米伽正则约束下未知MDP中基于学习的均值-方差优化。 (英语) Zbl 1520.90206号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第8条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用

证明自治城市交通安全的抽象模型。 (英语) 兹比尔1401.68199

Sampaio,Augusto(编辑)等人,《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会,中华民国台湾台北,2016年10月24日至31日。诉讼程序。查姆:施普林格(ISBN 978-3-319-46749-8/pbk;978-3-3169-46750-4/电子书)。计算机科学讲座笔记9965,274-292(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

二次多项式不等式的插值综合及与EUF的结合。 (英语) Zbl 1475.03072号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 195-212 (2016).
PDF格式BibTeX公司 XML格式引用

安全且最佳的自适应巡航控制。 (英语) Zbl 1444.68183号

Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 260-277 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

证明乡村道路交通操纵的安全性。 (英语) Zbl 1390.68429号

Liu,Zhiming(编辑)等人,《编程理论与形式化方法》。纪念何继峰70岁生日的散文。柏林:施普林格出版社(ISBN 978-3-642-39697-7/pbk)。计算机科学课堂讲稿8051196-212(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

结构化作业流的调度策略。 (英语) Zbl 1171.90396号

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

无限在能量约束的加权时间自动机中运行。 (英语) Zbl 1171.68524号

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

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件