×

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

时间自动机的分区验证:外推、模拟和下一步? (英语) Zbl 07643426号

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

并发图游戏中从局部到全局的确定性。 (英语) Zbl 07799619号

Bojañczyk,Mikołaj(编辑)等人,第41届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2021,虚拟会议,2021年12月15日至17日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213,第41条,第14页(2021年)。
MSC公司:68号30 68季度xx
PDF格式BibTeX公司 XML格式引用

随机系统的决定性及其在混合模型中的应用。 (英语) Zbl 07455746号

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326、149-165(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

存在动态链接的合成。 (英语) Zbl 07455739号

Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)32633-49(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司 链接

并发参数化游戏。 (英语) Zbl 07650328号

Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2019,印度孟买,2019年12月11日至13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150,第31条,第15页(2019年)。
MSC公司:68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参数化广播网络中的重新配置和消息丢失。 (英语) Zbl 07649940号

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

关于博弈论和验证的注释。 (英语) Zbl 1437.68113号

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

具有重叠轨迹的动力系统的有限互模拟。 (英语) Zbl 1528.68175号

Ghica,Dan R.(编辑)等人,第27届EACSL计算机科学逻辑年会,CSL 2018,英国伯明翰,2018年9月4-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。119,第26条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

战略逻辑中的依赖性。 (英语) Zbl 1484.68101号

Niedermeier,Rolf(编辑)等人,第35届计算机科学理论方面研讨会,2018年2月28日至3月3日,法国卡昂,STACS 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96,第34条,第15页(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格式引用
全文: 内政部 哈尔

第八届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2017,意大利罗马,2017年9月20日至22日。 (英语) 兹比尔1436.68017

理论计算机科学电子论文集(EPTCS)256.滑铁卢:开放出版协会(OPA)。第296页。,仅电子版,开放访问(2017年)。
PDF格式BibTeX公司 XML格式引用

时间时序逻辑。 (英语) Zbl 1431.03032号

Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆:斯普林格。莱克特。注释计算。科学。10460, 211-230 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

单反游戏中布尔目标的加权策略逻辑。 (英语) Zbl 1366.68166号

Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,69-83(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权Kripke结构的定量验证。 (英语) Zbl 1448.68287号

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

LTL平均值。 (英语) Zbl 1417.68098号

Baldan,Paolo(编辑)等人,CONCUR 2014——并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8704, 266-280 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

时间自动机中的鲁棒性。 (英语) Zbl 1407.68282号

Abdulla,Parosh Aziz(编辑)等,《可达性问题》。第七届国际研讨会,RP 2013,瑞典乌普萨拉,2013年9月24日至26日会议记录。柏林:斯普林格。莱克特。注释计算。科学。8169, 1-18 (2013).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机中的鲁棒可达性:基于游戏的方法。 (英语) Zbl 1367.68161号

Czumaj,Artur(编辑)等人,《自动化、语言和编程》。2012年7月9日至13日在英国考文垂举行的第39届国际学术讨论会,ICALP 2012。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-31584-8/pbk)。计算机科学课堂讲稿7392128-140(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

缩小时间自动机。 (英语) Zbl 1246.68159号

Chakraborthy,Supraik(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2011),印度孟买,2011年12月12-14日。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-34-7)。LIPIcs–莱布尼茨国际信息学会议录13,90-102,仅电子版(2011年)。
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 1333.68158号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756,246-257(2011)。
PDF格式BibTeX公司 XML格式引用

能量约束下带观测器的时间自动机。 (英语) Zbl 1361.68135号

第13届ACM混合系统国际会议论文集:计算与控制,HSCC 2010,瑞典斯德哥尔摩,2010年4月12-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-955-8)。61-70 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查时间时序逻辑。 (英语) Zbl 1347.68218号

Areces,Carlos(编辑)等人,《第五届模式方法研讨会论文集》(M4M5,2007年),法国卡尚,2007年11月29日至30日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记231323-341(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在有限对策中测量容许性。 (英语) Zbl 1254.91033号

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

关于时间自动机的扩展。 (英语) Zbl 1194.68132号

Lodaya,Kamal(编辑)等人,《并发视角》。为P.S.Thiagarajan举办的节日。海得拉巴:大学出版社;佛罗里达州博卡拉顿:CRC出版社(ISBN 978-1-4398-0943-3/hbk)。35-63 (2009).
PDF格式BibTeX公司 XML格式引用

随机时间博弈中的可达性。 (英语) Zbl 1248.91014号

Albers,Susanne(编辑)等人,《自动化,语言和编程》。2009年7月5日至12日,第36届国际学术讨论会,ICALP 2009,希腊罗兹。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-02929-5/pbk)。计算机科学课堂讲稿5556103-114(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

故障信道机器终止时。 (英语) Zbl 1259.68120号

Albers,Susanne(编辑)等人,STACS 2008。第25届计算机科学理论方面国际研讨会,法国波尔多,2008年2月21日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-06-4)。LIPIcs–莱布尼茨国际信息学会议录121-132,仅电子版(2008年)。
PDF格式BibTeX公司 XML格式引用

实时模型检查中的表达性和复杂性。 (英语) Zbl 1155.68426号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。第35届国际学术讨论会,2008年ICALP,冰岛雷克雅未克,2008年7月7日至11日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-540-70582-6/pbk)。计算机科学课堂讲稿5126124-135(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格式引用
全文: 内政部

成本太高了! (英语) Zbl 1142.68045号

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

时间自动机的概率语义和拓扑语义。 (英语) 兹比尔1135.68464

Arvind,V.(ed.)等人,FSTTCS 2007:软件技术和理论计算机科学基础。第27届国际会议,印度新德里,2007年12月12-14日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-77049-7/pbk)。计算机科学课堂讲稿4855179-191(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权o-极小混合系统比加权时间自动机更容易判定! (英语) Zbl 1132.68466号

Artemov,Sergei N.(编辑)等人,《计算机科学的逻辑基础》。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-72732-3/pbk)。计算机科学课堂讲稿4514,69-83(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查单时钟定价的时间自动机。 (英语) Zbl 1149.68400号

Seidl,Helmut(编辑),《软件科学和计算结构基础》。2007年3月24日至4月1日在葡萄牙布拉加举行的第十届国际会议FOSSACS 2007,该会议是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71388-3/pbk)。计算机科学课堂讲稿4423108-122(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权时间自动机:模型检查和游戏。 (英语) Zbl 1273.68197号

Brookes,Steve(ed.)等人,第22届编程语义数学基础年会(MFPS XXII)会议记录,意大利热那亚,2006年5月23日至27日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记158,3-17(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

时间自动机中线性时间属性的稳健模型检验。 (英语) Zbl 1145.68464号

Correa,JoséR.(编辑)等人,LATIN 2006:理论信息学。第七届拉丁美洲研讨会,2006年3月20日至24日,智利瓦尔迪维亚。诉讼程序。柏林:施普林格出版社(ISBN 3-540-32755-X/pbk)。计算机科学课堂讲稿3887,238-249(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于抽象瞬态的定时时间逻辑。 (英语) Zbl 1161.68576号

Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,337-351(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

时间自动机网络的时间展开。 (英语) Zbl 1161.68614号

Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,292-306(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

在一个时钟定价的计时游戏中,几乎是最佳策略。 (英语) Zbl 1177.68142号

Arun-Kumar,S.(编辑)等人,FSTTCS 2006:软件技术和理论计算机科学基础。第26届国际会议,印度加尔各答,2006年12月13日至15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-49994-7/pbk)。计算机科学课堂讲稿4337,345-356(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

MTL规范的控制器合成。 (英语) Zbl 1151.68471号

Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。《计算机科学讲义》4137,450-464(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用综合优化策略高超声速. (英语) Zbl 1272.68228号

de Alfaro,L.(编辑),《游戏设计与验证研讨会论文集》(GDV 2004),美国马萨诸塞州波士顿,2004年6月18日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记119,第1期,11-31(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

时间自动机中的对角线约束:时间系统的正向分析。 (英语) Zbl 1175.68256号

Pettersson,Paul(编辑)等人,定时系统的形式化建模和分析。第三届国际会议,FORMATS 2005,乌普萨拉,瑞典,2005年9月26-28日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-30946-2/pbk)。计算机科学课堂讲稿3829112-126(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机中几乎处处属性的一种新形式。 (英语) 兹比尔1134.68381

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653110-124(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时控制的模态逻辑。 (英语) 兹比尔1134.68399

Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿365381-94(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机基于区域抽象的上下限。 (英语) 兹比尔1126.68453

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

定价时间博弈自动机中的最优策略。 (英语) Zbl 1117.68396号

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

具有部分可观测性的定时控制。 (英语) Zbl 1278.68160号

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 180-192 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时间自动机验证中的静态保护分析。 (英语) Zbl 1031.68076号

Garavel,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2619, 254-270 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

可更新时间自动机的表达。 (英语) Zbl 0996.68121号

尼尔森、莫根斯(编辑)等人,《2000年计算机科学的数学基础》。2000年8月28日至9月1日在斯洛伐克布拉迪斯拉发举行的2000年MFCS第25届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1893, 232-242 (2000).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份