罗、二台;Kochdumper,尼克拉斯;斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 (英语) Zbl 07807958号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Luo}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023;Zbl 07807958) 全文: 内政部
Tran,Hoang Dung村;Choi、Sung Woo;杨晓东;山口,富古屋;巴德省霍克萨;丹尼尔·普罗霍罗夫 具有星可达性的递归神经网络的验证。 (英语) Zbl 07807947号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Tran}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第6号论文,第13页(2023;Zbl 07807947) 全文: 内政部
朱塞佩·斯奎拉克;米尔科·特里巴斯通;马克斯·柴科夫斯基;安德烈·范丁 一种将微分方程形式化简为过近似的算法。 (英语) Zbl 1522.93048号 布拉哈姆,埃里卡(编辑)等人,《系统的定量评估》。第19届国际会议,QEST 2022,波兰华沙,2022年9月12-16日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13479, 173-191 (2022).MSC公司:93B11号机组 93立方厘米 93个B03 92天30分 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Squillace}等人,Lect。票据计算。科学。13479,173--191(2022;Zbl 1522.93048) 全文: 内政部
杨晓东;汤姆,山口;Tran,Hoang-Dung村;巴德省霍克萨;泰勒·T·约翰逊。;丹尼尔·普罗霍罗夫 具有可达性分析的神经网络修复。 (英语) Zbl 07643437号 Bogomolov,Sergiy(编辑)等,时间系统的形式化建模和分析。2022年9月13日至15日,第20届国际会议,FORMATS 2022,波兰华沙。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13465, 221-236 (2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{X.Yang}等人,Lect。票据计算。科学。13465、221--236(2022;Zbl 07643437) 全文: 内政部 arXiv公司 链接
埃里克·古堡;Sylvie推杆 RINO:神经网络控制系统的鲁棒内、外近似可达性。 (英语) Zbl 1518.93013号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。13371, 511-523 (2022).MSC公司:93个B03 93磅70 93-08 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},Lect。票据计算。科学。13371、511--523(2022;Zbl 1518.93013) 全文: 内政部
斯坦利·巴克;塞尔吉·博戈莫洛夫;布兰登·亨西;Kochdumper,尼克拉斯;伊桑·卢;科斯蒂安·波托姆金 使用随机傅里叶特征观测值和多项式分区细化的Koopman线性化系统的可达性。 (英语) Zbl 1518.93012号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。13371, 490-510 (2022).MSC公司:93个B03 93B18号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人,Lect。票据计算。科学。13371、490--510(2022;Zbl 1518.93012) 全文: 内政部
Kori、Mayuko;Natsuki Urabe;胜本,Shin-ya;Kohei Suenaga公司;一郎·哈索 属性导向可达性分析的格理论本质。 (英语) Zbl 1514.68137号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。13371235-256(2022)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kori}等人,Lect。票据计算。科学。13371、235--256(2022年;Zbl 1514.68137) 全文: 内政部 arXiv公司
雅敏阿伊特阿默尔;塞尔吉·博戈莫洛夫;纪尧姆·杜邦;尼拉杰·库马尔·辛格;保利乌斯·斯坦凯蒂斯 混合Event-B模型的可达性分析和仿真。 (英语) Zbl 1502.68175号 ter Beek,Maurice H.(编辑)等,《综合形式方法》。2022年6月7日至10日,第17届国际会议,IFM 2022,瑞士卢加诺。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。13274, 109-128 (2022).MSC公司:60年第68季度 93立方 93立方厘米83 PDF格式BibTeX公司 XML格式引用 \textit{Y.Aït-Ameur}等人,Lect。票据计算。科学。13274,109-128(2022;Zbl 1502.68175) 全文: 内政部
Kochdumper,尼克拉斯;费利克斯·格鲁伯;巴斯蒂安·舒尔曼;维克托·加曼;莫里茨·克利沙特;马蒂亚斯·阿尔霍夫 AROC:用于自动可达集最优控制器综合的工具箱。 (英语) Zbl 07807696号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第23号论文,第6页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Kochdumper}et al.,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第23号论文,第6页(2021;Zbl 07807696) 全文: 内政部
马克·韦兹林格;阿德里安·库姆伯格;马蒂亚斯·阿尔霍夫 非线性系统可达性分析的自适应参数整定。 (英语) Zbl 07807689号 2021年5月19日至21日,美国田纳西州纳什维尔,第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分。纽约州纽约市:计算机协会(ACM)。第16号论文,第11页(2021年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人,in:第24届ACM混合系统国际会议论文集:计算与控制,HSCC 2021,CPS-IoT周的一部分,美国田纳西州纳什维尔,2021年5月19-21日。纽约州纽约市:计算机协会(ACM)。第16号论文,第11页(2021;Zbl 07807689) 全文: 内政部 链接
卢、晶波;何东杰;薛晶玲 \(k\)的选择性上下文敏感性-CFA公司具有CFL可达性。 (英语) Zbl 1497.68116号 Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至19日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12913, 261-285 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Lu}等人,Lect。票据计算。科学。12913,261--285(2021;Zbl 1497.68116) 全文: 内政部
高尔斯,埃里克;佩德罗·蒙塔雷格里;马丁·雷奥斯·威尔逊;他们是纪尧姆 关于树宽对冻结动力学计算复杂性的影响。 (英语) Zbl 1530.68147号 De Mol,Liesbeth(编辑)等人,《与可计算性的联系》。第17届欧洲可计算性会议,CiE 2021,虚拟事件,比利时根特,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12813, 260-272 (2021).MSC公司:65年第68季度 37B10号机组 2006年第68季度 2017年第68季度 65年第68季度 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{E.Goles}等人,Lect。票据计算。科学。12813260-272(2021年;兹比尔1530.68147) 全文: 内政部 arXiv公司 哈尔
洛依格·杰泽奎尔;莱姆,迪迪埃;巴斯蒂安塞雷 Petri网可达性分析的惰性查询方案。 (英语) Zbl 1489.68161号 Buchs,Didier(编辑)等人,Petri网和并发的应用和理论。第42届国际会议,PETRI NETS 2021,虚拟活动,2021年6月23日至25日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12734, 360-378 (2021).MSC公司:68问题85 60年第68季度 68周05 PDF格式BibTeX公司 XML格式引用 \textit{L.Jezequel}等人,Lect。票据计算。科学。12734,360-378(2021;Zbl 1489.68161) 全文: 内政部 哈尔
德克·拜尔;马蒂亚斯·丹格尔 PDR软件验证:最新技术的实现。 (英语) Zbl 1507.68178号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12078, 3-21 (2020).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}和\textit{M.Dangl},莱克特。票据计算。科学。12078,3--21(2020;Zbl 1507.68178) 全文: 内政部 arXiv公司
米哈伊尔·拉斯金;查纳·韦尔·肯尼迪;哈维尔·埃斯帕尔扎 即时观察Petri网的平坦性和复杂性。 (英语) Zbl 07559501号 Konnov,Igor(编辑)等人,第31届并发理论国际会议。CONCUR 2020,2020年9月1日至4日,奥地利维也纳,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171,第45条,第19页(2020年)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Raskin}等人,LIPIcs——莱布尼茨国际期刊。通知。171,第45条,第19页(2020;Zbl 07559501) 全文: 内政部 arXiv公司
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;科斯蒂安·波托姆金 案例研究:统一作战指挥与控制模型中的可达性和可扩展性。 (英语) Zbl 07368097号 Schmitz,Sylvain(编辑)等人,《可达性问题》。第14届国际会议,RP 2020,法国巴黎,2020年10月19-21日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12448, 52-66 (2020).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,Lect。票据计算。科学。12448,52-66(2020;Zbl 07368097) 全文: 内政部
马修·迪佩尔;拉维·桑达拉姆;阿克沙尔瓦尔马 可达序列的实现问题。 (英语) Zbl 1477.68219号 Kim,Donghyun(编辑)等人,《计算与组合学》。第26届国际会议,COCOON 2020,美国佐治亚州亚特兰大,2020年8月29日至31日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12273, 274-286 (2020).MSC公司:68兰特 2017年第68季度 65年第68季度 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{M.Dippel}等人,Lect。票据计算。科学。12273274--286(2020年;Zbl 1477.68219) 全文: 内政部
Tran,Hoang-Dung村;斯坦利·巴克;项伟明;泰勒·T·约翰逊。 使用ImageStars验证深度卷积神经网络。 (英语) Zbl 1478.68180号 Lahiri,Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。12224, 18-42 (2020).MSC公司:60年第68季度 68T07型 68T45型 68平方英寸10 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,Lect。票据计算。科学。12224,18-42(2020;Zbl 1478.68180) 全文: 内政部 arXiv公司
皮尔奇,卡琳娜;阿恩·哈特曼斯;安妮·雷姆克 具有随机触发的混合Petri网的经典和非营养模型检验。 (英语) Zbl 07300851号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第10条,第11页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Pilch}等人,在:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼和虚拟,2020年4月21-24日。纽约州纽约市:计算机协会(ACM)。第10条,第11页(2020;Zbl 07300851) 全文: 内政部 链接
埃尔哈基姆,维克托里奥·S。;Marco J.G.Bekooij。 混合自动机可达性分析中分解聚集的动态感知子空间识别。 (英语) Zbl 07300844号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第3条,第11页(2020)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.S.el Hakim}和\textit{M.J.G.Bekooij},摘自:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第3条,第11页(2020;Zbl 07300844) 全文: 内政部
Kochdumper,尼克拉斯;巴斯蒂安·舒尔曼;马蒂亚斯·阿尔霍夫 利用依赖关系获得可达集的子集。 (英语) Zbl 07300842号 第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼,虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第1条,第10页(2020年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Kochdumper}等人,in:第23届ACM混合系统国际会议论文集:计算与控制,HSCC 2020,澳大利亚悉尼与虚拟,2020年4月21日至24日。纽约州纽约市:计算机协会(ACM)。第1条,第10页(2020;Zbl 07300842) 全文: 内政部 arXiv公司
迈克尔·布隆丁;米哈伊尔·拉斯金 具有状态的仿射向量加法系统可达性的复杂性。 (英语) Zbl 1507.68210号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。224-236 (2020).MSC公司:68问题85 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}和\textit{M.Raskin},载于:2020年第35届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2020,虚拟活动,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。224--236(2020年;Zbl 1507.68210) 全文: 内政部 arXiv公司
普拉纳夫·阿肖克;克里希南德·查特吉;简·Křetínsk;马克西米利安·威宁格;托拜厄斯·温克勒 广义可达随机对策的近似值。 (英语) Zbl 1455.91035号 2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。102-115 (2020).MSC公司:91A15型 68周25 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{P.Ashok}等人,《2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集》,LICS 2020,虚拟事件,2020年7月8日至11日。纽约州纽约市:计算机协会(ACM)。102-115(2020;Zbl 1455.91035) 全文: 内政部 arXiv公司
哈维尔·埃斯帕尔扎;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪 即时观测Petri网的参数化分析。 (英语) Zbl 07796233号 Donatelli,Susanna(编辑)等人,《Petri网和并发的应用和理论》。第40届国际会议,2019年6月23日至28日,德国亚琛,PETRI NETS 2019,会议记录。查姆:斯普林格。莱克特。票据计算。科学。11522, 365-385 (2019).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,Lect。票据计算。科学。11522365-385(2019年;Zbl 07796233) 全文: 内政部 arXiv公司
克里斯蒂安·斯特纳格尔;Akihisa山田 重写终止和合流的可达性分析。 (英语) 兹伯利1527.68119 Vojnar,Tomáš(编辑)等人,《系统构建和分析的工具和算法》。2019年4月6日至11日,作为欧洲软件理论与实践联合会议(ETAPS 2019)的一部分,在捷克共和国布拉格举行了第25届国际会议TACAS 2019。诉讼程序。第一部分查姆:施普林格。莱克特。票据计算。科学。11427, 262-278 (2019).MSC公司:第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Sternagel}和\textit{A.Yamada},莱克特。票据计算。科学。11427、262--278(2019年;Zbl 1527.68119) 全文: 内政部
高嘉伟 关于多树和有界树宽DAG中最小权子序列的精细复杂度。 (英语) Zbl 07650224号 Jansen,Bart M.P.(编辑)等人,第14届参数化和精确计算国际研讨会,2019年IPEC,德国慕尼黑,2019月11日至13日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。148,第16条,第17页(2019年)。MSC公司:65年第68季度 68年第27季度 68瓦xx PDF格式BibTeX公司 XML格式引用 \textit{J.Gao},LIPIcs——莱布尼茨国际程序。通知。148,第16条,第17页(2019年;Zbl 07650224) 全文: 内政部
简·Křetínsk;托拜厄斯·梅根多夫 核心:马尔可夫决策过程的部分探索框架。 (英语) Zbl 07649913号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第5条,第17页(2019年)。MSC公司:60年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Křetínsk朣}和\textit{T.Meggendorfer},LIPIcs——莱布尼茨国际程序。通知。140,第5条,第17页(2019年;Zbl 07649913) 全文: 内政部
Tran,Hoang-Dung村;阮、滦越;纳撒尼尔·汉密尔顿;项伟明;泰勒·T·约翰逊。 高指数线性微分代数方程的可达性分析。 (英语) Zbl 1441.93021号 安德烈,埃蒂安(编辑)等,时间系统的形式化建模和分析。2019年8月27日至29日,荷兰阿姆斯特丹,第17届国际会议,FORMATS 2019。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11750160-177(2019年)。MSC公司:93个B03 93立方厘米 93立方厘米83 93磅70 PDF格式BibTeX公司 XML格式引用 \textit{H.-D.Tran}等人,Lect。票据计算。科学。11750、160-177(2019年;Zbl 1441.93021) 全文: 内政部 arXiv公司
苗族、东靖;蔡志鹏 关于可达性约简的硬度。 (英语) 兹伯利07172860 杜定珠(编辑)等,《计算与组合学》。第25届国际会议,COCOON 2019,中国西安,2019年7月29日至31日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11653, 445-455 (2019).MSC公司:68兰特 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Miao}和\textit{Z.Cai},Lect。票据计算。科学。11653、445--455(2019年;Zbl 07172860) 全文: 内政部
亚伦·伯恩斯坦;马克西米利安·普罗布斯特;克里斯蒂安·沃尔夫·尼尔森 近线性时间内强连接分量和单源可达性减少。 (英语) Zbl 1433.68637号 Charikar,Moses(ed.)等人,第51届ACM SIGACT计算理论研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。365-376(2019年)。MSC公司:68瓦40 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Bernstein}等人,in:第51届ACM SIGACT计算理论年会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。365-376(2019年;Zbl 1433.68637) 全文: 内政部 arXiv公司
沃伊切赫,切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 Petri网的可达性问题不是基本的。 (英语) Zbl 1433.68245号 Charikar,Moses(ed.)等人,第51届ACM SIGACT计算理论研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。24-33 (2019).MSC公司:68问题85 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人,in:第51届ACM SIGACT计算理论年度研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。24-33(2019年;Zbl 1433.68245) 全文: 内政部 arXiv公司 链接
乌特卡什古普塔;Preey Shah;阿克西,S。;彼得·霍夫曼 无序数据Petri网的连续可达性以PTime表示。 (英语) Zbl 1524.68217号 Bojañczyk,Mikołaj(编辑)等人,《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019,作为欧洲软件理论与实践联合会议的一部分,于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11425, 260-276 (2019).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Gupta}等人,Lect。票据计算。科学。11425260-276(2019年;兹比尔1524.68217) 全文: 内政部 arXiv公司
文茨拉夫·乔涅夫 增广区间马尔可夫链的可达性。 (英语) Zbl 07121138号 Filiot,Emmanuel(编辑)等人,《可达性问题》。第十三届国际会议,RP 2019,比利时布鲁塞尔,2019年9月11-13日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。1167479-92(2019年)。MSC公司:68问题85 60J20型 2017年第68季度 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Chonev},莱克特。票据计算。科学。11674、79-92(2019年;Zbl 07121138) 全文: 内政部 arXiv公司
伊恩·米切尔(Ian M.Mitchell)。;布齐斯,雅各布;安德烈·博利亚切韦茨 海报摘要:不变量、生存性和通过分区缩放进行的区分内核近似。 (英语) Zbl 07120167号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。268-269 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{I.M.Mitchell}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。268--269(2019;Zbl 07120167) 全文: 内政部
Souradeep杜塔;陈欣;苏斯米特·贾;桑卡拉纳拉亚南,斯里拉姆;阿什什·蒂瓦里 演示摘要:Sherlock–用于验证神经网络反馈系统的工具。 (英语) Zbl 07120164号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。262-263 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Dutta}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。262--263(2019年;Zbl 07120164) 全文: 内政部
皮尔雷·梅耶(Pierre-Jean Meyer);亚历克斯·德文波特;穆拉特·阿卡克 TIRA:区间可达性分析工具箱。 (英语) Zbl 07120158号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。224-229 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.-J.Meyer}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。224--229(2019;Zbl 07120158) 全文: 内政部 arXiv公司
Souradeep杜塔;陈欣;桑卡拉纳拉亚南,斯里拉姆 基于回归多项式规则推理的神经反馈系统可达性分析。 (英语) 兹伯利07120151 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。157-168 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Dutta}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。157-168(2019年;Zbl 07120151) 全文: 内政部
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林 JuliaReach:基于集合的可达性工具箱。 (英语) Zbl 07120139号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。39-44 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。39-44(2019年;Zbl 07120139) 全文: 内政部 arXiv公司
埃里克·古堡;Sylvie推杆 控制系统验证的内部和外部可达性。 (英语) Zbl 07120136号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。11-22 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Goubault}和\textit{S.Putot},in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,加拿大魁北克省蒙特利尔,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。11-22(2019;Zbl 07120136) 全文: 内政部
塞尔吉·博戈莫洛夫;戈兰·弗雷斯;阿米特·古龙;李东旭;乔治·马蒂乌斯;Rayarshi Ray 使用符号可达性和轨迹拼接对混合系统进行伪造。 (英语) Zbl 07120135号 2019年4月16日至18日,加拿大魁北克蒙特利尔,HSCC 2019,第22届ACM混合系统:计算和控制国际会议记录。纽约州纽约市:计算机协会(ACM)。1-10 (2019).MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第22届ACM混合系统国际会议论文集:计算与控制,HSCC 2019,蒙特利尔,魁北克,加拿大,2019年4月16-18日。纽约州纽约市:计算机协会(ACM)。1-10(2019;Zbl 07120135) 全文: 内政部
卜、雷;姜慧;陈欣;唐恩毅;李宣东 HAT:将线性混合自动机分析为标记转换系统。 (英语) Zbl 1518.68163号 Jones,Cliff(编辑)等人,实时和混合系统研讨会。在周朝晨教授80岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。11180, 85-104 (2018).MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Bu}等人,Lect。票据计算。科学。11180,85-104(2018;Zbl 1518.68163) 全文: 内政部
阿尔伯特·里扎尔迪;费比安·伊姆勒;巴斯蒂安·舒尔曼;马蒂亚斯·阿尔霍夫 一种经过正式验证的自动车辆运动规划器。 (英语) Zbl 1517.68251号 Lahiri,Shuvendu K.(编辑)等人,《验证和分析自动化技术》。第16届国际研讨会,2018年10月7日至10日,美国加利福尼亚州洛杉矶,ATVA 2018。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11138,75-90(2018)。MSC公司:60年第68季度 68T40型 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rizaldi}等人,Lect。票据计算。科学。11138,75-90(2018;Zbl 1517.68251) 全文: 内政部 链接
马哈茂德·萨拉马蒂;萨代赫·苏贾尼;鲁帕克·马朱姆达尔 CTMC和CTMDP的近似时限可达性:Lyapunov方法。 (英语) Zbl 1514.68146号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11024, 389-406 (2018).MSC公司:60年第68季度 03B70号 60J28型 87年第68季度 90立方厘米 93个B03 93二氧化碳 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{M.Salamati}等人,Lect。票据计算。科学。11024,389--406(2018;Zbl 1514.68146) 全文: 内政部 arXiv公司
塞巴斯蒂安·阿明;埃齐奥·巴托西;克里希南德·查特吉;Joost-Pieter卡托恩;安娜·索科洛娃 通过POMDP实现pMDP的参数无关策略。 (英语) Zbl 1514.68190号 McIver,Annabelle(编辑)等人,《系统的定量评估》。2018年9月4日至7日,第15届QEST国际会议,中国北京。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。11024, 53-70 (2018).MSC公司:87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{S.Arming}等人,Lect。票据计算。科学。11024,53-70(2018;Zbl 1514.68190) 全文: 内政部 arXiv公司
杰罗姆·费雷特;罗,金奎恩 通过正交模式集进行可达性分析。 (英语) Zbl 1529.92017年9月 Sanguinetti,Guido(编辑)等人,第七届静态分析和系统生物学国际研讨会论文集(SASB 2016),英国苏格兰爱丁堡大学,2016年9月7日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。335, 27-48 (2018).MSC公司:92立方厘米 92C40型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{J.费雷特}和\textit{K.Q.L椯},电子。注释Theor。计算。科学。335、27-48(2018;Zbl 1529.92017) 全文: 内政部
阿诺德·卡拉约尔;马修·黑格 下推可达博弈中的最优策略。 (英语) Zbl 1512.68150号 Potapov,Igor(编辑)等人,第43届计算机科学数学基础国际研讨会。2018年8月27日至31日,英国利物浦,MFCS 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117,第42条,第14页(2018年)。MSC公司:60年第68季度 65年第68季度 68瓦40 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}和\textit{M.Hague},LIPIcs——莱布尼茨国际程序。通知。117,第42条,第14页(2018;Zbl 1512.68150) 全文: 内政部
杰罗姆·勒鲁 具有状态的多项式向量加法系统。 (英语) Zbl 1499.68229号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第134条,第13页(2018年)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux},LIPIcs——莱布尼茨国际会议记录。通知。107,第134条,第13页(2018;Zbl 1499.68229) 全文: 内政部
穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈德·博阿贾尼;库马尔·纳拉扬。;普拉卡什·塞瓦桑 使用嵌套锁验证异步程序。 (英语) Zbl 1491.68105号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第11条,第14页(2018年)。MSC公司:60年第68季度 68号30 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}等人,LIPIcs——莱布尼茨国际程序。通知。93,第11条,第14页(2018;Zbl 1491.68105) 全文: 内政部
Ryo阿希达;Kotaro中川 \网格图可达性问题的(tilde{O}(n^{1/3})-空间算法。 (英语) Zbl 1489.68180号 Speckmann,Bettina(编辑)等人,第34届计算几何国际研讨会,2018年6月11日至14日,匈牙利布达佩斯,SoCG 2018。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。99,第5条,第13页(2018年)。MSC公司:68兰特 05C20号 05C85号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{R.Ashida}和\textit{K.Nakagawa},LIPIcs——莱布尼茨国际程序。通知。99,第5条,第13页(2018;Zbl 1489.68180) 全文: 内政部 arXiv公司
杰里米·芬曼。 有向图可达性的近似高效并行算法。 (英语) Zbl 1428.68360号 Diakonikolas,Ilias(编辑)等人,第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25日至29日。纽约州纽约市:计算机协会(ACM)。457-470 (2018).MSC公司:68宽10 68兰特 68瓦20 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{J.T.Fineman},in:第50届ACM SIGACT计算理论研讨会论文集,STOC’18,美国加利福尼亚州洛杉矶,2018年6月25-29日。纽约州纽约市:计算机协会(ACM)。457--470(2018;Zbl 1428.68360) 全文: 内政部 arXiv公司
穆罕默德·阿塞利劳;雅典娜·皮卡雷利 用于概率状态约束可达集数值计算的Hamilton-Jacobi-Bellman方法。 (英语) Zbl 1412.60114号 Falcone,Maurizio(编辑)等人,最优控制问题的数值方法。研讨会记录,意大利罗马,2017年6月19-23日。查姆:斯普林格。Springer INdAM系列。29, 1-22 (2018).MSC公司:60英尺60英寸 60小时10分 93E03型 49升25 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{M.Assellaou}和\textit{A.Picarelli},Springer INdAM Ser。29、1--22(2018;Zbl 1412.60114) 全文: 内政部 哈尔
马蒂亚斯·伦格;马吉德·扎马尼 不确定非线性系统的精确可达性分析。 (英语) Zbl 1417.93062号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。61-70 (2018).MSC公司:93个B03 93立方厘米 93立方厘米 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{M.Rungger}和\textit{M.Zamani},in:第21届ACM混合系统国际会议论文集:计算和控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。61-70(2018年;Zbl 1417.93062) 全文: 内政部 链接
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;Viry,Frédéric;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 通过低维集和高维矩阵的分解达到集近似。 (英语) Zbl 1417.93059号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。41-50 (2018).MSC公司:93个B03 93二氧化碳 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。41-50(2018;Zbl 1417.93059) 全文: 内政部 arXiv公司
马丁·伯茨;恭子马基诺 泰勒模型的严格可达性分析和区域分解。 (英语) Zbl 1515.65114号 阿巴特,亚历山德罗(编辑)等人,《数值软件验证》。第十届国际研讨会,2017年7月22日至23日,德国海德堡,NSV 2017。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10381, 90-97 (2017).MSC公司:65G40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Berz}和\textit{K.Makino},莱克特。票据计算。科学。10381,90-97(2017年;兹bl 1515.65114) 全文: 内政部
斯坦利·巴克;帕拉萨拉·斯里达尔·达吉拉拉 基于严格仿真的线性混合系统分析。 (英语) Zbl 1452.68098号 Legay,Axel(编辑)等人,《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议(TACAS 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。第一部分柏林:施普林格。莱克特。票据计算。科学。10205, 555-572 (2017).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}和\textit{P.S.Duggirala},莱克特。票据计算。科学。10205555--572(2017;Zbl 1452.68098) 全文: 内政部
卢卡斯·乔治亚迪斯;丹尼尔·格拉芙;意大利,朱塞佩·F·。;尼科斯·帕罗西迪斯;普尔泽米斯·乌兹南斯基 在\(\mathcal{O}(n^\omega\log n)\)时间内的所有路径2-可达性。 (英语) Zbl 1441.68183号 Chatzigianakis,Ioannis(编辑)等人,第44届自动化、语言和编程国际研讨会,2017年ICALP,波兰华沙,2017年7月10日至14日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。80,第74条,第14页(2017年)。MSC公司:68兰特 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{L.Georgiadis}等人,LIPIcs——莱布尼茨国际程序。通知。80,第74条,第14页(2017年;Zbl 1441.68183) 全文: 内政部 arXiv公司
迪特尔·范·梅尔凯贝克;乔塔姆·普拉克里亚 在太空环境中消除隔离的随机性。 (英语) Zbl 1440.68076号 O'Donnell,Ryan(编辑),第32届计算复杂性会议,CCC 2017,2017年7月6日至9日,拉脱维亚里加。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。79,第5条,第32页(2017年)。MSC公司:04年第68季度 2010年第68季度 2015年第68季度 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.van Melkebeek}和\textit{G.Prakriya},LIPIcs——莱布尼茨国际程序。通知。79,第5条,32 p.(2017;Zbl 1440.68076) 全文: 内政部
丹尼尔·宾厄姆;佩德罗·马查多·曼内斯·德卡斯特罗;安托万·维格纳龙 具有方向约束的平面细分中的可达性。 (英语) Zbl 1432.68490号 Aronov,Boris(编辑)等人,第33届计算几何国际研讨会。2017年7月4日至7日,澳大利亚布里斯班,SoCG 2017。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。77,第17条,第15页(2017年)。MSC公司:68单位05 2017年第68季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{D.Binham}等人,LIPIcs——莱布尼茨国际程序。通知。77,第17条,第15页(2017;Zbl 1432.68490) 全文: 内政部
德奥利维拉·奥利维拉,马特乌斯 线性项重写系统中的地面可达性和可接合性对于深度来说是固定参数可处理的。 (英语) Zbl 1398.68288号 郭炯(编辑)等,第十一届参数化精确计算国际研讨会(IPEC 2016),丹麦奥胡斯,2016年8月24-26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-023-1)。LIPIcs–莱布尼茨国际信息学论文集63,第25条,第12页(2017年)。MSC公司:第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveila},LIPIcs——莱布尼茨国际程序。通知。63,第25条,第12页(2017年;Zbl 1398.68288) 全文: 内政部
塞尔吉·博戈莫洛夫;米尔科·贾科布;托马斯·亨辛格(Thomas A.Henzinger)。;孔慧 混合系统的锥形抽象。 (英语) Zbl 1497.93109号 阿巴特,亚历山德罗(编辑)等,时间系统的形式化建模和分析。2017年9月5-7日在德国柏林举行的2017年FORMATS第15届国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10419, 116-132 (2017).MSC公司:93立方 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,Lect。票据计算。科学。10419、116--132(2017年;Zbl 1497.93109) 全文: 内政部
张启润;苏振东 通过线性连接语言可达性进行上下文相关数据分析。 (英语) Zbl 1380.68262号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。344-358 (2017).MSC公司:65年第68季度 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Zhang}和\textit{Z.Su},in:第44届ACM SIGPLAN编程语言原理研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。344--358(2017;Zbl 1380.68262) 全文: 内政部
意大利,朱塞佩·F·。;亚当·卡兹马尔兹;杰库布·奇奇;彼得·桑科夫斯基 平面有向图中减少的单源可达性。 (英语) Zbl 1370.05200元 Hatami,Hamed(ed.)等人,《第49届ACM SIGACT计算理论年度研讨会论文集》,STOC’17,加拿大魁北克省蒙特利尔,2017年6月19-23日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4528-6)。1108-1121 (2017).MSC公司:05C85号 05年10月 05C20号 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{G.F.Italiano}等人,in:第49届ACM SIGACT计算理论年会论文集,STOC’17,蒙特利尔,魁北克省,加拿大,2017年6月19-23日。纽约州纽约市:计算机协会(ACM)。1108--1121(2017;Zbl 1370.05200) 全文: 内政部 arXiv公司
卢卡·劳伦蒂;亚历山德罗·阿巴特;卢卡·博托卢西;卢卡·卡德利;塞斯卡,米兰;玛尔塔·奎亚特科夫斯卡 切换扩散的可达性计算,有限抽象,具有可验证和可调整的精度。 (英语) Zbl 1369.93728号 2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。55-64 (2017).MSC公司:93E25型 60小时10分 93个B03 60J10型 PDF格式BibTeX公司 XML格式引用 \textit{L.Laurenti}等人,《第20届ACM混合系统国际会议论文集:计算与控制》,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)。55-64(2017年;Zbl 1369.93728) 全文: 内政部
亚伯拉罕·维诺德(Abraham P.Vinod)。;霍姆乔杜里,白斯拉凡;Meeko M.K.Oishi。 使用傅立叶变换对不受控制的线性系统进行前向随机可达性分析。 (英语) Zbl 1369.93582号 2017年4月18日至20日,美国宾夕法尼亚州匹兹堡,2017年HSCC,第20届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4590-3)。35-44 (2017).MSC公司:93E03型 93个B03 93二氧化碳 65T99型 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Vinod}等人,《第20届ACM混合系统国际会议论文集:计算与控制》,HSCC 2017,匹兹堡,宾夕法尼亚州,美国,2017年4月18-20日。纽约州纽约市:计算机协会(ACM)。35-44(2017年;兹bl 1369.93582) 全文: 内政部 arXiv公司
阿德里安·蓬梅莱;马西奥·迪亚兹;泰瑟·图利 具有上部堆栈的下推系统的可达性分析。 (英语) Zbl 1485.68073号 Drewes,Frank(编辑)等人,《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10168, 447-459 (2017).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pommellet}等人,Lect。票据计算。科学。10168、447--459(2017;Zbl 1485.68073) 全文: 内政部 arXiv公司
亚历山大·罗卡;Thao Dang先生;埃里克·范雄;Jean-Marc穆利斯 可达性分析在铁稳态研究中的应用。 (英语) Zbl 1428.92044号 Cinquemani,Eugenio(编辑)等人,《混合系统生物学》。2016年10月20日至21日在法国格勒诺布尔举行的2016年HSB第五届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9957, 67-84 (2016).MSC公司:92立方厘米 92立方37 93个B03 93立方厘米 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Rocca}等人,Lect。票据计算。科学。9957,67-84(2016;Zbl 1428.92044) 全文: 内政部 链接
亨德里克·罗姆;Jens Oehlering公司;托马斯·海因茨;马蒂亚斯·阿尔霍夫 连续和混合系统的STL模型检查。 (英语) Zbl 1398.68347号 Artho,Cyrille(编辑)等人,《用于验证和分析的自动化技术》。2016年10月17日至20日,第14届国际研讨会,ATVA 2016,日本千叶。诉讼程序。查姆:施普林格(ISBN 978-3-319-46519-7/pbk;978-3-3169-46520-3/电子书)。计算机科学讲义9938,412-427(2016)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Roehm}等人,Lect。票据计算。科学。9938412--427(2016年;Zbl 1398.68347) 全文: 内政部 链接
雷诺·尼斯卡宁 一维状态的机器人游戏。 (英语) Zbl 1478.68194号 Larsen、Kim Guldstrand(编辑)等,《可达性问题》。2016年9月19-21日在丹麦奥尔堡举行的RP 2016第十届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。第9899页,第163-176页(2016年)。MSC公司:68问题85 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Niskanen},莱克特。票据计算。科学。9899,163--176(2016;Zbl 1478.68194) 全文: 内政部
洛依格·杰泽奎尔;莱姆,迪迪埃 分布式系统中的延迟可达性分析。 (英语) Zbl 1392.68305号 Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–莱布尼茨国际信息学学报59,第17条,第14页(2016年)。MSC公司:68问题85 64岁以下 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Jezequel}和\textit{D.Lime},LIPIcs——莱布尼茨国际程序。通知。59,第17条,第14页(2016;Zbl 1392.68305) 全文: 内政部
基尔蒂·乔达里 最佳双容错可达预言机。 (英语) Zbl 1388.68217号 Chatzigiannakis,Ioannis(编辑)等人,第43届自动化、语言和编程国际学术讨论会,2016年ICALP,意大利罗马,2016年7月12-15日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-013-2)。LIPIcs–Leibniz International Proceedings in Informatics 55,Article 130,13 p.(2016)。MSC公司:68兰特 68米15 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Choudhary},LIPIcs——莱布尼茨国际程序。通知。55,第130条,第13页(2016年;Zbl 1388.68217) 全文: 内政部
Stefano米诺波利;戈兰·弗雷斯 从模拟模型到使用紧急和松弛的混合自动机。 (英语) Zbl 1366.68148号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。287-296 (2016).MSC公司:65年第68季度 60年第68季度 68岁20岁 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Minopoli}和\textit{G.Frehse},in:第19届ACM混合系统国际会议论文集:计算和控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。287--296(2016年;Zbl 1366.68148) 全文: 内政部
亨德里克·罗姆;延斯·奥勒金;马蒂亚斯·沃尔;马蒂亚斯·阿尔霍夫 混合自动机的Reachset一致性测试。 (英语) Zbl 1366.68181号 第19届ACM混合系统国际会议论文集:计算与控制,2016年HSCC,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3955-1)。277-286(2016年)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Roehm}等人,in:第19届ACM混合系统国际会议论文集:计算与控制,HSCC 2016,奥地利维也纳,2016年4月12-14日。纽约州纽约市:计算机协会(ACM)。277--286(2016年;Zbl 1366.68181) 全文: 内政部 链接
明弘市穆拉斯;大雄县Terauchi;直纪小林;佐藤隆介;不,Hiroshi 高阶功能程序的时间验证。 (英语) Zbl 1347.68233号 Bodik,Rastislav(编辑)等人,第43届ACM SIGPLAN-SIGACT编程语言原则年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20日至22日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3549-2)。57-68 (2016).MSC公司:60年第68季度 68甲18 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Murase}等人,摘自:第43届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集,POPL’16,美国佛罗里达州圣彼得堡,2016年1月20-22日。纽约州纽约市:计算机协会(ACM)。57-68(2016;Zbl 1347.68233) 全文: 内政部
尤罕·博伊库特;费雯·佩利蒂埃;皮埃尔·雷蒂 非右线性项重写系统中同步树语言的可达性。 (英语) Zbl 1366.68107号 Lucanu,Dorel(编辑),重写逻辑及其应用。2016年4月2日至3日,第11届WRLA国际研讨会作为ETAPS的卫星活动在荷兰埃因霍温举行。修订了选定的论文。查姆:施普林格(ISBN 978-3-319-44801-5/pbk;978-3-3169-44802-2/电子书)。计算机科学讲义9942,64-81(2016)。MSC公司:第68季度第42季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Boichut}等人,Lect。票据计算。科学。9942,64-81(2016;Zbl 1366.68107) 全文: 内政部
Edon Kelmendi;雨果·金伯特 半盲随机对策中最大最小可达性的判定。 (英语) Zbl 1403.91033号 Gairing,Martin(编辑)等人,《算法博弈论》。2016年9月19-21日,第九届SAGT国际研讨会,英国利物浦。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53353-6/pbk;978-3-562-53354-3/电子书)。计算机科学讲义9928,52-63(2016)。MSC公司:91A15型 91A05型 91-04 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kelmendi}和\textit{H.Gimbert},莱克特。票据计算。科学。9928,52-63(2016;Zbl 1403.91033) 全文: 内政部 arXiv公司 哈尔
阿尔贝托·丹尼恩齐奥;恩里科·福门蒂;卢卡·曼佐尼;安东尼奥·波雷卡(Antonio E.Porreca)。 资源受限反应系统中的可达性。 (英语) Zbl 1443.68065号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9618, 592-602 (2016).MSC公司:2007年第68季度 65年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{A.Dennunzio}等人,Lect。票据计算。科学。9618592--602(2016;Zbl 1443.68065) 全文: 内政部 链接
大卫·布雷索林;卢卡·杰雷蒂;里卡多·穆拉多尔;保罗·菲奥里尼;蒂齐亚诺别墅 应用于机器人手术的形式验证。 (英语) Zbl 1403.93140号 van Schuppen,Jan H.(编辑)等人,《分布式系统的协调控制》。查姆:施普林格(ISBN 978-3-319-10406-5/pbk;978-3-316-10407-2/电子书)。《控制与信息科学课堂讲稿》456347-355(2015)。MSC公司:93C85号 93个B03 90秒25 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Lect。票据控制信息科学。456347-355(2015年;Zbl 1403.93140) 全文: 内政部
大卫·布雷索林;卢卡·杰雷蒂;蒂齐亚诺别墅;彼得·柯林斯 混合系统验证介绍阿里阿德涅. (英语) Zbl 1403.93108号 van Schuppen,Jan H.(编辑)等人,《分布式系统的协调控制》。查姆:施普林格(ISBN 978-3-319-10406-5/pbk;978-3-316-10407-2/电子书)。《控制与信息科学课堂讲稿》456339-346(2015)。MSC公司:93立方 93B40码 93个B03 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Lect。票据控制信息科学。456339-346(2015;Zbl 1403.93108) 全文: 内政部
杰罗姆·勒鲁;西尔万·施密茨 向量加法系统可达性的解密。 (英语) 兹比尔1392.68308 2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年7月6日至10日,日本京都,LICS 2015。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。56-67 (2015).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}和\textit{S.Schmitz},摘自:2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年LICS,日本京都,2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。56-67(2015;Zbl 1392.68308) 全文: 内政部 arXiv公司
迈克尔·布隆丁;阿兰·芬克尔;斯特凡·戈勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 具有状态的二维向量加法系统的可达性是PSPACE完备的。 (英语) Zbl 1401.68095号 2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年7月6日至10日,日本京都,LICS 2015。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。32-43 (2015).MSC公司:2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,in:2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年LICS,日本京都,2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。32-43(2015;Zbl 1401.68095) 全文: 内政部 arXiv公司
哈伊姆·卡普兰;沃尔夫冈·穆尔泽;利亚姆·罗德蒂;保罗·塞弗特 用于有向传输图的扳手和可达性预言器。 (英语) Zbl 1378.68176号 Arge,Lars(编辑)等人,第31届计算几何国际研讨会,SoCG’15,荷兰埃因霍温,2015年6月22日至25日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-83-5)。LIPIcs–莱布尼茨国际信息学论文集34,156-170(2015)。MSC公司:68单位05 68第05页 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{H.Kaplan}等人,LIPIcs——莱布尼茨国际程序。通知。34、156-170(2015年;Zbl 1378.68176) 全文: 内政部
托马斯·布里海耶;吉勒·杰勒茨;阿克塞尔·哈达德;本杰明·蒙梅格 到达还是不到达?全对弈游戏的高效算法。 (英语) Zbl 1376.91038号 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,297-310(2015)。MSC公司:91A43型 91A05型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,LIPIcs——莱布尼茨国际程序。通知。42、297--310(2015;Zbl 1376.91038) 全文: 内政部 arXiv公司
洛伦佐·克莱门特;帕里斯(Pawe Parys);西尔万·萨尔瓦蒂;伊戈尔·瓦卢基维奇 有序的树下推系统。 (英语) Zbl 1366.68141号 Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16日至18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,163-177(2015)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人,LIPIcs——莱布尼茨国际程序。通知。45、163--177(2015年;Zbl 1366.68141) 全文: 内政部 arXiv公司
肯德拉·莱斯尔;Meeko Oishi先生 部分可观测随机混合系统验证的有限状态近似。 (英语) Zbl 1364.93382号 第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。159-168(2015年)。MSC公司:93立方 93E03型 90立方厘米 90立方厘米 60年第68季度 93个B07 PDF格式BibTeX公司 XML格式引用 \textit{K.Lesser}和\textit{M.Oishi},in:第18届ACM混合系统国际会议论文集:计算和控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)。159-168(2015年;Zbl 1364.93382) 全文: 内政部
伊恩·米切尔(Ian M.Mitchell)。;沙哈卜·卡纳玛 一种改进的采样数据系统鲁棒安全分析算法。 (英语) Zbl 1364.93443号 第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。21-30 (2015).MSC公司:93元57 93立方 93B52号 93B40码 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{I.M.Mitchell}和\textit{S.Kaynama},in:第18届ACM混合系统国际会议论文集:计算和控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)。21-30(2015年;Zbl 1364.93443) 全文: 内政部
克里希南德·查特吉;拉斯穆斯·易卜森·延森;安德烈亚斯·帕夫罗甘尼斯;普拉蒂什·戈亚尔 具有恒定树宽的递归状态机中代数路径属性的更快算法。 (英语) Zbl 1346.68047号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。97-109 (2015).MSC公司:68甲15 65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,in:第42届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,POPL’15,印度孟买,2015年1月12-18日。纽约州纽约市:计算机协会(ACM)。97-109(2015年;兹bl 1346.68047) 全文: 内政部 arXiv公司
唐浩;王晓音;张玲明;谢冰冰;张璐;梅,洪 存在回调时基于摘要的上下文相关数据依赖性分析。 (英语) Zbl 1346.68066号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。83-95 (2015).MSC公司:68号30 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Tang}等人,in:第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’15,印度孟买,2015年1月12-18日。纽约州纽约市:计算机协会(ACM)。83-95(2015年;Zbl 1346.68066) 全文: 内政部
约瑟夫·斯科特。;保罗·巴顿。 DAE模型的可达性分析和确定性全局优化。 (英语) Zbl 1343.65104号 Ilchmann,Achim(ed.)等人,《微分代数方程的研究》III.Cham:Springer(ISBN 978-3-319-22427-5/pbk;978-3-3169-22428-2/电子书)。微分代数方程论坛,61-116(2015)。 审核人:Boris V.Loginov(乌里扬诺夫斯克) MSC公司:65升80 93个B03 90C26型 34A40型 34A60型 49甲15 34A09号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Scott}和\textit{P.I.Barton},在:微分代数方程研究III。查姆:施普林格。61-116(2015;Zbl 1343.65104) 全文: 内政部
德奥利维拉·奥利维拉,马特乌斯 图转换系统和切片语言中的可达性。 (英语) Zbl 1321.68339号 Parisi-Prescce,Francesco(编辑)等人,《图形变换》。2015年7月21日至23日,作为2015年STAF的一部分,在意大利拉奎拉举行了第八届国际会议,ICGT 2015。诉讼程序。查姆:施普林格(ISBN 978-3-319-21144-2/pbk;978-3-3169-21145-9/电子书)。计算机科学讲义9151121-137(2015)。MSC公司:第68季度第42季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveila},莱克特。票据计算。科学。9151、121--137(2015;Zbl 1321.68339) 全文: 内政部
阿科斯·哈伊杜;安德拉斯·Vörös;塔马斯·巴塔 Petri网CEGAR方法的新搜索策略。 (英语) Zbl 1432.68308号 Devillers,Raymond(编辑)等人,Petri网和并发的应用和理论。第36届国际会议,PETRI NETS 2015,比利时布鲁塞尔,2015年6月21日至26日,会议记录。查姆:斯普林格。莱克特。票据计算。科学。9115, 309-328 (2015).MSC公司:68问题85 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{Á.Hajdu}等人,Lect。票据计算。科学。9115、309--328(2015;Zbl 1432.68308) 全文: 内政部 链接
托马斯·布拉兹迪尔;斯特凡·基弗;安东·库切拉;诺沃顿,皮特;Joost-Pieter卡托恩 概率多计数器自动机中的零可达性。 (英语) Zbl 1401.68151号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯阿拉米托斯:IEEE计算机协会(ISBN 978-1-4503-2886-9)。第22号论文,第10页(2014年)。MSC公司:65年第68季度 65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brázdil}等人,in:第二十三届EACSL计算机科学逻辑年会联席会议记录,CSL,2014年第29届ACM/IEEE计算机科学逻辑研讨会,LICS 2014,奥地利维也纳,2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。第22号论文,第10页(2014;Zbl 1401.68151) 全文: 内政部 arXiv公司
塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 混合自动机中的准相关变量。 (英语) Zbl 1361.68118号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。93-102 (2014).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。93-102(2014年;Zbl 1361.68118) 全文: 内政部 链接
阿南特·达亚尔;贾亚拉尔·萨尔马;萨瓦拉尼 多项式最小/最大加权可达性是在明确的对数空间中。 (英语) Zbl 1360.68504号 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,597-609(2014)。MSC公司:65年第68季度 05C22号 05立方38 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Dhayal}等人,LIPIcs——莱布尼茨国际程序。通知。29597--609(2014年;Zbl 1360.68504) 全文: 内政部
查克拉波蒂,迪帕尔卡;A.帕文。;拉古纳特·特瓦里;维诺德钱德兰,N.V。;杨林福勒 高亏格和(H)-次无图中有向可达性的新时空上界。 (英语) Zbl 1360.68500号 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,585-595(2014)。MSC公司:65年第68季度 05年10月 05C85号 PDF格式BibTeX公司 XML格式引用 \textit{D.Chakraborty}等人,LIPIcs——莱布尼茨国际期刊。通知。29585--595(2014年;Zbl 1360.68500) 全文: 内政部
彼得·柯林斯 系统生物学中的模型检查——从微观到宏观。 (英语) Zbl 1402.92199号 Fages,François(编辑)等人,《宏观生物学中的形式方法》。2014年9月22日至24日在新喀里多尼亚努美阿举行的2014年FMMB第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-10397-6/pbk)。计算机科学课程讲稿8738。生物信息学课堂讲稿,1-22(2014)。MSC公司:92立方厘米 92C30型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Collins},莱克特。票据计算。科学。8738,1-22(2014;Zbl 1402.92199) 全文: 内政部
克里希南德·查特吉 部分观测随机可达性和奇偶对策。 (英语) Zbl 1425.68140号 Csuhaj-Varjü,Erzébet(编辑)等人,2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录,第一部分,柏林:施普林格。莱克特。票据计算。科学。8634, 1-4 (2014).MSC公司:65年第68季度 87年第68季度 91A15型 91A43型 68-02 91-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee},莱克特。票据计算。科学。8634,1--4(2014;Zbl 1425.68140) 全文: 内政部
斯特凡·德姆里;迭戈·菲格拉;M·普拉文。 用计数器系统推理数据重复。 (英语) Zbl 1366.68202号 2013年6月25日至28日,美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-0-7695-5020-6)。33-42 (2013).MSC公司:68问题85 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}等人,摘自:2013年6月25日至28日美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。33-42(2013年;Zbl 1366.68202) 全文: 内政部 arXiv公司
Yang、Inson;贝克尔·魏曼(Becker-Weimann,Sabine);米娜·比塞尔。;克莱尔·汤姆林。 微分对策可达集的一步计算。 (英语) Zbl 1364.49051号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。183-192 (2013).MSC公司:49号70 49升25 49平方米 91A23型 PDF格式BibTeX公司 XML格式引用 \textit{I.Yang}等人,《第16届ACM混合系统国际会议论文集:计算与控制》,HSCC 2013,美国宾夕法尼亚州费城,2013年4月8日至11日。纽约州纽约市:计算机协会(ACM)。183-192(2013年;Zbl 1364.49051) 全文: 内政部
马蒂亚斯·阿尔霍夫 使用保守多项式和非凸集对非线性系统进行可达性分析。 (英语) Zbl 1362.93011号 2013年4月8日至11日,美国宾夕法尼亚州费城,2013年HSCC,第16届ACM混合系统国际会议论文集:计算与控制。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-1567-8)。173-182 (2013).MSC公司:93个B03 34A38型 34A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Althoff},in:第16届ACM混合系统国际会议论文集:计算与控制,HSCC 2013,费城,宾夕法尼亚州,美国,2013年4月8-11日。纽约州纽约市:计算机协会(ACM)。173-182(2013;Zbl 1362.93011) 全文: 内政部 链接
保罗·Hänsch;迪亚卜、希拉;伊比西姆·本·马赫鲁夫;斯特凡·科瓦列夫斯基 具有逐步常数输入的线性系统的可达性分析。 (英语) Zbl 1334.68134号 Fränzle,Martin(ed.)等人,混合自治系统第一次研讨会会议记录,德国萨尔布吕肯,2013年6月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记297,61-74(2013)。MSC公司:60年第68季度 93二氧化碳 93立方 PDF格式BibTeX公司 XML格式引用 \textit{P.Hänsch}等人,《电子》。注释Theor。计算。科学。297、61-74(2013年;Zbl 1334.68134) 全文: 内政部