×

找到55份文件(结果1-55)

用逻辑验证切换系统的稳定性。 (英语) Zbl 07807710号

第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2022年)。
PDF格式BibTeX公司 XML格式引用

KeYmaera X的隐式定义和微分方程(系统描述)。 (英语) Zbl 07628218号

Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385, 723-733 (2022).
MSC公司:68伏15
PDF格式BibTeX公司 XML格式引用

常微分方程的演绎稳定性证明。 (英语) Zbl 1474.68195号

Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12652, 181-199 (2021).
PDF格式BibTeX公司 XML格式引用

建构性游戏逻辑。 (英语) Zbl 1508.03065号

Müller,Peter(编辑),《编程语言和系统》。2020年4月25日至30日在爱尔兰都柏林举行的第29届欧洲编程研讨会(ESOP 2020),是欧洲软件理论与实践联合会议(ETAPS 2020)的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12075, 84-111 (2020).
PDF格式BibTeX公司 XML格式引用

可验证安全的越野强化学习。 (英语) Zbl 1527.68175号

Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11427, 413-430 (2019).
PDF格式BibTeX公司 XML格式引用

病媒屏障证书和比较系统。 (英语) Zbl 1460.93012号

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

微分方程公理化。不同鬼魂令人印象深刻的力量。 (英语) Zbl 1453.03026号

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

混合动态信息流的混合动态逻辑。 (英语) Zbl 1497.68289号

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

混合系统的验证。 (英语) Zbl 1392.68246号

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

混合系统组件验证的变更和延迟合同。 (英语) 兹比尔1430.68154

Huisman,Marieke(编辑)等人,《软件工程的基本方法》,第20届国际会议,2017年FASE,作为欧洲软件理论与实践联合会议的一部分,2017年ETAPS,2017年4月22日至29日,瑞典乌普萨拉。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10202, 134-151 (2017).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Bellerophon:混合系统的战术定理证明。 (英语) Zbl 1483.68191号

Ayala Rincón,Mauricio(编辑)等人,交互定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 207-224 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

微分细化逻辑。 (英语) Zbl 1401.68204号

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

多项式连续系统的不变量生成方法。 (英语) Zbl 1475.68194号

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

动力总成控制系统的数字辅助演绎安全证明。 (英语) Zbl 1351.68150号

Bogomolov,Sergiy(编辑)等人,基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》317,19-25(2015)。
MSC公司:60年第68季度 68吨15 93立方
PDF格式BibTeX公司 XML格式引用
全文: 内政部

KeYmaera X:混合系统的公理化战术定理证明器。 (英语) Zbl 1465.68281号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 527-538 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

微分动态逻辑的统一代换演算。 (英语) Zbl 1465.03056号

Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日,德国柏林,第25届自动扣款国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195, 467-481 (2015).
PDF格式BibTeX公司 XML格式引用

正确的系统设计。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。 (英语) Zbl 1320.68024号

计算机科学课堂讲稿9360.查姆:施普林格(ISBN 978-3-319-23505-9/pbk;978-3-3169-23506-6/电子书)。xii,279页。(2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于检查代数集微分不变性的证明规则层次。 (英语) Zbl 1432.68262号

D’Souza,Deepak(编辑)等人,《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议,VMCAI 2015。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8931, 431-448 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

dTL(^{2}):混合系统中具有嵌套时间的差分时间动态逻辑。 (英语) Zbl 1423.68283号

Demri,Stéphane(编辑)等人,《自动推理》。2014年7月19日至22日,第七届国际联合会议(IJCAR 2014)在奥地利维也纳举行,作为维也纳逻辑之夏的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8562, 292-306 (2014).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统的完全证明理论。 (英语) Zbl 1364.03045号

2012年第27届ACM/IEEE年度计算机科学逻辑研讨会论文集,LICS 2012,克罗地亚杜布罗夫尼克,2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-4769-5)。541-550 (2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动力系统的逻辑。 (英语) Zbl 1362.68178号

2012年6月25日至28日,克罗地亚杜布罗夫尼克,2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2012。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-4769-5)。13-24(2012年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统的逻辑分析。一个复杂挑战的完整答案。 (英语) Zbl 1304.68131号

Kutrib,Martin(编辑)等人,《形式系统的描述复杂性》。2012年7月23日至25日在葡萄牙布拉加举行的第14届DCFS 2012国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-31622-7/pbk)。计算机科学课堂讲稿7386,43-49(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

方程微分不变量的微分算子方法(特邀论文)。 (英语) Zbl 1360.68596号

Beringer、Lennart(编辑)等,《交互式定理证明》。第三届国际会议,2012年ITP,美国新泽西州普林斯顿,2012年8月13-15日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-32346-1/pbk)。计算机科学课堂讲稿7406,28-48(2012)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量化微分不变量。 (英语) Zbl 1362.93071号

2011年4月12日至14日,美国伊利诺伊州芝加哥,HSCC 2011,第14届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0629-4)。63-72 (2011).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

随机混合程序的随机微分动态逻辑。 (英语) Zbl 1341.68030号

Björner,Nikolaj(编辑)等人,《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22437-9/pbk;978-3-442-22438-6/电子书)。计算机科学课程讲稿6803。人工智能课堂讲稿,446-460(2011)。
MSC公司:68号30 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

贝叶斯统计模型检查及其在Simulink/Stateflow验证中的应用。 (英语) Zbl 1361.68154号

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

分布式混合系统的量化微分动态逻辑。 (英语) Zbl 1287.03075号

Dawar,Anuj(编辑)等人,《计算机科学逻辑》。2010年8月23日至27日在捷克共和国布尔诺举行的第24届CSL 2010国际研讨会,EACSL第19届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15204-7/pbk)。计算机科学课堂讲稿6247469-483(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

真实验证。 (英语) Zbl 1250.68197号

Schmidt,Renate A.(编辑),自动扣除-CADE-22。第22届自动扣款国际会议,2009年8月2日至7日,加拿大蒙特利尔。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02958-5/pbk)。计算机科学讲座笔记5663。人工智能课堂讲稿,485-501(2009)。
MSC公司:60年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

KeYmaera:混合系统的混合定理证明器。(系统描述)。 (英语) Zbl 1165.68469号

阿曼多、亚历山德罗(编辑)等,《自动推理》。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。柏林:施普林格出版社(ISBN 978-3-540-71069-1/pbk)。计算机科学课堂讲稿5195。《人工智能讲义》,171-178(2008)。
MSC公司:68吨15 60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算混合系统的微分不变量作为固定点。 (英语) Zbl 1155.68445号

Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123176-189(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向混合动态系统的混合动态逻辑。 (英语) Zbl 1278.03048号

Patrick Blackburn等人,《混合逻辑国际研讨会论文集》(HyLo 2006),西雅图,华盛顿州,美国,2006年8月11日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第6期,第63-77页(2007年)。
MSC公司:03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于混合系统推理的微分逻辑。 (英语) Zbl 1221.03023号

Bempoad,Alberto(编辑)等人,《混合系统:计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71492-7/pbk)。计算机科学课堂讲稿4416,746-749(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

混合系统模型检测中的图像计算问题。 (英语) Zbl 1221.93118号

Bempoad,Alberto(编辑)等人,《混合系统:计算和控制》。2007年4月3日至5日在意大利比萨举行的2007年HSCC第十届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71492-7/pbk)。计算机科学课堂讲稿4416,473-486(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

交通应用中协作、控制和设计的自动化验证。 (英语) Zbl 1151.68476号

Jones,Cliff B.(编辑)等人,《形式化方法和混合实时系统》。纪念迪内斯·比约纳和周朝晨70岁生日的文章。柏林:施普林格出版社(ISBN 978-3-540-75220-2/pbk)。计算机科学课堂讲稿4700,115-169(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于验证混合系统不变量的时序动态逻辑。 (英语) Zbl 1132.03338号

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

用于验证参数混合系统的微分动态逻辑。 (英语) Zbl 1132.68478号

Olivetti,Nicola(编辑),《使用分析表和相关方法的自动推理》。第16届国际会议,2007年7月3日至6日,法国普罗旺斯艾克斯TABLEAUX。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73098-9/pbk)。计算机科学课堂讲稿4548。人工智能课堂讲稿,216-232(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有非刚性函数的动态逻辑。 (英语) Zbl 1222.03030号

Furbach,Ulrich(编辑)等人,《自动推理》。2006年8月17日至20日,第三届国际联合会议,IJCAR 2006,美国华盛顿州西雅图。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37187-8/pbk)。计算机科学讲义4130。人工智能课堂讲稿,266-280(2006)。
MSC公司:03B70号 68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

出版年份