坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析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物联网周的一部分,美国德克萨斯州圣安东尼奥,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物联网周的一部分,美国德克萨斯州圣安东尼奥,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) 全文: 内政部
鲁亚·卡拉古勒;尼科斯·阿雷奇加;最好的,安德鲁;乔纳森·迪卡斯特罗;内克米耶Ozay 海报摘要:自动驾驶汽车的安全保障偏好学习方法。 (英语) 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}等人,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物联网周的一部分,美国德克萨斯州圣安东尼奥,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公司
吉安尼斯·德尔姆帕尔塔基斯;Morteza拉希贾尼扬;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 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) 全文: 内政部
鲁本·拉波尔;莫里斯·布吕诺格;马克·德内克 公平博弈求解算法的论证和重构。 (英语) 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日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。14000427-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公司
ter Beek,Maurice H。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗?使用动态逻辑验证团队自动机。 (英语) 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公司
劳拉·科瓦奇 自动程序推理中的符号计算。 (英语) 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子句。 (英语) Zbl 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.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公司
尼古拉·贝蒂埃;纳尔赫斯·卡普尔 符号抽象堆用于多态信息流保护推断。 (英语) 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季度 92B20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Banerjee}等人,Lect。注释计算。科学。13881,25-43(2023;Zbl 1529.68151) 全文: 内政部
克莱门·奥伯特;托马斯·鲁比亚诺;内亚·鲁施;托马斯·塞勒 分配和并行化非规范循环。 (英语) 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;Reginiano,或;米歇尔·阿鲁夫·梅迪纳;希勒尔·库格勒 通过使用形式验证通过模仿学习。 (英语) 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) 全文: 内政部
克里斯蒂安·罗伯特。 50种假设的贝叶斯检验。 (英语) Zbl 07817757号 Rao,Arni S.R.Srinivasa(编辑)等人,《贝叶斯方法和实现的进展》。阿姆斯特丹:爱思唯尔/学术出版社。手。《统计》第47卷,第103-120页(2022年)。MSC公司:2015年1月62日 62A01型 PDF格式BibTeX公司 XML格式引用 \textit{C.P.Robert},Handb。Stat.47,103-120(2022;Zbl 07817757) 全文: arXiv公司 链接
圣地亚哥Jimenez Leudo;里卡多·桑费利斯 两层零和混合对策的最优性和渐近稳定性。 (英语) Zbl 07807738号 第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS物联网周的一部分,意大利米兰和虚拟,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-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) 全文: 内政部
阿南德·巴拉克利什南;斯特凡·雅克西奇;埃德加·阿吉拉尔;德扬·尼科维奇;乔蒂莫·德斯穆赫 海报摘要:符号自动机编码目标的无模型强化学习。 (英语) 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}等人,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) 全文: 内政部
伯恩德·芬克贝纳;考希·马利克;诺埃米,传球;马尔特·施莱德朱夫斯基;安妮·凯瑟琳·施穆克 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:两级格型神经网络的快速盒分析。 (英语) Zbl 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物联网周的一部分,意大利米兰和虚拟,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:一种用于空间效率符号合成的正式正确的软件工具。 (英语) 兹伯利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) 全文: 内政部
胡萨姆·阿巴斯;理查德·佩弗里 时序逻辑的多分辨率分析。 (英语) Zbl 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-IoT周,意大利米兰,虚拟,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,马特奥;Jungers,拉斐尔·M。 路径完备Lyapunov方法的模板依赖排序的充要条件。 (英语) 兹伯利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,哈达斯 具有信号时序逻辑规范的随机系统概率验证的椭圆切片采样。 (英语) 兹伯利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}等人,in:《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,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) 全文: 内政部 链接
奎西·拉特利奇;内克米耶Ozay 使用双线性优化对未知线性系统进行正确构造的探索和开发。 (英语) 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) 全文: 内政部
利登·埃德兰,约翰;亚历山大·唐泽;克努特·奥凯森 使用集中伪造的多要求测试。 (英语) 兹伯利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) 全文: 内政部
Tan,Yong Kiam先生;斯特凡·米奇;安德烈·普拉泽 用逻辑验证切换系统的稳定性。 (英语) Zbl 07807710号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}等人,《第25届ACM混合系统国际会议论文集:计算与控制》,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第2号论文,第11页(2022;Zbl 07807710) 全文: 内政部 arXiv公司
阿文德·阿迪穆兰;因德拉尼尔·萨哈 在可达性分析中使用并的交集最小化多向线性化误差。 (英语) Zbl 07807709号 第25届ACM混合系统国际会议论文集:计算与控制,HSCC 2022,CPS-IoT周,意大利米兰,虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2022年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Adimoolam}和\textit{I.Saha},in:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS-IoT周的一部分,意大利米兰和虚拟,2022年5月4-6日。纽约州纽约市:计算机协会(ACM)。第1号论文,第11页(2022;Zbl 07807709) 全文: 内政部
杰雷米·柯尼格 在范畴代数中建立游戏语义。 (英语) Zbl 1530.68154号 Kishida,Kohei(编辑),《2021年第四届应用范畴理论国际会议论文集》,ACT 2021,英国剑桥,2021年7月12-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)372368-383(2022)。MSC公司:68问题55 18 C50 68号30 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{J.Koenig},电子。程序。西奥。计算。科学。(EPTCS)372368-383(2022年;Zbl 1530.68154) 全文: arXiv公司 链接
乍得内斯特 情境过渡系统。 (英语) Zbl 1530.18023号 Kishida,Kohei(编辑),《2021年第四届应用范畴理论国际会议论文集》,ACT 2021,英国剑桥,2021年7月12-16日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)372103-115(2022)。MSC公司:2005年5月18日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Nester},电子。程序。西奥。计算。科学。(EPTCS)372,103--115(2022;Zbl 1530.18023) 全文: arXiv公司 链接
雷纳托阿坎波拉;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;瓦伦蒂诺·皮科蒂 基于时间线的游戏的控制器合成。 (英语) Zbl 1530.68238号 Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)370、131-146(2022)。MSC公司:68T20型 60年第68季度 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Acampora}等人,《电子》。程序。西奥。计算。科学。(EPTCS)370、131--146(2022年;Zbl 1530.68238) 全文: arXiv公司 链接
劳拉·博泽利;阿德里亚诺·佩隆 无限字上的参数区间时序逻辑。 (英语) Zbl 1530.68155号 Ganty,Pierre(编辑)等人,第13届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2022,西班牙马德里,2022年9月21日至23日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)37097-113(2022)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{A.Peron},电子。程序。西奥。计算。科学。(EPTCS)370、97--113(2022年;Zbl 1530.68155) 全文: arXiv公司 链接
苏菲·纽鲍尔(Sophie A.Neubauer)。;拉杜·格罗苏 基于拉格朗日技术的连续深度模型的鲁棒性分析。 (英语) Zbl 1528.68231号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660256-649(2022)中所述。MSC公司:60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Neubauer}和\textit{R.Grosu},Lect。注释计算。科学。13660625--649(2022年;Zbl 1528.68231) 全文: 内政部 arXiv公司
拉杰夫·阿鲁尔;苏古曼·班萨尔;奥斯伯特·巴斯塔尼;基绍尔州佐提穆鲁甘 强化学习中转换规范的框架。 (英语) 兹比尔1528.68205 Raskin,Jean-François(编辑)等人,《系统设计原理》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 604-624 (2022).MSC公司:60年第68季度 68T05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。13660、604--624(2022年;Zbl 1528.68205) 全文: 内政部 arXiv公司
林薇薇安;伊万诺夫,拉多斯拉夫;詹姆斯·韦默;奥列格·索科尔斯基;Lee,Insup公司 T4V:探索提高神经网络验证可扩展性的神经网络架构。 (英语) Zbl 1528.68230号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 585-603 (2022).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{V.Lin}等人,Lect。注释计算。科学。13660585--603(2022年;Zbl 1528.68230) 全文: 内政部
兰吉特·贾拉 嵌入式领域特定验证器。 (英语) Zbl 1528.68227号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 535-553 (2022).MSC公司:60年第68季度 68甲18 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala},莱克特。注释计算。科学。13660、535--553(2022年;Zbl 1528.68227) 全文: 内政部
哈达尔,弗伦克尔;奥尔纳·格伦伯格;罗滕贝格,Bat Chen;莎莱·申瓦尔德 使用正式验证技术自动修复程序。 (英语) Zbl 1528.68079号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660511-534(2022)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Frenkel}等人,Lect。注释计算。科学。13660、511--534(2022年;Zbl 1528.68079) 全文: 内政部
Incer,伊尼戈;阿尔伯特·本文尼斯特;阿尔贝托Sangiovanni-Vincentelli;Sanjit A.Seshia。 从接口自动机到超契约。 (英语) Zbl 1528.68186号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660, 477-493 (2022).MSC公司:65年第68季度 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Incer}等人,Lect。注释计算。科学。13660477--493(2022年;Zbl 1528.68186) 全文: 内政部