×

找到116份文件(结果1-100)

100
马查克斯

条件稳定模型检验的分而治之方法。 (英语) Zbl 07500640

Cerone,Antonio(ed.)等人,《计算的理论方面——ICTAC 2021》,第18届国际学术讨论会,虚拟事件,哈萨克斯坦努尔苏丹,2021年9月8日至10日。会议记录。查姆:斯普林格。选择。笔记计算。科学。12819,105-111(2021年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

低维离散线性动力系统的LTL模型检验。 (英语) Zbl 07559425

Esparza,Javier(ed.)等人,《第45届计算机科学数学基础国际研讨会》,MFCS 2020,2020年8月25-26日,捷克共和国布拉格。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。170,第54条,第14页(2020年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于动作的模型检查:逻辑、自动机和归约。 (英语) 兹布1478.68175

Lahiri,Shuvendu Kumar(编辑)等人,计算机辅助验证。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21-24日。会议记录。第二部分。查姆:斯普林格。选择。笔记计算。科学。1222577-100(2020年)。
理学硕士:68Q60型 03B44号 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

在对抗环境中使用安全控制屏障证书的线性时序逻辑满足。 (英语) 兹布1440.68038

Alpcan,Tansu(ed.)等人,《安全决策与博弈论》。第十届国际会议,2019年10月30日至11月1日,瑞典斯德哥尔摩。会议记录。查姆:斯普林格。选择。笔记计算。科学。11836385-403(2019年)。
PDF格式 BibTeX公司 XML 引用

量化策略逻辑中的界限。 (英语) Zbl 07533348

Ghica,Dan R.(ed.)等人,《第27届EACSL计算机科学逻辑年会》,CSL 2018,英国伯明翰,2018年9月4日至8日,会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。119,第23条,第23页(2018年)。
理学硕士:03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

超属性规范和验证的团队语义。 (英语) Zbl 07378327

Potapov,Igor(编辑)等,第43届计算机科学数学基础国际研讨会。MFCS 2018,英国利物浦,2018年8月27-31日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。117,第10条,第16页(2018年)。
理学硕士:68季度
PDF格式 BibTeX公司 XML 引用

基于自动机的CTL成员资格标准。 (英语) Zbl 07298740

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2018,英国牛津,2018年7月9-12日。纽约,纽约:计算机械协会(ACM)。155-164(2018年)。
理学硕士:68Q45号 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

LTL算法及其在递阶系统推理中的应用。 (英语) Zbl 1415.68144

Barthe,Gilles(ed.)等人,LPAR-22。第22届编程逻辑、人工智能和推理国际会议,埃塞俄比亚阿瓦萨,2018年11月17-21日。论文选集。曼彻斯特:轻松。史诗服务器。计算机。57343-362(2018年)。
理学硕士:68Q60型 03B44号 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

一种并行线性时序逻辑表。 (英语) Zbl 1483.68133

Bouyer,Patricia(ed.)等人,《第八届游戏、自动机、逻辑和形式验证国际研讨会论文集》,甘道夫2017年,意大利罗马,2017年9月20日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。理论。计算机。科学。(EPTCS)256166-179(2017年)。
理学硕士:68问10 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 阿尔十四 链接

平面冻结长期贷款的复杂性。 (英语) Zbl 1442.68102号

Meyer,Roland(ed.)等人,第28届并发理论国际会议。CONCUR 2017,德国柏林,2017年9月5日至8日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik公司。LIPIcs–莱布尼茨国际程序。通知。85,第33条,第16页(2017年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

哥德尔逻辑与FO-LTL的完全装箱片段。 (英语) Zbl 1402.03025

Eiter,Thomas(ed.)等人,LPAR-21。第21届编程逻辑、人工智能和推理国际会议,博茨瓦纳莫恩,2017年5月8日至12日。论文精选。曼彻斯特:轻松。EPiC Series in Computing 46,404-416(2017年)。
理学硕士:03B44号 03B50型 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

关于一阶线性时序逻辑中的有限域。 (英语) Zbl 1398.68252

Artho,Cyrille(编辑)等人,《验证和分析自动化技术》。第14届国际研讨会,ATVA 2016,日本千叶,2016年10月17-20日。会议记录。查姆:斯普林格(ISBN 978-3-319-46519-7/pbk;978-3-319-46520-3/电子书)。计算机科学课堂讲稿9938211-226(2016)。
理学硕士:68问25 03B44号 68问17
PDF格式 BibTeX公司 XML 引用
全文: 内政部 哈尔

即时延迟。 (英语) Zbl 1391.68073

Lal,Akash(ed.)等人,《第36届IARC软件技术和理论计算机科学基础年会》(FSTTCS 2016),印度钦奈,2016年12月13-15日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-027-9)。LIPIcs–莱布尼茨国际信息学论文集65,第43条,第14页。(2016年)。
PDF格式 BibTeX公司 XML 引用

在一台反自动机上进行模型检验。 (英语) Zbl 1392.68257

Desharnais,Josée(ed.)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23-26日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学论文集59,第29条,第14页(2016年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

概率系统中的频率LTL。 (英语) Zbl 1374.68284号

Aceo,Luca(ed.)等人,第26届并发理论国际会议,CONCUR'15,西班牙马德里,2015年9月1日至4日,会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,184-197(2015)。
理学硕士:68Q60型 03B44号 6887年
PDF格式 BibTeX公司 XML 引用

具有局部约束的时态逻辑(邀请谈话)。 (英语) Zbl 1373.03020号

Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL'15,柏林,德国,2015年9月7-10日。会议记录。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,2-13(2015)。
理学硕士:03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

基于SMT的抽象参数时间规划。 (英语) Zbl 1366.68009

Koutny,Maciej(ed.)等人,《Petri网上的事务和其他并发模型》,柏林:Springer(ISBN 978-3-662-48649-8/pbk;978-3-662-48650-4/ebook)。《计算机科学课堂讲义9410》,《亚线期刊》,55-83(2015年)。
理学硕士:68米11 68T30型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用面向集合的方法对动力系统进行统计验证。 (英语) Zbl 1364.93753号

《第18届ACM混合系统国际会议论文集:计算与控制》,HSCC 2015,美国华盛顿州西雅图,2015年4月14-16日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-3433-4)。169-178(2015年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

一个可扩展的Petri网分析工具。 (英语) Zbl 1432.68309

Devillers,Raymond(ed.)等人,Petri网和并发的应用和理论。第36届国际会议,2015年6月21日至26日,比利时布鲁塞尔,PETRI网,会议记录。查姆:斯普林格。选择。笔记计算。科学。9115200-211(2015年)。
理学硕士:6885年 68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

欧米茄正则对策可容许性的复杂性。 (英语) Zbl 1401.68110号

EACSL第二十三届计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录,2014年7月14日至18日,奥地利维也纳,加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第23号文件,第10页(2014年)。
PDF格式 BibTeX公司 XML 引用

线性时序逻辑的权重监控:复杂性和可判定性。 (英语) Zbl 1401.68182号

EACSL第二十三届计算机科学逻辑年会和2014年第29届ACM/IEEE计算机科学逻辑研讨会联席会议记录,2014年7月14日至18日,奥地利维也纳,加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第11号论文,第10页(2014年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

半环上加权一阶逻辑的特征。 (英语) Zbl 1398.68321

Muntean,Traian(编辑)等人,《代数信息学》。2013年第五届国际会议,2013年9月3日至6日,法国波克罗尔斯,会议记录。柏林:斯普林格出版社(ISBN 978-3-642-40662-1/pbk)。计算机科学课堂讲稿8080247-259(2013)。
理学硕士:68Q45号 03B44号 03D05年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用线性时序逻辑验证技术系统模型。 (英语。俄文原件) Zbl 1258.93019

自动驾驶。远程控制 73,第9期,1539-1552(2012年); 翻译自Avtom。泰勒梅克。2012年,第9期,第124-140期(2012年)。
理学硕士:93A30型 93C95型 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

从SCR规范生成测试向量的基于过程代数的策略。 (英语) Zbl 1372.68166号

Gheyi,Rohit(ed.)等人,《形式方法:基础和应用》。第15届巴西研讨会,2012年SBMF,巴西纳塔尔,2012年9月23-28日。会议记录。柏林:斯普林格出版社(ISBN 978-3-642-33295-1/pbk)。计算机科学课堂讲稿749867-82(2012)。
理学硕士:68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

自治随机混杂系统的定量自动机模型检验。 (英语) Zbl 1361.68130号

第14届ACM混合系统国际会议记录:计算与控制,HSCC 2011,芝加哥,伊利诺伊州,美国,2011年4月12-14日。纽约,纽约:计算机械协会(ACM)(ISBN 978-1-4503-0629-4)。83-92(2011年)。
理学硕士:68Q60型 68Q45号 6887年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

CUDA加速LTL模型检查-再次访问。 (英语) Zbl 1247.68157

Matyska,Ludek(ed.)等人,《计算机科学中数学和工程方法第六期博士研讨会》(MEMICS'10),2010年10月22日至4日,捷克共和国米库洛夫。精选论文。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-22-4)。OASIcs–OpenAccess信息学系列16,1-8,仅电子版(2011年)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

离散时间和连续空间动态系统上\(\text{CTL}^*\)的可计算语义。 (英语) Zbl 1238.68084

理学硕士:68Q60型 03B44号 03B70型
PDF格式 BibTeX公司 XML 引用
全文: 内政部

直到的历史。 (英语) Zbl 1345.03031

Bolander,Thomas(ed.)等人,《第六届模态方法研讨会论文集》(M4M-6 2009),丹麦哥本哈根,2009年11月12日至14日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记262189-204(2010)。
理学硕士:03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

战略能力的模型检验逻辑:复杂性。 (英语) Zbl 1201.68070

Dastani,Mehdi(ed.)等人,多智能体系统的规范和验证。维比·范德霍克的前言。多德雷赫特:斯普林格(ISBN 978-1-4419-6983-5/hbk;978-1-4419-6984-2/电子书)。125-159(2010年)。
PDF格式 BibTeX公司 XML 引用
全文: 内政部

任意线性时间上的自动机和时序逻辑。 (英语) Zbl 1248.68293

Kannan,Ravi(ed.)等人,IARC软件技术和理论计算机科学基础年会(FSTTCS 2009),2009年12月15日至17日,印度坎普尔。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-13-2)。LIPIcs–莱布尼茨国际信息学论文集4,133-144,仅电子版(2009年)。
理学硕士:68Q45号 03D05年 03B44号
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

Büchi自动机空性检测算法的比较。 (英语) Zbl 1247.68164

Hlinený,Petr(ed.)等人,计算机科学中数学和工程方法年度博士研讨会(MEMICS'09)。论文选自2009年11月13日至15日在捷克共和国兹诺伊莫举行的研讨会上的演讲。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik(ISBN 978-3-939897-15-6)。OASIcs–信息学中的OpenAccess系列13,18-26,仅电子版(2009年)。
理学硕士:68Q60型 68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部

用FDR模型检验提升中的LTL公式。 (英语) Zbl 1211.68252

Leuschel,Michael(ed.)等人,《集成形式方法》。第七届国际会议,IFM 2009,德国杜塞尔多夫,2009年2月16-19日,会议记录。柏林:斯普林格出版社(ISBN 978-3-642-00254-0/pbk)。计算机科学课堂讲稿5423231-245(2009)。
理学硕士:68Q60型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

自动机:从逻辑到算法。 (英语) Zbl 1234.03026

Flum,Jörg(ed.)等人,《逻辑与自动机》。历史和观点。献给沃尔夫冈·托马斯六十岁生日。阿姆斯特丹:阿姆斯特丹大学出版社(ISBN 978-90-5356-576-6/pbk)。《逻辑与游戏文本》第629-736页(2008年)。
理学硕士:03D05年 68Q45号 68Q60型
PDF格式 BibTeX公司 XML 引用

通过断点构造为大多数LTL公式生成确定性\(\omega\)-自动机。 (英语) Zbl 1156.68038

Scholl,Christopf(ed.)等人,《方法与方法》,模型与验证。Ausgewählte Beiträge vom 11.GI/ITG/GMM研讨会,布雷斯高,3.-5.Mäz 2008.亚琛:Shaker Verlag(ISBN 978-3-8322-6962-3/pbk)。Berichte aus der Informatik,119-128(2008年)。
理学硕士:68Q60型 03B44号 03D05年
PDF格式 BibTeX公司 XML 引用

关于相互作用下推系统的分析。 (英语) Zbl 1295.68159

第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,2007年1月17-19日,法国尼斯,纽约:计算机械协会(ACM)(ISBN 1-59593-575-4)。303-314(2007年)。
理学硕士:68Q60型 68N30型 6885年
PDF格式 BibTeX公司 XML 引用
全文: 内政部

如何验证和利用基于组件的系统的精化。 (英语) Zbl 1185.68416

Virbitskaite,Irina(编辑)等人,《系统信息学的观点》。2006年6月27日至30日,俄罗斯新西伯利亚,2006年6月27日至30日,第六届国际安德烈·埃尔索夫纪念大会。柏林:斯普林格出版社(ISBN 978-3-540-70880-3/pbk)。计算机科学课堂讲稿4378297-309(2007)。
理学硕士:68Q60型
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

确定性\(\omega\)-自动机构造中的动态结巴。 (英语) Zbl 1139.68366

Holub,Jan(ed.)等人,《自动机的实现和应用》。2007年7月16日至18日,捷克共和国布拉格,CIAA 2007年第12届国际会议。柏林:斯普林格出版社(ISBN 978-3-540-76335-2/pbk)。计算机科学课堂讲稿478351-61(2007)。
理学硕士:68Q45号
PDF格式 BibTeX公司 XML 引用
全文: 内政部 链接

筛选结果依据…

文件类型

审查状态

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

分类

全部的 前3名

软件