徐廷辉;赵继伟 因果推理中的松弛双稳健估计。 (英语) Zbl 07834324号 统计理论相关。领域 8,编号1,69-79(2024).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{T.Xu}和textit{J.Zhao},统计理论关系。字段8,编号1,69--79(2024;Zbl 07834324) 全文: 内政部 OA许可证
雷娜·迪米特洛娃(编辑);奥里·拉哈夫(编辑);塞巴斯蒂安·沃尔夫(编辑) 验证、模型检查和抽象解释。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15日至16日。诉讼程序。第二部分。 (英语) Zbl 07831420号 计算机科学课堂讲稿14500。查姆:施普林格(ISBN 978-3-031-50520-1/pbk;978-3-0.31-50521-8/电子书)。十八、340页。(2024).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}(编辑)等人,《验证、模型检查和抽象解释》。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15-16日。诉讼程序。第二部分。查姆:施普林格(2024;Zbl 07831420) 全文: 内政部
雷娜·迪米特洛娃(编辑);奥里·拉哈夫(编辑);塞巴斯蒂安·沃尔夫(编辑) 验证、模型检查和抽象解释。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15日至16日。诉讼程序。第一部分。 (英语) Zbl 07831419号 计算机科学课堂讲稿14499。查姆:施普林格(ISBN 978-3-031-50523-2/pbk;978-3-331-50524-9/电子书)。十八、352页。(2024).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}(编辑)等人,《验证、模型检查和抽象解释》。第25届国际会议,VMCAI 2024,英国伦敦,2024年1月15-16日。诉讼程序。第一部分查姆:施普林格(2024;Zbl 07831419) 全文: 内政部
吴振龙;海罗·维奥拉;罗,英;陈阳泉;李东海 具有规范约束的鲁棒分数阶[比例-积分-导数]控制器设计:更平坦的相位思想。 (英语) 兹伯利07827176 国际J.控制 97,编号1,111-129(2024).MSC公司:93B35型 93D09型 93C80号 第93页第52页 26A33飞机 PDF格式BibTeX公司 XML格式引用 \textit{Z.Wu}等人,国际期刊控制97,No.1,111--129(2024;Zbl 07827176) 全文: 内政部
杰里米·阿维加德 数学和形式转向。 (英语) Zbl 07826993号 牛市。美国数学。Soc.,新Ser。 61,第2期,225-240(2024).MSC公司:03B35型 68V20型 60年第68季度 68伏15 68五氧化二钒 68伏35 68T01型 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{J.Avigad},公牛。美国数学。Soc.,新Ser。61,第2号,225--240(2024;Zbl 07826993) 全文: 内政部 arXiv公司
徐慧慧;马东奎;Fu、Heman;唐燕杰 自由半群作用的规范和阴影性质。 (英语) Zbl 07826247号 资格。理论动力学。系统。 23,第3号,第122号论文,27页(2024年).MSC公司:37B65个 37B05型 PDF格式BibTeX公司 XML格式引用 \textit{H.Xu}等人,Qual。理论动力学。系统。23,第3号,第122号论文,27页(2024;Zbl 07826247) 全文: 内政部
图利奥·塞切里尼·西尔伯斯坦;米歇尔·库纳特;李汉峰 具有sofic群规范、强拓扑Markov性质和生存性的扩张作用。 (英语) Zbl 07823149号 J.功能。分析。 286,第9期,文章ID 110376,26页(2024).MSC公司:37B40码 37B10号机组 37D20型 20层65 PDF格式BibTeX公司 XML格式引用 \textit{T.Ceccherini-Silberstein}等人,J.Funct。分析。286,第9号,文章ID 110376,26页(2024;Zbl 07823149) 全文: 内政部 arXiv公司
蒂姆·库茨克;纳贾·克莱恩;多米尼克·威德 分位数回归模型中的灵活规范测试。 (英语) Zbl 07819233号 扫描。J.统计。 51,编号1,355-383(2024).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{T.Kutzker}等人,Scand。J.Stat.51,No.1,355--383(2024;Zbl 07819233) 全文: 内政部 arXiv公司 OA许可证
瓦伦蒂娜·卡斯蒂格利奥尼;拉诺特、拉格罗;西蒙·蒂尼 回到形式:概率过程的SOS调查。 (英语) Zbl 07803182号 J.日志。阿尔盖布。方法计划。 137,文章ID 100929,46 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}等人,J.Log。阿尔盖布。方法计划。137,文章ID 100929,46 p.(2024;Zbl 07803182) 全文: 内政部
刘春林;刘雪 具有几乎弱规范性质的映射的不规则集具有完全度量平均维数。 (英语) Zbl 07802014号 数学杂志。分析。申请。 534,第1号,文章ID 128043,26页(2024).MSC公司:37B05型 37B02型 37A30型 PDF格式BibTeX公司 XML格式引用 \textit{C.Liu}和\textit{X.Liu},J.数学。分析。申请。534,第1号,文章ID 128043,第26页(2024;Zbl 07802014) 全文: 内政部 arXiv公司
纳维恩库马尔·亚达夫 统一空间上映射的弱形式规范。 (英语) Zbl 07792706号 动态。系统。 39,编号1,150-165(2024).MSC公司:37B05型 37B02型 37B40码 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{N.Yadav},戴恩。系统。39,编号1,150--165(2024;Zbl 07792706) 全文: 内政部
马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英语) Zbl 07786059号 计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。第二十三章,第524页。(2024).MSC公司:68-01 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán},基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆:施普林格(2024;Zbl 07786059) 全文: 内政部
杨成汉;徐亚轩;胡成洪 维纳过程和逆高斯过程的误判分析和最佳退化测试计划。 (英语) Zbl 07772219号 Commun公司。统计、理论方法 53,第2号,700-717(2024).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Yang}等人,Commun。Stat.,理论方法53,No.2,700--717(2024;Zbl 07772219) 全文: 内政部
瓦法,诺亚·阿布·埃尔;安德烈·普拉泽 用破坏完成游戏逻辑。 arXiv公司:2404.09873 预打印,arXiv:2404.09873[cs.LO](2024)。MSC公司:03B70号 03B45 60年第68季度 91A44型 91A05型 91A25型 BibTeX公司 引用 \textit{N.A.E.Wafa}和\textit{A.Platzer},“用破坏完成游戏逻辑”,预打印,arXiv:2404.09873[cs.LO](2024) 全文: arXiv公司 OA许可证
胡安·克莱门特·维达尔;洛佩兹,恩里克·科斯姆 从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构。 arXiv:2402.12051 预印本,arXiv:2402.12051[math.CT](2024)。MSC公司:08A55号 08年68月 08B20号 2012年第68季度 68问题65 BibTeX公司 引用 \textit{J.C.Vidal}和\textit{E.C.Llópez},“从高阶重写系统到高阶范畴代数和高阶Curry-Howard同构”,预印,arXiv:2402.12051[math.CT](2024) 全文: arXiv公司 OA许可证
左正康;曾志成;苏伟;黄,清;柯玉涵;刘增新;王长静;梁伟 基于分区递归求精规则的函数程序生成规范转换方法。 (英语) Zbl 07831789号 信息科学。 633, 613-632 (2023).MSC公司:68倍 90倍X PDF格式BibTeX公司 XML格式引用 \textit{Z.Zuo}等人,《信息科学》。633、613--632(2023;Zbl 07831789) 全文: 内政部
因德拉尼尔·戈什;菲利普·马奎斯;查克拉博蒂,苏布拉塔 通过条件规范的二元几何分布:特性和应用。 (英语) Zbl 07830430号 Commun公司。统计、仿真计算。 52,第12号,5925-5945(2023).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{I.Ghosh}等人,Commun。统计、仿真计算。52,第12号,5925--5945(2023;Zbl 07830430) 全文: 内政部
埃蒂安·安德烈(编辑);孙,六月(编辑) 用于验证和分析的自动化技术。第21届国际研讨会,2023年10月24日至27日,新加坡,ATVA 2023。诉讼程序。第二部分。 (英语) Zbl 07826003号 计算机科学课堂讲稿14216.查姆:施普林格(ISBN 978-3-031-45331-1/pbk;978-3-331-45332-8/电子书)。xv,330页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}(编辑)和\textit{J.Sun}(主编),验证和分析自动化技术。第21届国际研讨会,ATVA 2023,新加坡,2023年10月24-27日。诉讼程序。第二部分。查姆:施普林格(2023;Zbl 07826003) 全文: 内政部
埃蒂安·安德烈(编辑);孙,六月(编辑) 用于验证和分析的自动化技术。第21届国际研讨会,2023年10月24日至27日,新加坡,ATVA 2023。诉讼程序。第一部分。 (英语) Zbl 07826002号 计算机科学课堂讲稿14215.查姆:施普林格(ISBN 978-3-031-45328-1/pbk;978-3-331-45329-8/电子书)。十六、446页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}(编辑)和\textit{J.Sun}(主编),验证和分析自动化技术。第21届国际研讨会,ATVA 2023,新加坡,2023年10月24-27日。诉讼程序。第一部分查姆:施普林格(2023;Zbl 07826002) 全文: 内政部
阿莱科斯·帕帕佐普洛斯;克里斯托弗·帕米特(Christopher F.Parmeter)。 随机前沿模型中合成误差项的规范检验。 (英语) Zbl 07821396号 经济。莱特。 233,文章ID 111390,4 p.(2023).MSC公司:91B70型 62第20页 PDF格式BibTeX公司 XML格式引用 \textit{A.Papadopoulos}和\textit{C.F.Parmeter},经济。莱特。233,文章ID 111390,第4页(2023;Zbl 07821396) 全文: 内政部
Alireza Mahzoon;丹尼尔·格罗斯;罗尔夫·德雷克斯勒 结构复杂乘数的形式验证。 (英语) Zbl 07819811号 新加坡:Springer(ISBN 978-3-031-24570-1/hbk;978-3-051-24573-2/pbk;988-3-031-204571-8/电子书)。xiii,130页。(2023).MSC公司:68-02 2007年7月68日 2006年第68季度 60年第68季度 68瓦30 68瓦35 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahzoon}等人,结构复杂乘数的形式验证。新加坡:Springer(2023;Zbl 07819811) 全文: 内政部
霍加,扬尼克 基于极端依赖性的时间序列规范测试。 (英语) Zbl 07813814号 J.总线。经济。斯达。 41,第4期,1274-1287(2023).MSC公司:62第20页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Hoga},J.Bus。经济。Stat.41,No.4,1274--1287(2023;Zbl 07813814) 全文: 内政部 arXiv公司 链接
大卫·A·斯蒂芬斯。;诺布尔,Widemberg S。;埃里卡·E·M·穆迪。;亚历山大·施密特(Alexandra M.Schmidt)。 [P.理查德·哈恩;安德鲁·赫伦;阿瓦洛斯·帕切科,亚历杭德拉;芭蕾舞演员维罗妮卡;马蒂奥·佩多内;彼得·米勒;弗朗西斯科·巴托卢奇;佩卢索、斯特凡诺;安东尼塔·米拉] 误认下的因果推理:基于倾向得分的调整(讨论)。 (英语) Zbl 07810194号 贝叶斯分析。 18,编号2,639-694(2023).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{D.A.Stephens}等人,《贝叶斯分析》。18,编号2,639--694(2023;Zbl 07810194) 全文: 内政部 arXiv公司 链接
全卓君;郑明;于文 病例对照二元数据在可能的误定逻辑模型下的半监督推理。 (英语) Zbl 07809952号 下巴。J.应用。普罗巴伯。斯达。 39,编号5,730-746(2023).MSC公司:2012年12月62日 62克20 PDF格式BibTeX公司 XML格式引用 \textit{Z.Quan}等人,中国。J.应用。普罗巴伯。Stat.39,No.5,730--746(2023;Zbl 07809952) 全文: 内政部
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析CPS安全性。 (英语) Zbl 07807971号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Khandait}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2023;Zbl 07807971) 全文: 内政部
阿什瓦尼·阿南德;纳亚克、萨蒂亚·普拉卡什;安妮·凯瑟琳·施穆克 海报摘要:战略调整的允许性。 (英语) Zbl 07807970号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Anand}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2023;Zbl 07807970) 全文: 内政部
鲁帕克·马朱姆达尔;考希·马利克;马特乌斯·里奇里基;安妮·凯瑟琳·施穆克;萨代赫·苏贾尼 海报摘要:用于加速符号控制的工具链。 (英语) Zbl 07807969号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第28号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号28,第2页(2023;Zbl 07807969) 全文: 内政部
卢卡斯·内维斯·埃吉迪奥;纳亚克、萨蒂亚·普拉卡什;罗萨、马蒂奥·德拉;安妮·凯瑟琳·施穆克;拉斐尔·荣格斯 海报摘要:迈向混合控制的无缝反应。 (英语) Zbl 07807968号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.N.Egidio}等人,《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2023;Zbl 07807968) 全文: 内政部
安德烈亚·佩鲁福;Manuel jun,马祖。 海报:ReLU网络的凸场景优化。 (英语) Zbl 07807967号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第26号文件,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Peruffo}和\textit{M.Mazo jun.},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第26号文件,第2页(2023;Zbl 07807967) 全文: 内政部
何其恒;罗兰·伊利斯;桑伯格,扎卡里;莫特萨·拉希贾尼安 海报摘要:基于采样的方法,用于不确定复杂系统的鲁棒STL综合。 (英语) Zbl 07807966号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Q.H.Ho}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2023;Zbl 07807966) 全文: 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的,安德鲁;乔纳森·迪卡斯特罗;内克米耶·奥扎伊 海报摘要:自动驾驶汽车的安全保障偏好学习方法。 (英语) Zbl 07807965号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第24号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{R.Karagulle}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第24号论文,第2页(2023;Zbl 07807965) 全文: 内政部
拉兹,达芙娜;杨利仁;布赖恩·乌姆伯格;内克米耶·奥扎伊 海报摘要:人体从坐到站稳定的可达性和受控不变性。 (英语) Zbl 07807964号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第23号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.Raz}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号23,第2页(2023;Zbl 07807964) 全文: 内政部
奥利弗·舍恩;Van Huijgevoort,Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼 海报摘要:参数随机系统的数据驱动的正确设计控制。 (英语) Zbl 07807963号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{O.Schön}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023;Zbl 07807963) 全文: 内政部 链接
达斯,斯潘丹;帕维特拉·普拉巴卡 海报摘要:平面概率分段常微分系统的稳定性分析。 (英语) Zbl 07807962号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023;Zbl 07807962) 全文: 内政部
Stephen Chong先生;拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼;向、健 网络物理系统传感器攻击的定量稳健性分析。 (英语) Zbl 07807961号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Chong}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023;Zbl 07807961) 全文: 内政部
瓦尔·法塔斯西;海塔姆·凯德;瓦伦·山本;亚瑟·舒克利 Bern-NN:使用Bernstein多项式区间算法的神经网络紧界传播。 (英语) Zbl 07807960号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Fatnassi}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号文件,第11页(2023;Zbl 07807960) 全文: 内政部 arXiv公司
托拜厄斯·拉德纳;马蒂亚斯·阿尔霍夫 使用灵敏度分析的神经网络验证中的自动抽象细化。 (英语) Zbl 07807959号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Ladner}和\textit{M.Althoff},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023;Zbl 07807959) 全文: 内政部 链接
罗二太;尼古拉斯·科奇杜普尔;斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 (英语) 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) 全文: 内政部
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽 Wordgen:一个定时单词生成工具。 (英语) Zbl 07807957号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023;Zbl 07807957) 全文: 内政部 哈尔
阿尼鲁德·钱德拉特;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯 秘密攻击形式化为伪造CPS安全性的STL公式。 (英语) 兹伯利07807956 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Chandratre}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023;Zbl 07807956) 全文: 内政部
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生 参数定时正则表达式的模式匹配和参数识别。 (英语) Zbl 07807955号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Mambakam}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023;Zbl 07807955) 全文: 内政部 哈尔
Van Huijgevoort,Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特 SySCoRe:通过随机耦合关系进行合成。 (英语) Zbl 07807954号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第13号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Van Huijgevoort}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号13,第11页(2023;Zbl 07807954) 全文: 内政部 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun,马祖。;卢卡·劳伦蒂 具有连续动作空间的区间马尔可夫决策过程。 (英语) Zbl 07807953号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023;Zbl 07807953) 全文: 内政部 arXiv公司
伊本·格拉西亚;博斯科斯,迪米特里斯;卢卡·劳伦蒂;Manuel jun,马祖。 切换随机系统的分布鲁棒策略综合。 (英语) Zbl 07807952号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{I.Gracia}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号论文,第10页(2023;Zbl 07807952) 全文: 内政部 arXiv公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德 阈值模式开关ODE和数字电路延迟模型的连续性。 (英语) Zbl 07807951号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferdowsi}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023;Zbl 07807951) 全文: 内政部 arXiv公司
迈赫达德·扎里安;安妮·凯瑟琳·施穆克 基于状态的安全规范的符号输出反馈控制器的延迟综合。 (英语) Zbl 07807950号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第9号文件,第7页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Zareian}和\textit{A.-K.Schmuck},《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第9号文件,第7页(2023;Zbl 07807950) 全文: 内政部
弗吉尼亚州德鲍什;Della Rossa,马特奥;拉斐尔·荣格斯 使用附加闭合模板的路径完整稳定性证书的排序特征。 (英语) Zbl 07807949号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Debauche}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第8号论文,第10页(2023;Zbl 07807949) 全文: 内政部
阿文德·阿迪穆兰;因德拉尼尔·萨哈;Thao Dang先生 基于预计算可达性序列的安全自触发控制。 (英语) Zbl 07807948号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第7号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Adimoolam}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第7号论文,第12页(2023;Zbl 07807948) 全文: 内政部 哈尔
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 07807946号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第5号论文,第12页(2023;Zbl 07807946) 全文: 内政部 链接
Tran,Hoang-Dung村;Choi、Sungwoo;冈本秀树;巴德省霍克萨;乔治·费内科斯;丹尼尔·普罗霍罗夫 使用probstars对神经网络进行定量验证。 (英语) Zbl 07807945号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第4号论文,第12页(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)。第4号论文,第12页(2023;Zbl 07807945) 全文: 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) 兹伯利07807944 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Cardona}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第3号论文,第12页(2023;Zbl 07807944) 全文: 内政部
陈洪凯;斯科特·斯莫尔卡。;尼古拉·保莱蒂;林,珊 基于STL的网络物理系统弹性控制方法。 (英语) 兹伯利07807943 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}等人,《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第2号论文,第12页(2023;Zbl 07807943) 全文: 内政部 arXiv公司
弗朗西丝卡·凯罗利;尼古拉·保莱蒂;卢卡·博托卢西 随机过程STL需求的保形定量预测监测。 (英语) Zbl 07807942号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{F.Cairoli}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2023;Zbl 07807942) 全文: 内政部 arXiv公司
安吉丽娜·哈蒙 非随机数据中序数缺失的多重插补。 (英语) Zbl 07807648号 AStA,高级统计分析。 107,第4号,671-692(2023).MSC公司:62至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Hammon},AStA,高级统计分析。107,编号4,671--692(2023;Zbl 07807648) 全文: 内政部 OA许可证
米歇尔·雷纳尔 互斥与共识:同一枚硬币的两面? (英语) Zbl 1529.68180号 牛市。欧洲协会。计算。科学。EATCS公司 140, 148-161 (2023).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Raynal},公牛。欧洲协会。计算。科学。EATCS 140、148--161(2023年;Zbl 1529.68180) 全文: 链接
蒂亚姆·塔多伊·德维;Khundrakpam Binod的Mangang;拉赫曼加伊赫祖阿拉 一致空间上IFS的拓扑遍历阴影和拓扑伪序规范。 (英语) Zbl 07797388号 非线性函数。分析。申请。 28,第4期,929-942(2023).MSC公司:37B65个 37B05型 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Devi}等人,《非线性函数》。分析。申请。28,编号4,929--942(2023;Zbl 07797388) 全文: 链接
弗洛里安·舒伯思;塔马拉·桑伯格;Rönkkö,Mikko;刘易德;Jörg Henseler 关于结构方程建模研究中信噪比的过早结论:袁和方(2023)的评论。 (英语) 兹比尔1529.62086 英国数学杂志。Stat.Psychol公司。 76,第3号,682-694(2023).MSC公司:第62页,共15页 62H25个 62J05型 PDF格式BibTeX公司 XML格式引用 \textit{F.Schuberth}等人,Br.J.Math。Stat.Psychol公司。76,编号3,682--694(2023;Zbl 1529.62086) 全文: 内政部 OA许可证
尼佐夫,M.V。;E.V.库兹明。 控制程序开发和验证的LTL规范。 (俄语。英文摘要) Zbl 07796825号 模型。分析。Inf.姐妹。 30,第4号,308-339(2023).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Neyzov}和\textit{E.V.Kuzmin},模型。分析。内部Sist。30,编号4,308--339(2023;Zbl 07796825) 全文: 内政部 MNR公司
任先坤;田雪婷;周云华 关于服从群作用的饱和集的拓扑熵。 (英语) Zbl 07781526号 J.戴恩。不同。方程 35,第4期,2873-2904(2023).MSC公司:37B05型 37B40码 PDF格式BibTeX公司 XML格式引用 \textit{X.Ren}等人,J.Dyn。不同。方程式35,No.4,2873--2904(2023;Zbl 07781526) 全文: 内政部 arXiv公司
帕斯奎尔·安东尼特;希思·G·尼尔森。;卢卡·卡隆 感知系统的监测:确定性、概率性和基于学习的故障检测和识别。 (英语) Zbl 1530.93308号 Artif公司。智力。 325,文章ID 103998,35 p.(2023).MSC公司:93C85号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Antonante}等人,Artif。智力。325,文章ID 103998,35 p.(2023;Zbl 1530.93308) 全文: 内政部 arXiv公司
格格利·科瓦什奈;Dorina Hedvig接吻;佩特尔·姆林科 量化神经网络的形式化验证。 (英语) Zbl 07777136号 安。数学。通知。 57, 36-48 (2023).MSC公司:68T07型 第68页第27页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《数学年鉴》。通知。57、36-48(2023年;Zbl 07777136) 全文: 内政部
Kondrat’ev,D.A。 用于推理数据序列循环中的错误的逻辑(IFIL)。 (英语) Zbl 07773062号 模型。分析。Inf.姐妹。 30,第3期,214-233(2023).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Kondrat’ev},模型。分析。内部Sist。30,编号3,214--233(2023;Zbl 07773062) 全文: 内政部 MNR公司
哈维尔·埃斯帕尔扎;迈克尔·布隆丁 自动机理论。算法方法。 (英语) Zbl 07770922号 马萨诸塞州剑桥:麻省理工学院出版社(ISBN 978-0-262-04863-7/hbk;978-0-2262-37693-8/电子书)。xii,532页。,开放存取(2023年)。 审核人:Ioan Tomescu(布库雷什蒂) MSC公司:68-02 68-01 68第05页 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Blondin},自动机理论。算法方法。马萨诸塞州剑桥:麻省理工学院出版社(2023;Zbl 07770922) 全文: 链接
P.I.安东。;A.Yu Doroshenko。;伊万尼科,P.A。;O.A.Yatsenko。 Glushkov算法代数和自动并行计算设计。 (英语。乌克兰原文) Zbl 07765729号 赛博。系统。分析。 59,编号5,687-697(2023);翻译自Kibern。修女。分析。59,第5期,第3-15页(2023年)。MSC公司:68周01 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.I.Andon}等人,Cybern。系统。分析。59,编号5,687--697(2023;Zbl 07765729);翻译自Kibern。修女。分析。59,第5号,第3-15号(2023年) 全文: 内政部
塔尔,马坦 关于玻尔混沌和不变测度概念的一些评论。 (英语) Zbl 07762700号 学生数学。 271,第3期,347-359(2023年).MSC公司:37B40码 37B05型 37B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Tal},学生数学。271,编号3,347--359(2023;Zbl 07762700) 全文: 内政部 arXiv公司
玛莎·施尼伯 近似函数的多项式形式验证。 (英语) Zbl 07761099号 最佳大师威斯巴登:Springer Vieweg;不来梅:不来梅大学(硕士论文)(ISBN 978-3-658-41887-8/pbk;978-3-558-41888-5/电子书)。x、 第79页。(2023).MSC公司:68-02 2006年第68季度 65年第68季度 60年第68季度 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Schnieber},近似函数的多项式形式验证。威斯巴登:斯普林格·维埃格;不来梅:不来梅大学(硕士论文)(2023;Zbl 07761099) 全文: 内政部
达斯科·巴甫洛维奇 程序作为图表。从类别可计算性到可计算类别。 (英语) 兹伯利07761082 可计算性理论与应用查姆:施普林格(ISBN 978-3-031-34826-6/hbk;978-3-331-34829-7/pbk;979-3-031-34.827-3/ebook)。十七、252页。(2023).MSC公司:68-01 18-01 18立方米 68号30 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{D.Pavlovic},程序作为图表。从分类可计算性到可计算类别。查姆:施普林格(2023;Zbl 07761082) 全文: 内政部 arXiv公司
威廉·康雷迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 (英语) Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司:03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。456107-124(2023年;Zbl 1522.03069) 全文: 内政部
第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。 (英语) Zbl 1530.68008号 纽约州纽约市:计算机协会(ACM)(ISBN 979-8-4007-0033-0)。xi,30篇文章,未连续分页(2023)。MSC公司:68-06 93-06 65年第68季度 60年第68季度 93立方 00B25型 PDF格式BibTeX公司 XML格式引用 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)(2023;Zbl 1530.68008) 全文: 内政部
克里斯托弗·斯特朗。;吴浩泽;Aleksandar Zeljić;凯尔·D·朱利安。;凯兹,盖伊;克拉克·巴雷特;Mykel J.Kochenderfer。 ReLU网络表示的目标函数的全局优化。 (英语) Zbl 07753622号 机器。学习。 112,第10号,3685-3712(2023).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Strong}等人,马赫。学习。112,编号10,3685--3712(2023;Zbl 07753622) 全文: 内政部 arXiv公司
梅尔,克劳斯 实数复杂性中的证明验证。 (英语) Zbl 07753415号 纯应用程序。功能。分析。 8,第4期,1135-1157(2023).MSC公司:2015年第68季度 65年第68季度 60年第68季度 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer},纯应用。功能。分析。8,编号4,1135--1157(2023;Zbl 07753415) 全文: 链接
A.I.Glushchenko。;K.A.拉斯托克金。 对称矩阵(P\)的(P\ otimes P\)乘积向量化的构造算法。 (英语。俄文原件) Zbl 07752283号 计算。数学。数学。物理学。 63,编号9,1559-1570(2023);Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63,编号9,1415-1427(2023年)。MSC公司:81页68 03C10号机组 46A32型 81层33 43A50型 68号30 03天80 PDF格式BibTeX公司 XML格式引用 \textit{A.I.Glushchenko}和\textit{K.A.Lastochkin},计算。数学。数学。物理。63,编号9,1559--1570(2023;Zbl 07752283);Zh的翻译。维奇尔。Mat.Mat.Fiz公司。63,编号9,1415--1427(2023) 全文: 内政部
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克 在依存关系图验证中消除分离区域。 (英语) Zbl 07750361号 Caltais,Georgiana(编辑)等人,《模型检查软件》。第29届国际研讨会,2023年4月26日至27日,法国巴黎,SPIN 2023。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13872, 163-179 (2023).MSC公司:60年第68季度 03B44号 68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人,Lect。注释计算。科学。13872,163-179(2023;Zbl 07750361) 全文: 内政部
丘克里·苏伊迪;伊利耶斯·法尔科内 声音并发跟踪用于在线监测。 (英语) Zbl 07750356号 Caltais,Georgiana(编辑)等人,《模型检查软件》。第29届国际研讨会,2023年4月26日至27日,法国巴黎,SPIN 2023。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13872, 59-80 (2023).MSC公司:68问题85 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Soueidi}和\textit{Y.Falcone},Lect。注释计算。科学。13872,59-80(2023;Zbl 07750356) 全文: 内政部 arXiv公司 哈尔
Lieuwe Vinkhuijzen;托马斯·格鲁尔;斯特凡·希尔米奇;布兰德,塞巴斯蒂安;罗伯特·威利;阿尔芬斯·拉阿尔曼 量子电路仿真中LIMDD的高效实现。 (英语) Zbl 07750353号 Caltais,Georgiana(编辑)等人,《模型检查软件》。第29届国际研讨会,2023年4月26日至27日,法国巴黎,SPIN 2023。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13872, 3-21 (2023).MSC公司:60年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{L.Vinkhuijzen}等人,Lect。注释计算。科学。13872,3-21(2023;Zbl 07750353) 全文: 内政部
安托万·吉拉德;阿帕扎·佩雷斯,W.亚历杭德罗 使用定量合成对吸引控制器进行抽象细化。 (英语) Zbl 07746903号 IEEE传输。自动。控制 68,编号9,5745-5751(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Girard}和\textit{W.A.Apaza Perez},IEEE Trans。自动。控制68,编号9,5745--5751(2023;Zbl 07746903) 全文: 内政部
阿尼萨·凯里丁;艾蒂安·雷诺;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) Zbl 1522.68329号 约束条件 28,编号1,45-66(2023).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kheireddine}等人,约束28,No.1,45--66(2023;Zbl 1522.68329) 全文: 内政部
安德烈亚·比索菲;克劳迪奥·德佩西斯;彼得罗·特西 通过LMI区域学习控制器的性能。 (英语) Zbl 07744923号 IEEE传输。自动。控制 68,编号7,4351-4358(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Bisoffi}等人,IEEE Trans。自动。控制68,编号7,4351--4358(2023;Zbl 07744923) 全文: 内政部 arXiv公司
冯、袁;李三江 量子程序的抽象解释、霍尔逻辑和不正确逻辑。 (英语) Zbl 07742408号 Inf.计算。 294,文章ID 105077,22 p.(2023).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}和\textit{S.Li},Inf.Comput。294,文章ID 105077,22 p.(2023;Zbl 07742408) 全文: 内政部 arXiv公司
亚历山大·阿提基斯(编辑);弗洛里安·布鲁斯(编辑);卢克·亨斯伯格(编辑) 第30届时间表征和推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。 (英语) 兹比尔1522.68013 LIPIcs–莱布尼茨国际信息学会议录278.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-298-3)。xiv,22篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B44号 60年第68季度 第68页第27页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第30届时间表征与推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1522.68013) 全文: 内政部 链接
曼弗雷德·布罗伊 通过因果关系和可实现性对并发系统进行规范和验证。 (英语) Zbl 07739130号 西奥。计算。科学。 974,文章ID 114106,61 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \提奥,textit{M.Broy}。计算。科学。974,文章ID 114106,61 p.(2023;Zbl 07739130) 全文: 内政部
科塔罗·希托米;岩川,Masamune;西山义彦 数据驱动带宽的规范测试的最佳最小最大速率。 (英语) Zbl 07739037号 经济。版次。 42,第6期,487-512(2023).MSC公司:62第20页 PDF格式BibTeX公司 XML格式引用 \textit{K.Hitomi}等人,《经济》。版本42,编号6,487--512(2023;Zbl 07739037) 全文: 内政部
悉尼·M·卡茨。;凯尔·D·朱利安。;克里斯托弗·斯特朗。;Mykel J.Kochenderfer。 为神经网络控制器生成概率安全保证。 (英语) Zbl 1518.68211号 机器。学习。 112,第8期,2903-2931(2023).MSC公司:60年第68季度 68T05型 93C40型 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Katz}等人,马赫。学习。112,第8号,2903--2931(2023;Zbl 1518.68211) 全文: 内政部 arXiv公司
因德拉尼尔·戈什;北卡罗来纳州Balakrishnan。 不完全规范下两个离散概率分布的相容性/不相容性。 (英语) Zbl 07730298号 Sankhyá,Ser。A类 第1期第85页,第274-291页(2023年).MSC公司:62E20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Ghosh}和\textit{N.Balakrishnan},Sankhyá,Ser。A 85,编号1,274--291(2023;Zbl 07730298) 全文: 内政部 arXiv公司
鲁本·拉波尔;莫里斯·布鲁诺;马克·德内克 公平博弈求解算法的论证和重构。 (英语) Zbl 1529.68160号 Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13160, 170-187 (2023).MSC公司:60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \文本{R.Lapauw}等人,Lect。注释计算。科学。13160170-187(2023年;Zbl 1529.68160) 全文: 内政部 arXiv公司 链接
马里亚德尔马尔加拉多;佩德罗·梅里诺;劳拉·帕尼佐 抽象在模型检查中的作用。 (英语) Zbl 1529.68157号 Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13160, 151-169 (2023).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-d.-M.Gallardo}等人,Lect。注释计算。科学。13160,151--169(2023;Zbl 1529.68157) 全文: 内政部
布兰德,塞巴斯蒂安;托马斯·贝克;阿尔芬斯·拉阿尔曼 可达性的决策图操作。 (英语) Zbl 1529.68153号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 514-532 (2023).MSC公司:60年第68季度 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Brand}等人,Lect。注释计算。科学。14000,514--532(2023;Zbl 1529.68153) 全文: 内政部 arXiv公司
蒙特塞拉特赫莫;帕基·卢西奥;塞萨尔·桑切斯 安全规范可实现性表。 (英语) Zbl 1529.68159号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 495-513 (2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermo}等人,Lect。注释计算。科学。14000,495--513(2023;Zbl 1529.68159) 全文: 内政部 arXiv公司
福图纳特·拉乔纳;爱奥华纳州布尔亚努;瓦迪姆·马尔文;弗朗西斯科·贝拉迪内利 以人工智能为中心的程序语义和验证技术。 (英语) Zbl 1529.68083号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 473-491 (2023).MSC公司:68号30 68甲15 68问题55 60年第68季度 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{F.Rajaona}等人,Lect。注释计算。科学。14000、473至491(2023年;兹比尔1529.68083) 全文: 内政部 链接
斯坦利·巴克;泰勒·多曼;苏布拉马尼,K。;阿舒托什·特里维迪;阿尔瓦罗·贝拉斯克斯;彼得·沃伊切乔夫斯基 用于神经网络验证的八顶点抽象域。 (英语) Zbl 1529.68150号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 454-472 (2023).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{S.Bak}等人,Lect。注释计算。科学。14000,454--472(2023;Zbl 1529.68150) 全文: 内政部
阿希姆·D·布鲁克。;艾米·斯特尔 在Isabelle/HOL中验证前馈神经网络的分类。 (英语) Zbl 1529.68154号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 427-444 (2023).MSC公司:60年第68季度 68T07型 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Brucker}和\textit{A.Stell},莱克特。注释计算。科学。14000,427--444(2023;Zbl 1529.68154) 全文: 内政部
文森佐·西安西亚;Jan Friso,格鲁特;迭戈·拉特拉;梅克·马西克;埃里克·P·德文克。 使用分支双相似性最小化空间模型。 (英语) 兹比尔1529.68155 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 263-281 (2023).MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Ciancia}等人,Lect。注释计算。科学。14000,263--281(2023;Zbl 1529.68155) 全文: 内政部
鲁宾·鲁比奥;马丁·奥列特,纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 QMaude:重写逻辑中的定量规范和验证。 (英语) Zbl 1529.68163号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 240-259 (2023).MSC公司:60年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人,Lect。注释计算。科学。14000,240-259(2023;Zbl 1529.68163) 全文: 内政部
斯蒂芬诺·尼科莱蒂(Stefano M.Nicoletti)。;米兰洛普哈·茨瓦肯贝格;E.莫里茨·哈恩;玛丽·斯托琳加 PFL公司:故障树的概率逻辑。 (英语) Zbl 1529.68162号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 199-221 (2023).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.M.Nicoletti}等人,Lect。注释计算。科学。14000,199-221(2023;Zbl 1529.68162) 全文: 内政部 arXiv公司
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林 symQV(对称QV):量子程序的自动符号验证。 (英语) Zbl 1529.68152号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 181-198 (2023).MSC公司:60年第68季度 68号30 68伏15 81页68 PDF格式BibTeX公司 XML格式引用 \textit{F.Bauer-Marquart}等人,Lect。注释计算。科学。14000、181--198(2023年;Zbl 1529.68152) 全文: 内政部 arXiv公司
盛、欢欢;亚历山大·本特坎普;詹伯华 HHLPy公司:使用霍尔逻辑对混合系统进行实际验证。 (英语) Zbl 1529.68164号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 160-178 (2023).MSC公司:60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Sheng}等人,Lect。注释计算。科学。14000、160--178(2023年;Zbl 1529.68164) 全文: 内政部 arXiv公司
莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗?使用动态逻辑验证团队自动机。 (英语) Zbl 1529.68165号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 122-141 (2023).MSC公司:60年第68季度 03B70号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人,Lect。注释计算。科学。14000、122--141(2023年;Zbl 1529.68165) 全文: 内政部
刘,于;Subotic,铺面;埃曼纽尔·莱蒂尔;谢尔盖·梅赫塔耶夫;阿比克·罗伊乔杜里 高效的基于SMT的网络容错验证。 (英语) Zbl 1529.68161号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000,92-100(2023年)。MSC公司:60年第68季度 68米15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,Lect。注释计算。科学。14000,92-100(2023;Zbl 1529.68161) 全文: 内政部
马坦一世·贝利德。;罗滕贝格,Bat Chen;沙迦·伊扎基 通过模型引导近似进行SMT采样。 (英语) Zbl 1529.68284号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 74-91 (2023).MSC公司:68T20型 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Peled}等人,Lect。注释计算。科学。14000,74-91(2023;Zbl 1529.68284) 全文: 内政部 arXiv公司