杰里米·阿维加德 数学和形式转换。 (英语) 兹伯利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公司
瓦法,诺亚·阿布·埃尔;安德烈·普拉泽 用破坏完成游戏逻辑。 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许可证
左正康;曾志成;苏伟;黄,清;柯玉涵;刘增新;王长静;梁伟 基于分区递归求精规则的函数程序生成规范转换方法。 (英语) 兹伯利07831789 信息科学。 633, 613-632 (2023).MSC公司:68年XX月 90至XX PDF格式BibTeX公司 XML格式引用 \textit{Z.Zuo}等人,《信息科学》。633、613--632(2023;Zbl 07831789) 全文: 内政部
埃蒂安·安德烈(编辑);孙骏(编辑) 用于验证和分析的自动化技术。第21届国际研讨会,2023年10月24日至27日,新加坡,ATVA 2023。诉讼程序。第二部分。 (英语) 兹伯利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-031-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) 全文: 内政部
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) 全文: 内政部
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析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) 全文: 内政部
阿什瓦尼·阿南德;纳亚克、萨蒂亚·普拉卡什;安妮·凯瑟琳·施穆克 海报摘要:战略调整的许可性。 (英语) 兹伯利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) 全文: 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的,安德鲁;乔纳森·迪卡斯特罗;内克米耶·奥扎伊 海报摘要:自动驾驶汽车的安全保障偏好学习方法。 (英语) 兹伯利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物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar},在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,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}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,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公式。 (英语) Zbl 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) 全文: 内政部
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;丹,陶 参数定时正则表达式的模式匹配和参数识别。 (英语) 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公司;奥利弗·舍恩;萨代赫·苏贾尼;Sofie海瑟特 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}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,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) 全文: 内政部
阿文德·阿迪穆兰;因德拉尼尔·萨哈;丹,陶 基于预计算可达性序列的安全自触发控制。 (英语) Zbl 07807948号 第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,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) 全文: 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) Zbl 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公司
尼佐夫,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},模型。分析。Inf.姐妹。30,编号4308-339(2023;Zbl 07796825) 全文: 内政部 MNR公司
帕斯奎尔·安东尼特;Heath 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接吻;Péter Mlinkó 量化神经网络的形式化验证。 (英语) Zbl 07777136号 安。数学。通知。 57, 36-48 (2023).MSC公司:68T07型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《数学年鉴》。通知。57、36-48(2023年;Zbl 07777136) 全文: 内政部
Kondrat’ev,D.A。 用于推理数据序列循环中的错误的逻辑(IFIL)。 (英语) Zbl 07773062号 模型。分析。内部Sist。 30,第3期,214-233(2023).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Kondrat’ev},模型。分析。Inf.姐妹。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 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) 全文: 内政部
威廉·康雷迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科;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) 全文: 内政部
克劳斯·米尔 实数复杂性中的证明验证。 (英语) 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) 全文: 链接
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克 在依存关系图验证中消除分离区域。 (英语) 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},莱克特。注释计算。科学。13872,59-80(2023;Zbl 07750356) 全文: 内政部 哈尔
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) 全文: 内政部
Kheireddine,安妮莎;艾蒂安·雷诺;苏海卜·巴里尔 寻求更好的启发式方法来解决有界模型检查问题。 (英语) 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) 全文: 内政部
亚历山大·阿提基斯(编辑);弗洛里安·布鲁斯(编辑);卢克·亨斯伯格(编辑) 第30届时间表征和推理国际研讨会,TIME 2023,NCSR Demokritos,希腊雅典,2023年9月25日至26日。 (英语) Zbl 1522.68013号 LIPIcs–莱布尼茨国际信息学会议录278.瓦登:达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆(ISBN 978-3-95977-298-3)。xiv,22篇文章,非连续页面,仅电子版,开放存取(2023年)。MSC公司:68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第30届时间表征与推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。瓦德恩:达格斯图尔城堡-莱布尼茨信息中心(2023年;兹比尔1522.68013) 全文: 内政部 链接
悉尼·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公司
鲁本·拉波尔;莫里斯·布吕诺格;马克·德内克 公平博弈求解算法的论证和重构。 (英语) Zbl 1529.68160号 Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。第13160页、第170-187页(2023年)。MSC公司:60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Lapauw}等人,Lect。注释计算。科学。13160170-187(2023年;Zbl 1529.68160) 全文: 内政部 arXiv公司 链接
玛丽亚·德尔·马尔·加拉多;佩德罗·梅里诺;劳拉·帕尼佐 抽象在模型检查中的作用。 (英语) Zbl 1529.68157号 Lopez-Garcia,Pedro(编辑)等人,《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13160151-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季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Rajaona}等人,Lect。注释计算。科学。14000,473--491(2023;Zbl 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年;兹比尔1529.68154) 全文: 内政部
文森佐·西安西亚;Jan Friso,格鲁特;迭戈·拉特拉;梅克·马西克;埃里克·P·德文克。 使用分支双相似性最小化空间模型。 (英语) Zbl 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) 全文: 内政部
马坦一世·贝利德。;巴特·陈·罗森伯格;沙迦·伊扎基 通过模型引导近似进行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公司
劳拉·科瓦奇 自动程序推理中的符号计算。 (英语) 兹比尔1529.68080 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000, 3-9 (2023).MSC公司:68号30 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács},莱克特。注释计算。科学。14000,3--9(2023;Zbl 1529.68080) 全文: 内政部
卢卡斯·扎瓦利亚;利迪亚·切尔尼戈夫斯卡娅;格里戈里·费迪尤科维奇 求解代数数据类型上的约束Horn子句。 (英语) 兹比尔1529.68167 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 341-365 (2023).MSC公司:60年第68季度 03B70号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Zavalía}等人,Lect。注释计算。科学。13881341--365(2023年;Zbl 1529.68167) 全文: 内政部
科尔·维克;肯尼思·麦克米兰。 为符号模型检查综合历史和预测变量。 (英语) Zbl 1529.68166号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 320-340 (2023).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Vick}和\textit{K.L.McMillan},莱克特。注释计算。科学。13881320-340(2023年;Zbl 1529.68166) 全文: 内政部
范德普拉斯,延斯;昆廷·斯蒂文娜特;科恩·德鲁弗 增量模块分析的结果无效。 (英语) Zbl 1529.68085号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 296-319 (2023).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Van der Plas}等人,Lect。注释计算。科学。13881296--319(2023年;Zbl 1529.68085) 全文: 内政部
阿米尔·卡夫什达尔·戈哈沙迪;艾哈迈德·哈利德·扎赫尔 使用树宽度和树宽度进行有效的过程间数据流分析。 (英语) Zbl 1529.68158号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 177-202 (2023).MSC公司:60年第68季度 68号30 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Goharshady}和\textit{A.K.Zaher},莱克特。注释计算。科学。13881177-202(2023年;Zbl 1529.68158) 全文: 内政部 哈尔
伯克·西里西;康斯坦丁·埃纳;阿扎德法尔赞;苏哈·奥伦·穆特鲁吉尔 有状态部分顺序缩减的实用方法。 (英语) Zbl 1529.68156号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 129-154 (2023).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Cirisci}等人,Lect。注释计算。科学。13881、129--154(2023年;Zbl 1529.68156) 全文: 内政部 arXiv公司
索姆·班纳吉;苏马纳戈什;安苏曼·班纳吉;Mohalik,Swarup K。 基于SMT的尖峰神经网络建模与验证:案例研究。 (英语) Zbl 1529.68151号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881年,25-43年(2023年)。MSC公司:60年第68季度 2007年第68季度 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人,Lect。注释计算。科学。13881,25-43(2023年;兹比尔1529.68151) 全文: 内政部
Clément奥伯特;托马斯·鲁比亚诺;内亚·鲁施;托马斯·塞勒 分配和并行化非规范循环。 (英语) Zbl 1529.68078号 Dragoi,Cezara(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13881, 1-24 (2023).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}等人,Lect。注释计算。科学。13881,1--24(2023;Zbl 1529.68078) 全文: 内政部 哈尔
阿夫拉罕·拉维夫;Eliya Bronshtein;里贾尼诺,或者;Aluf Medina,米歇尔;希勒尔·库格勒 通过使用形式验证通过模仿学习。 (英语) Zbl 1528.68347号 Gąsieniec,Leszek(编辑),SOFSEM 2023:计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议,SOFSEM 2023,斯洛伐克斯莫科维奇,2023年1月15日至18日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13878, 342-355 (2023).MSC公司:68T05型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Raviv}等人,Lect。注释计算。科学。13878、342--355(2023年;Zbl 1528.68347) 全文: 内政部
康斯坦丁·埃纳(编辑);阿卡什·拉尔(编辑) 计算机辅助验证。第35届国际会议,CAV 2023,法国巴黎,2023年7月17日至22日。诉讼程序。第三部分。 (英语) Zbl 1529.68047号 计算机科学课堂讲稿13966.查姆:施普林格(ISBN 978-3-031-37708-2/pbk;978-3-331-37709-9/ebook)。十七、502页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}(编辑)和\textit{A.Lal}(编),计算机辅助验证。第35届国际会议,CAV 2023,巴黎,法国,2023年7月17-22日。诉讼程序。第三部分商会:施普林格(2023年;Zbl 1529.68047) 全文: 内政部
康斯坦丁·埃纳(编辑);阿卡什·拉尔(编辑) 计算机辅助验证。第35届国际会议,CAV 2023,法国巴黎,2023年7月17日至22日。诉讼程序。第一部分。 (英语) Zbl 1529.68046号 计算机科学课堂讲稿13964.查姆:施普林格(ISBN 978-3-031-37705-1/pbk;978-3-331-37706-8/电子书)。xxxi,488页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}(编辑)和\textit{A.Lal}(编),计算机辅助验证。第35届国际会议,CAV 2023,巴黎,法国,2023年7月17-22日。诉讼程序。第一部分查姆:施普林格(2023;Zbl 1529.68046) 全文: 内政部
维吉尔·普雷沃斯托(编辑);克里斯蒂娜·塞塞莱亚努(编辑) 测试和证明。第17届国际会议,TAP 2023,英国莱斯特,2023年7月18-19日。诉讼程序。 (英语) Zbl 1525.68002号 计算机科学课堂讲稿14066.查姆:施普林格(ISBN 978-3-031-38827-9/pbk;978-3-331-38828-6/ebook)。第二十二、187页。(2023).MSC公司:68-06 60年第68季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Prevosto}(编辑)和\textit{C.Seceleanu}(主编),测试和证明。第17届国际会议,TAP 2023,英国莱斯特,2023年7月18-19日。诉讼程序。查姆:斯普林格(2023;Zbl 1525.68002) 全文: 内政部
康斯坦丁·埃纳(编辑);阿卡什·拉尔(编辑) 计算机辅助验证。第35届国际会议,CAV 2023,法国巴黎,2023年7月17日至22日。诉讼程序。第二部分。 (英语) Zbl 1528.68025号 计算机科学课堂讲稿13965.商会:施普林格出版社(ISBN 978-3-031-37702-0/pbk;978-3-031-37703-7/电子书)。十六、460页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}(编辑)和\textit{A.Lal}(编辑),计算机辅助验证。第35届国际会议,CAV 2023,巴黎,法国,2023年7月17-22日。诉讼程序。第二部分。查姆:斯普林格(2023;Zbl 1528.68025) 全文: 内政部
沃尔夫冈·施莱纳 具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。 (英语) Zbl 1515.68009号 符号计算中的文本和专题查姆:施普林格(ISBN 978-3-031-24933-4/hbk;978-3-0.31-24936-5/pbk;978-1-3031-24944-1/电子书)。xii,271页。(2023).MSC公司:68-01 68页第10页 60年第68季度 68卢比 68V20型 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{W.Schreiner},具体抽象。使用RISCAL模型检查器对离散理论和算法进行形式化和分析。查姆:斯普林格(2023;Zbl 1515.68009) 全文: 内政部
乔治亚娜·卡尔泰斯(编辑);克里斯蒂安·席林(编辑) 模型检查软件。第29届国际研讨会,2023年4月26日至27日,法国巴黎,SPIN 2023。诉讼程序。 (英语) Zbl 1522.68021号 计算机科学课堂讲稿13872.查姆:施普林格(ISBN 978-3-031-32156-6/pbk;978-3-331-32157-3/电子书)。x、 第199页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}(编辑)和\textit{C.Schilling}(主编),模型检查软件。第29届国际研讨会,SPIN 2023,巴黎,法国,2023年4月26-27日。诉讼程序。查姆:施普林格(2023;Zbl 1522.68021) 全文: 内政部
卡洛斯·阿尔贝托,拉米雷斯·雷斯特雷波;Juan C.Jaramillo。;佩雷斯(Jorge A.Pérez)。 Maude中基于会话的并发:可执行语义和类型检查。 (英语) Zbl 1512.68173号 J.日志。阿尔盖布。方法计划。 133,文章ID 100872,42 p.(2023).MSC公司:68问题85 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Ramírez Restrepo}等人,J.Log。阿尔盖布。方法计划。133,文章ID 100872,42 p.(2023;Zbl 1512.68173) 全文: 内政部
玛丽亚·乔昂·弗雷德;豪尔赫·索萨·平托 基于动态逻辑的验证VCGen:使用Why3进行元验证的练习。 (英语) Zbl 1512.68151号 J.日志。阿尔盖布。方法计划。 133,文章ID 100871,第14页(2023).MSC公司:60年第68季度 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.Sousa Pinto},J.Log。阿尔盖布。方法计划。133,文章ID 100871,14 p.(2023;Zbl 1512.68151) 全文: 内政部
文森佐·阿塞里(编辑);阿戈斯蒂诺·科尔特斯(编辑);皮埃特罗·费拉拉(编辑);马蒂娜·奥利亚罗(编辑) 软件验证的挑战。2022年5月20日,意大利威尼斯CSV第一次研讨会的贡献。 (英语) Zbl 1515.68022号 智能系统参考库238.新加坡:Springer(ISBN 978-981-19-9600-9/hbk;978-981-9-9603-0/pbk;978-19-9601-6/ebook)。xv,264页。(2023).MSC公司:68-06 68新元 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}(编辑)等人,《软件验证的挑战》。2022年5月20日,意大利威尼斯CSV第一次研讨会的贡献。新加坡:Springer(2023;Zbl 1515.68022) 全文: 内政部
穆罕默德·阿提夫;Jan Friso,格鲁特 了解使用mCRL2的分布式系统的行为。 (英语) Zbl 1516.68001号 系统、决策和控制研究458.商会:施普林格出版社(ISBN 978-3-031-23007-3/hbk;978-3-031-23010-3/pbk;978-3-031-23008-0/电子书)。第十五卷,235页。(2023).MSC公司:68-01 64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Atif}和\textit{J.F.Groote},理解使用mCRL2的分布式系统的行为。查姆:斯普林格(2023;Zbl 1516.68001) 全文: 内政部
希切姆·黛比 概率模型检查中基于约束的调试。 (英语) Zbl 1519.68132号 计算 105,编号2,321-351(2023).MSC公司:60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Debbi},Computing 105,No.2,321--351(2023年;Zbl 1519.68132) 全文: 内政部
达纳·理查兹;汉堡,亨利 计算机科学的逻辑和语言模型。第三版。 (英语) Zbl 07662225号 新加坡:世界科学(ISBN 978-981-12-6066-7/hbk;978-981-12-6068-1/电子书)。(2023).MSC公司:68-01 03-01 03B70号 68N17号 2005年第68季度 2012年第68季度 65年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式 全文: 内政部
张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英语) Zbl 07657061号 西奥。计算。科学。 949,文章ID 113702,28 p.(2023).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhang}等人,Theor。计算。科学。949,文章ID 113702,28 p.(2023;Zbl 07657061) 全文: 内政部
塞萨拉·德拉戈伊(编辑);迈克尔·埃米(编辑);王晶波(编辑) 验证、模型检查和抽象解释。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。 (英语) Zbl 1517.68010号 计算机科学课堂讲稿13881.查姆:施普林格(ISBN 978-3-031-24949-5/pbk;978-3-331-24950-1/电子书)。x、 第389页。(2023).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dragoi}(编辑)等人,《验证、模型检查和抽象解释》。第24届国际会议,VMCAI 2023,美国马萨诸塞州波士顿,2023年1月16-17日。诉讼程序。查姆:施普林格(2023;Zbl 1517.68010) 全文: 内政部
Cinzia迪朱斯托;洛伊克·杰梅里·吉佐安;艾蒂安·洛兹 多方半双工系统和同步通信。 (英语) Zbl 1512.68165号 J.日志。阿尔盖布。方法计划。 131,文章ID 100843,第17页(2023).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Di Giusto}等人,J.Log。阿尔盖布。方法计划。131,文章ID 100843,17 p.(2023;Zbl 1512.68165) 全文: 内政部
科普,尼尔斯;赫尔穆特·施维赫滕贝格 用逻辑方法进行精确实数运算的前瞻分析。 (英语) Zbl 07638593号 西奥。计算。科学。 943, 171-186 (2023).MSC公司:03B70号 03D78号 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Köpp}和\textit{H.Schwichtenberg},Theor。计算。科学。943171--186(2023年;Zbl 07638593) 全文: 内政部
刘德鹏;王,弯腰;付,陈;张丽君 模型检查差异私有属性。 (英语) Zbl 1512.68157号 西奥。计算。科学。 943, 153-170 (2023).MSC公司:60年第68季度 03B44号 60J20型 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人,Theor。计算。科学。943153-170(2023年;Zbl 1512.68157) 全文: 内政部
克里斯托弗·波斯基特(Christopher M.Poskitt)。;丰满,细节 GP 2的一元二阶不正确逻辑。 (英语) Zbl 1529.68082号 J.日志。阿尔盖布。方法计划。 130,文章ID 100825,29 p.(2023).MSC公司:68号30 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Poskitt}和\textit{D.Plump},J.Log。阿尔盖布。方法计划。130,文章ID 100825,29 p.(2023;Zbl 1529.68082) 全文: 内政部 链接
圣地亚哥Jimenez Leudo;里卡多·桑费利斯 两层零和混合对策的最优性和渐近稳定性。 (英语) Zbl 07807738号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Jimenez Leudo}和\textit{R.Sanfelice},《第25届ACM混合系统国际会议论文集:计算和控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第30号论文,第2页(2022;Zbl 07807738) 全文: 内政部
阿尼鲁德·普兰克;乔蒂莫·德斯穆赫;尼古拉伊迪斯、斯特凡诺斯 海报摘要:从时序逻辑的演示中学习。 (英语) Zbl 07807737号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Puranic}等人,在:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS物联网周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第29号论文,第2页(2022;Zbl 07807737) 全文: 内政部
莫纳尔·纳拉西姆哈默西;桑卡拉纳拉亚南,斯里拉姆 海报摘要:离散时间线性混合系统的输出序列解码。 (英语) Zbl 07807736号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第28号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Narasimhamurthy}和\textit{S.Sankaranarayanan},摘自:第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰与虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。论文编号28,第2页(2022;Zbl 07807736) 全文: 内政部
阿波法兹·拉瓦伊;路易吉·迪·利洛;玛格丽塔·阿泽伊;安德烈·塞西;埃米利奥·弗雷佐利 海报摘要:具有正式保证的自动车辆碰撞风险的数据驱动估计。 (英语) Zbl 07807735号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Lavaei}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第27号论文,第2页(2022;Zbl 07807735) 全文: 内政部
阿南德·巴拉克利什南;斯特凡·雅克西奇;埃德加·阿吉拉尔;德扬·尼科维奇;乔蒂莫·德斯穆赫 海报摘要:符号自动机编码目标的无模型强化学习。 (英语) 兹伯利07807734 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Balakrishnan}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周的一部分,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第26号论文,第2页(2022;Zbl 07807734) 全文: 内政部
钟冰卓;阿波法兹·拉瓦伊;马吉德·扎马尼;马可·卡卡莫 海报摘要:通过近似概率关系进行非线性随机游戏的控制器综合。 (英语) Zbl 07807733号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Zhong}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第25号论文,第2页(2022;Zbl 07807733) 全文: 内政部