×

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

从时间序列合成参数混合自动机。 (英语) Zbl 1522.68318号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。第20届国际研讨会,2022年亚洲电视协会,虚拟活动,2022年10月25日至28日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13505, 337-353 (2022).
PDF格式BibTeX公司 XML格式引用

从时间序列数据合成仿射动力学混合自动机。 (英语) Zbl 07807675号

2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2021年)。
PDF格式BibTeX公司 XML格式引用

时空插值。 (英语) Zbl 1511.68155号

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

寄存器监视器理论。 (英语) 兹比尔1497.68261

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。394-403 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模板多面体的反例引导细化。 (英语) Zbl 1452.68099号

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

双向嵌套加权自动机。 (英语) Zbl 1442.68087号

Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第5条,第16页(2017年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

定量监控自动机。 (英语) Zbl 1394.68207号

对手,Xavier(编辑),静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53412-0/pbk;978-3-562-53413-7/电子书)。计算机科学讲座笔记9837,23-38(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

概率语义下的定量自动机。 (英语) Zbl 1401.68155号

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

有界宽度的嵌套加权极限平均自动机。 (英语) Zbl 1398.68305号

Faliszewski,Piotr(编辑)等人,第41届计算机科学数学基础国际研讨会,2016年MFCS,波兰克拉科夫,2016年8月22日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-016-3)。LIPIcs–《莱布尼茨国际信息学论文集》58,第24条,第14页(2016)。
PDF格式BibTeX公司 XML格式引用

非线性系统分析的可伸缩静态杂交方法。 (英语) Zbl 1364.68243号

第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。155-164 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时I/O系统的Lipschitz鲁棒性。 (英语) Zbl 1475.68154号

Jobstmann,Barbara(编辑)等人,《验证、模型检查和抽象解释》。2016年1月17日至19日,第17届国际会议,VMCAI 2016,美国佛罗里达州圣彼得堡。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9583, 250-267 (2016).
PDF格式BibTeX公司 XML格式引用

目标折扣额问题。 (英语) Zbl 1401.68149号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年7月6日至10日,日本京都,LICS 2015。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。750-761(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

嵌套加权自动机。 (英语) Zbl 1401.68154号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年7月6日至10日,日本京都,LICS 2015。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。725-737 (2015).
PDF格式BibTeX公司 XML格式引用

编辑下推自动机的距离。 (英语) Zbl 1440.68151号

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 121-133 (2015).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

混合系统的模型测量。 (英语) Zbl 1362.68173号

第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。213-222 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有限状态传感器的Lipschitz鲁棒性。 (英语) 兹比尔1360.68559

Raman,Venkatesh(ed.)等人,第34届软件技术和理论计算机科学基础国际会议,FSTTCS 2014,印度新德里,2014年12月15日至17日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-77-4)。LIPIcs–莱布尼茨国际信息学论文集29,431-443(2014)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

从模型检查到模型测量。 (英语) Zbl 1390.68428号

D'Argenio,Pedro R.(编辑)等,CONCUR 2013–并发理论。第24届国际会议,CONCUR 2013,阿根廷布宜诺斯艾利斯,2013年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40183-1/pbk)。计算机科学课堂讲稿8052,273-287(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

接口模拟距离。 (英语) Zbl 1459.68097号

Faella,Marco(编辑)等人,第三届游戏、自动机、逻辑和形式验证国际研讨会,意大利那不勒斯,2012年9月6日至8日。诉讼程序。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)96,29-42(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

定量自动机的近似确定。 (英语) Zbl 1354.68147号

D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18,362-373(2012)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

确定折扣和自动机。 (英语) 兹比尔1247.68128

Marc Bezem(编辑),《计算机科学逻辑》(CSL’11)。2011年9月12日至15日,第25届国际研讨会,EACSL第20届年会,挪威卑尔根。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-32-3)。LIPIcs–莱布尼茨国际信息学会议录12,82-96,仅电子版(2011年)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

无限单词上的概率自动机:可判定性和不可判定性的结果。 (英语) Zbl 1305.68112号

Bouajjani,Ahmed(编辑)等人,《验证和分析自动化技术》。2010年9月21日至24日,第八届国际研讨会,ATVA 2010,新加坡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15642-7/pbk)。计算机科学讲座笔记6252,1-16(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

意思是支付自动机表达式。 (英语) Zbl 1287.68093号

Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269269-283(2010)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

概率加权自动机。 (英语) Zbl 1254.68133号

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

交替加权自动机。 (英语) 兹比尔1252.68167

库蒂·奥斯基(Kutyłowski),米洛斯·aw(编辑)等,《计算理论基础》。2009年9月2日至4日在波兰Wrocław举行的FCT 2009第17届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03408-4/pbk)。计算机科学讲座笔记5699,3-13(2009)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

目标有限的随机博弈。 (英语) 兹比尔1250.68185

Králović,Rastislav(编辑)等人,《2009年计算机科学的数学基础》。2009年8月24-28日,斯洛伐克High Tatras,Novy Smokovec,第34届国际研讨会,MFCS 2009。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03815-0/pbk)。计算机科学课堂讲稿5734,34-54(2009)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过量化目标提高合成质量。 (英语) Zbl 1242.68151号

Bouajjani,Ahmed(编辑)等人,《计算机辅助验证》。2009年6月26日至7月2日在法国格勒诺布尔举行的第21届CAV 2009国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02657-7/pbk)。计算机科学讲座笔记5643140-156(2009)。
PDF格式BibTeX公司 XML格式引用

定时奇偶游戏:复杂性和健壮性。 (英语) 兹比尔1171.68527

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

定量语言。 (英语) Zbl 1156.68449号

迈克尔·卡明斯基(编辑)等人,《计算机科学逻辑》。2008年9月16日至19日,在意大利贝蒂诺罗举行的第22届CSL国际研讨会,第17届EACSL年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87530-7/pbk)。计算机科学课堂讲稿5213,385-400(2008)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

在计时游戏中,用无限的内存换取均匀的随机性。 (英语) Zbl 1143.68479号

Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿498187-100(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有预算约束的控制器综合。 (英语) Zbl 1144.93312号

Egerstedt,Magnus(编辑)等人,《混合系统:计算和控制》。2008年4月22日至24日在美国密苏里州圣路易斯举行的2008年HSCC第11届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78928-4/pbk)。计算机科学课堂讲稿4981,72-86(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

战略逻辑。 (英语) Zbl 1151.03327号

Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703,59-73(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

限时游戏中的最短时间可达性。 (英语) Zbl 1171.68526号

Arge,Lars(编辑)等人,《自动化,语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会,ICALP 2007。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73419-2/pbk)。《计算机科学讲义》4596825-837(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广义平价博弈。 (英语) Zbl 1195.68053号

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

定时交替时间时序逻辑。 (英语) Zbl 1142.68049号

Asarin,Eugene(编辑)等人,《时间系统的形式化建模和分析》。第四届国际会议,FORMATS 2006,巴黎,法国,2006年9月25-27日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-45026-9/pbk)。计算机科学讲义4202,1-17(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

反链:一种检查有限自动机通用性的新算法。 (英语) Zbl 1188.68171号

Ball,Thomas(编辑)等人,《计算机辅助验证》。第18届国际会议,CAV 2006,美国华盛顿州西雅图,2006年8月17日至20日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义414417-30(2006)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

随机拉宾和斯特雷特博弈的策略改进。 (英语) Zbl 1151.68474号

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

量化定时系统之间的相似性。 (英语) Zbl 1175.68281号

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

仿射混合系统的自动矩形精化。 (英语) Zbl 1175.68243号

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

随机拉宾和斯特雷特博弈的复杂性。 (英语) Zbl 1085.68060号

Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿3580878-890(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计时游戏中的惊喜元素。 (英语) Zbl 1262.68141号

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

定时系统和混合系统控制问题的比较。 (英语) Zbl 1044.93518号

Tomlin,Claire J.(编辑)等人,《混合系统:计算和控制》。2002年3月25日至27日在美国加利福尼亚州斯坦福举行的2002年HSCC第五届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43321-X)。莱克特。注释计算。科学。2289, 134-148 (2002).
PDF格式BibTeX公司 XML格式引用
全文: 链接

矩形混合系统的符号模型检查。 (英语) Zbl 0960.68117号

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

混合自动机理论。 (英语) Zbl 0959.68073号

Inan,M.Kemal(编辑)等人,《数字和混合系统的验证》。《北约ASI会议记录》,土耳其安塔利亚,1997年5月26日至6月6日。柏林:斯普林格。北约ASI系列。,序列号。F、 计算。系统。科学。170, 265-292 (2000).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

定时系统和混合系统的鲁棒不可判定性。 (英语) Zbl 0944.93018号

Lynch,Nancy(编辑)等人,《混合系统:计算和控制》。2000年3月23日至25日在美国宾夕法尼亚州匹兹堡举行的HSCC 2000第三届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1790, 145-159 (2000).
PDF格式BibTeX公司 XML格式引用

矩形混合自动机的离散时间控制。 (英语) Zbl 1401.93099号

Degano,Pierpaolo(编辑)等人,《自动化,语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林:Springer-Verlag(ISBN 978-3-540-63165-1/pbk;978-3-540-69194-5/电子书)。计算机科学课堂讲稿1256,582-593(1997)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

矩形混合自动机的状态等价性。 (英语) Zbl 1514.68101号

Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第1119530-545页(1996年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

一种用于实时模型检查的空效实时算法。 (英语) 兹比尔1514.68168

Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 514-529 (1996).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

时钟的表现力。 (英语) Zbl 1412.68131号

Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,第22届国际学术讨论会,ICALP’95,匈牙利塞格德。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 417-428 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有有限互模拟的混合自动机。 (英语) Zbl 1412.68130号

Fülöp,Zoltán(编辑)等人,《自动化、语言和编程》。1995年7月10日至14日,第22届国际学术讨论会,ICALP’95,匈牙利塞格德。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。944, 324-335 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合自动机的决定因素是什么? (英语) Zbl 0978.68534号

第27届ACM计算理论年会论文集。1995年5月29日至6月1日,美国内华达州拉斯维加斯。纽约州纽约市:ACM,373-382(1995)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

混合系统的算法分析。 (英语) Zbl 0823.68067号

Cohen,Guy(编辑)等人,第11届系统分析和优化国际会议:离散事件系统。索菲亚·安蒂波利斯,法国,1994年6月15日至17日。柏林:Springer-Verlag。莱克特。票据控制信息科学。199331-351(1994)中描述。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

参数实时推理。 (英语) Zbl 1310.68139号

第25届ACM计算理论年会论文集,STOC'93。1993年5月16日至18日,美国加利福尼亚州圣地亚哥。纽约州纽约市:计算机协会(ACM)(ISBN 0-89791-591-7)。592-601 (1993).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

回到未来:走向定时正则语言理论。 (英语) Zbl 0977.68548号

第33届计算机科学基础年会。《程序集》,美国宾夕法尼亚州匹兹堡,1992年10月24日至27日。华盛顿特区:IEEE计算机学会出版社,177-186(1992)。
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份