×

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

定时网络拥塞游戏中的非盲策略。 (英语) Zbl 07643435号

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

具有不可观察重置的时间自动机的主动学习。 (英语) Zbl 07317095号

Bertrand,Nathalie(编辑)等,时间系统的形式化建模和分析。第18届国际会议,FORMATS 2020,奥地利维也纳,2020年9月1日至3日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12288, 144-160 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

放松能量约束的可达性游戏。 (英语) Zbl 07453074号

Leroux,Jéróme(ed.)等人,第十届游戏、自动机、逻辑和形式验证国际研讨会论文集,2019年9月2日至3日,法国波尔多,GandALF 2019。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)305,17-33(2019)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

定时系统离线测试的控制策略。 (英语) Zbl 1508.68221号

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

最优和鲁棒控制器综合。使用具有不确定性的能量时间自动机。 (英语) Zbl 1460.93031号

Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。10951, 203-221 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查实时系统。 (英语) Zbl 1392.68235号

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

极限平均能量游戏。 (英语) 兹比尔1392.68115

Esparza,Javier(编辑)等人,《软件科学和计算结构基础》。2017年4月22日至29日在瑞典乌普萨拉举行的第20届国际会议FOSSACS 2017,作为欧洲软件理论与实践联合会议ETAPS 2017的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-54457-0/pbk;978-3-562-54458-7/电子书)。计算机科学课堂讲稿10203,179-195(2017)。
PDF格式BibTeX公司 XML格式引用

平均能量游戏。 (英语) Zbl 1476.68024号

Esparza,Javier(编辑)等人,《第六届游戏、自动机、逻辑和形式验证国际研讨会论文集》,GandALF 2015,热那亚,意大利,2015年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)193,1-15(2015)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

参数时间自动机中的语言保存问题。 (英语) Zbl 1465.68129号

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

通过泵入通道机器对时间自动机进行鲁棒模型检查。 (英语) Zbl 1348.68122号

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

时间自动机总是可以实现的。 (英语) Zbl 1343.68134号

Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,德国亚琛,第22届国际会议,CONCUR 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿690176-91(2011)。
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格式引用
全文: 内政部

基于信道机的时间自动机鲁棒性分析。 (英语) Zbl 1138.68431号

Amadio,Roberto(编辑),《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008,该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78497-5/pbk)。计算机科学课堂讲稿4962157-171(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

全部的 前3名

主字段