阿曼多·卡斯塔涅达；吉尔德·瓦莱里亚·罗德里格斯 异步无等待运行时验证和线性化能力的实施。 （英语） Zbl 07824315号 Oshman，Rotem（ed.）等人，《第42届ACM分布式计算原理研讨会论文集》，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101 (2023).MSC公司：64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}和\textit{G.V.Rodríguez}，in：第42届ACM分布式计算原理研讨会论文集，PODC’23，美国佛罗里达州奥兰多，2023年6月19-23日。纽约州纽约市：计算机协会（ACM）。90-101（2023；Zbl 07824315） 全文： 内政部 arXiv公司
凯文·洛茨；米贾·库尔琴斯基；德克·诺沃特卡；波尔森，丹尼·博格斯特德；安德斯·施利奇特克鲁尔 验证验证：Isabelle中字符串的SMT-LIB。 （英语） Zbl 07810935号 Nagy，Benedek（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14151, 206-217 (2023).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lotz}等人，Lect。票据计算。科学。14151，206-217（2023；Zbl 07810935） 全文： 内政部
洛科·德尼古拉；卢卡·迪·斯特法诺；奥马尔·因弗索；塞雷内拉·瓦利亚尼 觅食蚂蚁集体行为的直观建模和形式分析。 （英语） Zbl 07810883号 Pang，Jun（编辑）等人，《系统生物学中的计算方法》。第21届国际会议，CMSB 2023，卢森堡市，卢森堡，2023年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14137, 44-61 (2023).MSC公司：92D50型 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人，Lect。票据计算。科学。14137，44-61（2023；Zbl 07810883） 全文： 内政部
莫希特·特克里瓦尔；安德鲁·W·阿佩尔。；阿里尔·凯利森（Ariel E.Kellison）。；大卫·宾德尔；Jeannin、Jean-Baptiste 验证了平稳迭代线性解算器的正确性、准确性和收敛性：Jacobi方法。 （英语） Zbl 07810733号 Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。14101, 206-221 (2023).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{M.Tekriwal}等人，Lect。票据计算。科学。14101206-221（2023；Zbl 07810733） 全文： 内政部
坦马·坎代特；阿尼鲁德·钱德拉特；瓦尔斯坦·巴普蒂斯塔；朱利亚·佩德里利；乔治·费内科斯 演示摘要：在微软飞行模拟器上通过伪造分析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） 全文： 内政部
卢卡斯·内维斯·埃吉迪奥；纳亚克、萨蒂亚·普拉卡什；罗萨、马蒂奥·德拉；安妮·凯瑟琳·施穆克；拉斐尔·荣格斯 海报摘要：迈向混合控制的无缝反应。 （英语） 兹伯利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综合。 （英语） 兹伯利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｝，在：第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） 全文： 内政部 链接
罗、二台；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） 全文： 内政部
伯努瓦·巴伯特；尼古拉斯·巴塞特；亚历山大·顿泽 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） 全文： 内政部
阿克沙伊曼巴卡姆；尤金·亚萨林；尼古拉斯·巴塞特；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，马祖。 切换随机系统的分布鲁棒策略综合。 （英语） 兹伯利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｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，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先生 基于预计算可达性序列的安全自触发控制。 （英语） 兹伯利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） 全文： 内政部
马克·韦兹林格；Kochdumper，尼克拉斯；斯坦利·巴克；马蒂亚斯·阿尔霍夫 使用支持函数的可达性分析对线性系统进行全自动验证。 （英语） 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｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，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的网络物理系统弹性控制方法。 （英语） Zbl 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公司
曼纽尔·巴博萨；弗朗索瓦州杜普斯托尔；本杰明·格雷戈里；安德烈亚斯·胡尔辛；梅杰尔斯、马提亚斯；Pierre-Yves支柱 XMSS的机器检查安全性如RFC 8391和SPHINCS\textsuperscript{+}所示。 （英语） Zbl 07800240号 Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第五部分查姆：施普林格。莱克特。票据计算。科学。14085421-454（2023年）。MSC公司：68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Barbosa｝等人，Lect。票据计算。科学。14085、421--454（2023；Zbl 07800240） 全文： 内政部
Dan Boneh；伊莱特·博伊尔；亨利·科里甘·吉布斯；尼夫·吉尔博亚；尤瓦尔·伊斯海 算术素描。 （英语） Zbl 07799094号 Handschuh，Helena（编辑）等人，《密码学进展——密码2023》。第43届年度国际密码学会议，2023年8月20日至24日，美国加利福尼亚州圣巴巴拉市，CRYPTO 2023。诉讼程序。第一部分查姆：施普林格。莱克特。票据计算。科学。14081, 171-202 (2023).MSC公司：94A62型 94A60型 65年第68季度 68第25页 第68页，共15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Boneh}等人，Lect。票据计算。科学。14081、171--202（2023；Zbl 07799094） 全文： 内政部
考沙尔·基绍尔 量子计算中密码学和机器学习的回顾和意义。 （英语） Zbl 07767107号 Yadav、Satya Prakash（编辑）等人，《量子安全加密算法和方法》。量子计算对网络安全的影响。量子计算。柏林：De Gruyter。159-175 (2023).MSC公司：81页68 68T05型 65G20个 81页94 68平方米25 81-02 PDF格式BibTeX公司 XML格式引用 \textit{K.Kishor}，in：量子安全加密算法和方法。量子计算对网络安全的影响。柏林：De Gruyter。159-175（2023年；Zbl 07767107） 全文： 内政部
劳拉·科瓦奇 基于代数的回路分析。 （英语） Zbl 07760745号 Dickenstein，Alicia（编辑）等人，第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆索，2023年7月24日至27日。纽约州纽约市：计算机协会（ACM）。41-42 (2023).MSC公司：68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{L.Kovács}，in：第48届符号和代数计算国际研讨会论文集，ISSAC，挪威特罗姆瑟，2023年7月24-27日。纽约州纽约市：计算机协会（ACM）。41-42（2023年；Zbl 07760745） 全文： 内政部
彼得·格约尔·詹森；金·古德斯特兰·拉森；吉·斯尔巴；尼古拉·延森·乌尔里克 在依存关系图验证中消除分离区域。 （英语） 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） 全文： 内政部 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） 全文： 内政部
鲁本·拉波尔；莫里斯·布吕诺格；马克·德内克 公平博弈求解算法的论证和重构。 （英语） Zbl 1529.68160号 Lopez-Garcia，Pedro（ed.）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13160, 170-187 (2023).MSC公司：60年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Lapauw}等人，Lect。票据计算。科学。13160170-187（2023年；兹比尔1529.68160） 全文： 内政部 arXiv公司 链接
玛丽亚·德尔·马尔·加拉多；佩德罗·梅里诺；劳拉·帕尼佐 抽象在模型检查中的作用。 （英语） Zbl 1529.68157号 Lopez-Garcia，Pedro（ed.）等人，《声明式编程和智能系统的分析、验证和转换》。在曼努埃尔·赫尔梅内吉尔多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季度 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；Zbl 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季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Rubio}等人，Lect。票据计算。科学。14000，240-259（2023；Zbl 1529.68163） 全文： 内政部
斯蒂芬诺·尼科莱蒂（Stefano M.Nicoletti）。；Lopuhaä-Zwakeberg，米兰；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）：量子程序的自动符号验证。 （英语） 兹比尔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公司
莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨 我们能交流吗？使用动态逻辑验证团队自动机。 （英语） 兹比尔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公司
劳拉·科瓦奇 自动化程序推理中的符号计算。 （英语） Zbl 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日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13881296-319（2023年）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Van der Plas}等人，Lect。票据计算。科学。13881296--319（2023年；Zbl 1529.68085） 全文： 内政部
伊格纳西奥·蒂拉博斯基；塔马拉·雷兹克；对手，泽维尔 通过抽象解释的合理符号执行及其在安全方面的应用。 （英语） Zbl 1529.68084号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13881, 267-295 (2023).MSC公司：68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{I.Tiraboschi}等人，Lect。票据计算。科学。13881267--295（2023年；Zbl 1529.68084） 全文： 内政部 arXiv公司 哈尔
阿米尔·卡夫什达尔·戈哈沙迪；艾哈迈德·哈利德·扎赫尔 使用树宽度和树宽度进行有效的过程间数据流分析。 （英语） 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公司
尼古拉·贝蒂埃；Khakpour、Narges 符号抽象堆用于多态信息流保护推断。 （英语） Zbl 1529.68079号 Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13881, 66-90 (2023).MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{N.Berthier}和\textit{N.Khakpour}，莱克特。票据计算。科学。13881、66-90（2023年；Zbl 1529.68079） 全文： 内政部 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季度 92秒20 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人，Lect。票据计算。科学。13881，25-43（2023；Zbl 1529.68151） 全文： 内政部
克莱门·奥伯特；托马斯·鲁比亚诺；内亚·鲁施；托马斯·塞勒 分配和并行化非规范循环。 （英语） 兹比尔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；Reginiano，或；米歇尔·阿鲁夫·梅迪纳；希勒，库格勒 通过正式验证进行模仿学习。 （英语） Zbl 1528.68347号 Gąsieniec，Leszek（编辑），SOFSEM 2023：计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议，SOFSEM 2023，斯洛伐克斯莫科维奇，2023年1月15日至18日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13878342-355（2023年）。MSC公司：68T05型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Raviv}等人，Lect。票据计算。科学。13878、342--355（2023年；Zbl 1528.68347） 全文： 内政部
Nathalie Bertrand 分布式算法：模型检查的一个具有挑战性的场所（邀请演讲）。 （英语） Zbl 07832742号 Bramas，Quentin（ed.）等人，第25届分布式系统原理国际会议，OPODIS 2021，法国斯特拉斯堡，2021年12月13日至15日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。217，第1条，第1页（2022年）。MSC公司：64岁以下 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}，LIPIcs——莱布尼茨国际程序。通知。217，第1条，第1页（2022；Zbl 07832742） 全文： 内政部
吉列尔莫·佩雷斯。；里塔姆·拉哈 回顾单计数器自动机的参数综合。 （英语） Zbl 07830389号 Manea，Florin（编辑）等人，第30届EACSL计算机科学逻辑年会，CSL 2022，德国哥廷根，虚拟会议，2022年2月14-19日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216，第33条，第18页（2022年）。MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Pérez}和\textit{R.Raha}，LIPIcs——莱布尼茨国际程序。通知。216，第33条，第18页（2022；Zbl 07830389） 全文： 内政部 arXiv公司
刘嘉辉；刘启鹏；钱罗文 打破了位置验证的经典不可能性。 （英语） Zbl 07829332号 Mark Braverman（编辑），《理论计算机科学会议的第13次创新》，ITCS 2022，美国加州伯克利，2022年1月31日至2月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215，第100条，第11页（2022年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}等人，LIPIcs——莱布尼茨国际程序。通知。215，第100条，第11页（2022；Zbl 07829332） 全文： 内政部 arXiv公司
詹姆斯·巴图塞克；朱利奥·马拉沃尔塔 零量子电路和应用的不可分辨混淆。 （英语） Zbl 07829247号 Mark Braverman（编辑），《理论计算机科学会议的第13次创新》，ITCS 2022，美国加州伯克利，2022年1月31日至2月3日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。215，第15条，第13页（2022年）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.Bartusek}和\textit{G.Malavolta}，LIPIcs——莱布尼茨国际程序。通知。215，第15条，第13页（2022；Zbl 07829247） 全文： 内政部 arXiv公司
桑卡拉纳拉亚南·克里希纳；阿德瓦伊·戈博莱；罗兰·迈耶；查克拉博蒂，索姆 发布获取下的参数化验证是PSPACE完成的。 （英语） Zbl 07824301号 Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。482-492 (2022).MSC公司：64岁以下 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishna}等人，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。482-492（2022年；兹bl 07824301） 全文： 内政部
圣地亚哥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}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第29号论文，第2页（2022；Zbl 07807737） 全文： 内政部
莫纳尔·纳拉西姆哈默西；桑卡拉纳拉亚南，斯里拉姆 海报摘要：解码离散时间线性混合系统的输出序列。 （英语） Zbl 07807736号 第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS物联网周的一部分，意大利米兰和虚拟，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） 全文： 内政部
阿南德·巴拉克利什南；斯特凡·雅克西奇；埃德加·阿吉拉尔；德扬·尼科维奇；乔蒂莫·德斯穆赫 海报摘要：符号自动机编码目标的无模型强化学习。 （英语） Zbl 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｝等人，在：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS物联网周的一部分，意大利米兰和虚拟，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） 全文： 内政部
伯恩德·芬克贝纳；考希·马利克；诺埃米，传球；Schledjewski，马尔特；安妮·凯瑟琳·施穆克 BOCoSy：小型但功能强大的符号输出反馈控制。 （英语） Zbl 07807732号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Finkbeiner}等人，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第24号论文，第11页（2022；Zbl 07807732） 全文： 内政部
詹姆斯·费雷兹；海塔姆·凯德；亚瑟·舒克利 快速BATLLNN：两级格型神经网络的快速盒分析。 （英语） 兹伯利07807731 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第23号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Ferlez}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。论文编号23，第11页（2022；Zbl 07807731） 全文： 内政部 arXiv公司
亚瑟·克莱维尔；劳拉·阿尔蒂莉·桑巴托洛美；埃里克·阿塞林；克里斯托夫·加里昂；克莱尔·佩吉蒂 基于机器学习的网络物理系统的验证：一项比较研究。 （英语） Zbl 07807730号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第22号论文，第16页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Clavière}et al.，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第22号论文，16页（2022；Zbl 07807730） 全文： 内政部 哈尔
亚当·索普；Meeko Oishi先生 SOCKS：使用核方法的随机最优控制和可达性工具箱。 （英语） Zbl 07807729号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第21号论文，第12页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Thorpe}和\textit{M.Oishi}，in：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第21号论文，第12页（2022；Zbl 07807729） 全文： 内政部 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯；加布里埃尔·德·阿尔伯克基·格莱泽；伊沃·范斯特拉伦；Manuel jun，马祖。 ETMetera：超出事件触发控制。 （英语） Zbl 07807728号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第20号论文，第11页（2022；Zbl 07807728） 全文： 内政部 arXiv公司
亚历山大·韦伯；伊利赛·马科维奇克（Elisei Macoveiciuc）；冈瑟·雷西格 ABS：一种用于空间效率符号合成的正式正确的软件工具。 （英语） Zbl 07807727号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第19号论文，第10页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Weber}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第19号论文，第10页（2022；Zbl 07807727） 全文： 内政部
圣地亚哥Jimenez Leudo；里卡多·桑费利斯（Ricardo G.Sanfelice）。 两层零和混合对策最优性和渐近稳定性的充分条件。 （英语） Zbl 07807726号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第18号文件，第11页（2022）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Jimenez Leudo}和\textit{R.G.Sanfelice}，《第25届ACM混合系统国际会议论文集：计算和控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第18号论文，第11页（2022；Zbl 07807726） 全文： 内政部
胡萨姆·阿巴斯；理查德·佩弗莱 时序逻辑的多分辨率分析。 （英语） 兹伯利07807725 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第17号论文，第10页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Abbas}和\textit{R.Pelphrey}，in：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第17号论文，第10页（2022；Zbl 07807725） 全文： 内政部
德奥利维拉·奥利维拉，马特乌斯；奥尔加·特维雷蒂纳 死亡率和边到边的可达性在表面上是可以决定的。 （英语） Zbl 07807724号 第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS物联网周的一部分，意大利米兰和虚拟，2022年5月4日至6日。纽约州纽约市：计算机协会（ACM）。第16号论文，第10页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.de Oliveira Oliveirea}和\textit{O.Tveretina}，摘自：第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第16号论文，第10页（2022；Zbl 07807724） 全文： 内政部
穆罕默德·马盖内姆；阿德纳·索乌德；安东尼奥·洛里亚 分布式混合梯度算法及其在协作自适应估计中的应用。 （英语） Zbl 07807723号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第15号论文，第10页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Maghenem}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第15号论文，第10页（2022；Zbl 07807723） 全文： 内政部 哈尔
弗吉尼亚州德鲍什；Della Rossa，马特奥；拉斐尔·荣格斯。 路径完备Lyapunov方法的模板依赖排序的充要条件。 （英语） Zbl 07807722号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第14号论文，第10页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{V.Debauche}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第14号论文，第10页（2022；Zbl 07807722） 全文： 内政部 链接
乔治·阿赞；安托万·吉拉德；保罗·梅森；卢卡·格雷科 具有（ω）-正则切换序列的离散时间切换线性系统的稳定性。 （英语） Zbl 07807721号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第13号论文，第7页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Aazan}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。论文编号13，第7页（2022；Zbl 07807721） 全文： 内政部 哈尔
马哈提·阿南德；毗湿奴·穆拉利；阿舒托什·特里维迪；马吉德·扎马尼 随机系统的k-感应势垒证明。 （英语） Zbl 07807720号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Anand}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第12号论文，第11页（2022；Zbl 07807720） 全文： 内政部
盖·谢尔；萨德拉·萨德拉迪尼；俄罗斯·特德雷克；Kress-Gazit，哈达斯 具有信号时序逻辑规范的随机系统概率验证的椭圆切片采样。 （英语） Zbl 07807719号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第11号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit｛G.Scher｝等人，在：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS物联网周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第11号文件，第11页（2022；Zbl 07807719） 全文： 内政部 arXiv公司
林德曼，拉尔斯；阿莱娜·罗迪奥诺娃；乔治·帕帕斯 随机信号的时间鲁棒性。 （英语） Zbl 07807718号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2022；Zbl 07807718） 全文： 内政部 arXiv公司
毛元奇；白塞酸式；皮埃尔·洛伊·卡洛什；亚历山大·查普托 用信号时序逻辑规范实现最优控制的逐次凸化。 （英语） Zbl 07807717号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mao}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第9号论文，第7页（2022；Zbl 07807717） 全文： 内政部 链接
奎西·拉特利奇；内克米耶·奥扎伊 使用双线性优化对未知线性系统进行正确构造的探索和开发。 （英语） Zbl 07807716号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第8号文件，第11页（2022）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{K.Rutledge}和\textit{N.Ozay}，in：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第8号论文，第11页（2022；Zbl 07807716） 全文： 内政部
加布里埃尔·德·阿尔伯克基·格莱泽；库什拉伊·马德纳尼；Manuel jun，马祖。 一个更简单的替代方案：最小化过渡系统模交替模拟等效性。 （英语） Zbl 07807715号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第7号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.de A.Gleizer}等人，in：《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第7号论文，第11页（2022；Zbl 07807715） 全文： 内政部 arXiv公司
莫纳尔·纳拉西姆哈默西；桑卡拉纳拉亚南，斯里拉姆 离散时间线性混合系统的输出序列解码。 （英语） Zbl 07807714号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第6号论文，第7页（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）。第6号论文，第7页（2022；Zbl 07807714） 全文： 内政部
巴西姆·戈尔贝尔；维纳亚克·帕布 单变量TPTL的线性时间监控。 （英语） Zbl 07807713号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第5号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Ghorbel}和\textit{V.Prabhu}，in：第25届ACM混合系统国际会议论文集：计算和控制，HSCC 2022，CPS-IoT周的一部分，意大利米兰和虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第5号论文，第11页（2022；Zbl 07807713） 全文： 内政部
利登·埃德兰，约翰；亚历山大·唐泽；克努特·奥凯森 使用集中伪造的多要求测试。 （英语） Zbl 07807712号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第4号论文，第11页（2022年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{J.Lidén Eddeland}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周的一部分，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第4号论文，第11页（2022；Zbl 07807712） 全文： 内政部 链接
赵庆叶；陈欣；赵卓宇；张一凡；唐恩毅；李宣东 使用神经网络验证神经网络控制系统。 （英语） Zbl 07807711号 第25届ACM混合系统国际会议论文集：计算与控制，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2022年）。MSC公司：60年第68季度 68T05型 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Q.Zhao}等人，《第25届ACM混合系统国际会议论文集：计算与控制》，HSCC 2022，CPS-IoT周，意大利米兰，虚拟，2022年5月4-6日。纽约州纽约市：计算机协会（ACM）。第3号论文，第11页（2022；Zbl 07807711） 全文： 内政部