米歇尔·帕斯夸;马里诺·米库兰 AbU的行为等效性:验证分布式物联网系统的安全性。 (英文) Zbl 07833682号 西奥。计算。科学。 998,文章ID 114537,22 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Pasqua}和\textit{M.Miculan},Theor。计算。科学。998,文章ID 114537,22 p.(2024;Zbl 07833682) 全文: 内政部
尼古拉·苏沃罗夫(Nikolai M.Suvorov)。;伊琳娜·洛马佐娃(Irina A.Lomazova)。 数据感知过程模型的验证:检查数据Petri网的可靠性。 (英文) Zbl 07820972号 J.日志。阿尔盖布。方法计划。 138,文章ID 100953,28 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.M.Suvorov}和\textit{I.A.Lomazova},J.Log。阿尔盖布。方法计划。138,文章ID 100953,28 p.(2024;Zbl 07820972) 全文: 内政部
尤瓦拉吉·塞尔瓦拉吉;乔纳斯·克鲁克;沃尔夫冈·阿伦特;马丁·费比安 证明不安全的控制器不安全。 (英文) Zbl 07803184号 J.日志。阿尔盖布。方法计划。 137,文章ID 100939,17 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Selvaraj}等人,J.Log。阿尔盖布。方法计划。137,文章ID 100939,17 p.(2024;Zbl 07803184) 全文: 内政部
马可·T·莫拉赞。 基于编程的形式语言和自动机理论。设计、实施、验证和证明。 (英文) Zbl 07786059号 计算机科学课文查姆:施普林格(ISBN 978-3-031-43972-8/hbk;978-3-331-43975-9/pbk;978-1-031-43973-5/电子书)。第二十三章,第524页。(2024).MSC公司:68-01 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.T.Morazán},基于编程的形式语言和自动机理论。设计、实施、验证和证明。查姆:施普林格(2024;Zbl 07786059) 全文: 内政部
马克·韦兹林格;尼古拉斯·科奇杜普尔;斯坦利·巴克;马蒂亚斯·阿尔霍夫 使用可达集的内外近似对线性系统进行全自动验证。 (英文) Zbl 07811000号 IEEE传输。自动。控制 68,第12号,7771-7786(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Wetzlinger}等人,IEEE Trans。自动。控制68,编号12,7771--7786(2023;Zbl 07811000) 全文: 内政部 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}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,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}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,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) 全文: 内政部
何其恒;Ilyes,罗兰;桑伯格,扎卡里;莫特萨·拉希贾尼安 海报摘要:基于采样的方法,用于不确定复杂系统的鲁棒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}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,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) 全文: 内政部
拉兹,达芙娜;杨利仁;布莱恩·翁伯格;内克米耶·奥扎伊 海报摘要:坐姿到站姿期间人体稳定性的可达性和受控不变性。 (英文) 兹伯利07807964 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第23号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{D.Raz}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。论文编号23,第2页(2023;Zbl 07807964) 全文: 内政部
奥利弗·舍恩;Van Huijgevoort,Birgit公司;苏菲·海瑟特;萨代赫·苏贾尼 海报摘要:参数随机系统的数据驱动的正确设计控制。 (英文) Zbl 07807963号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{O.Schön}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第22号论文,第2页(2023;Zbl 07807963) 全文: 内政部 链接
达斯,斯潘丹;帕维特拉·普拉巴卡 海报摘要:平面概率分段常微分系统的稳定性分析。 (英文) Zbl 07807962号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Das}和\textit{P.Prabhakar},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第21号论文,第2页(2023;Zbl 07807962) 全文: 内政部
Stephen Chong先生;拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼;向、健 网络物理系统传感器攻击的定量稳健性分析。 (英文) Zbl 07807961号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Chong}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第20号论文,第12页(2023;Zbl 07807961) 全文: 内政部
瓦尔·法塔斯西;海塔姆·凯德;瓦伦·山本;亚瑟·舒克利 Bern-NN:使用Bernstein多项式区间算法的神经网络紧界传播。 (英文) Zbl 07807960号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{W.Fatnassi}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第19号文件,第11页(2023;Zbl 07807960) 全文: 内政部 arXiv公司
托拜厄斯·拉德纳;马蒂亚斯·阿尔霍夫 使用灵敏度分析的神经网络验证中的自动抽象细化。 (英文) Zbl 07807959号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.Ladner}和\textit{M.Althoff},in:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS-IoT周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第18号论文,第13页(2023;Zbl 07807959) 全文: 内政部 链接
罗、二台;尼古拉斯·科奇杜普尔;斯坦利·巴克 利用多项式分区图对具有不确定参数的线性系统进行可达性分析。 (英文) 兹伯利07807958 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Luo}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第17号论文,第12页(2023;Zbl 07807958) 全文: 内政部
巴博特、贝诺特;尼古拉斯·巴塞特;亚历山大·顿泽 Wordgen:一个定时单词生成工具。 (英文) Zbl 07807957号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Barbot}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第16号论文,第7页(2023;Zbl 07807957) 全文: 内政部 哈尔
阿尼鲁德·钱德拉特;托马斯·埃尔南德斯·阿科斯塔;坦马·坎代特;朱利亚·佩德里利;乔治·费内科斯 秘密攻击形式化为伪造CPS安全性的STL公式。 (英文) 兹伯利07807956 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Chandratre}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第15号论文,第8页(2023;Zbl 07807956) 全文: 内政部
阿克谢·马姆巴卡姆;尤金·亚萨林;尼古拉斯·巴塞特;Thao Dang先生 参数定时正则表达式的模式匹配和参数识别。 (英文) Zbl 07807955号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Mambakam}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,2023年5月9-12日。纽约州纽约市:计算机协会(ACM)。第14号论文,第13页(2023;Zbl 07807955) 全文: 内政部 哈尔
Van Huijgevoort,Birgit公司;奥利弗·舍恩;萨代赫·苏贾尼;苏菲·海瑟特 SySCoRe:通过随机耦合关系进行合成。 (英文) Zbl 07807954号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第13号文件,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{B.Van Huijgevoort}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第13号文件,第11页(2023;Zbl 07807954) 全文: 内政部 arXiv公司
吉安尼斯·德尔姆帕尔塔基斯;莫特萨·拉希贾尼安;Manuel jun,马祖。;卢卡·劳伦蒂 具有连续动作空间的区间马尔可夫决策过程。 (英文) Zbl 07807953号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Delimpaltadakis}等人,in:《第26届ACM混合系统国际会议论文集:计算与控制》,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第12号论文,第10页(2023;Zbl 07807953) 全文: 内政部 arXiv公司
伊本·格拉西亚;博斯科斯,迪米特里斯;卢卡·劳伦蒂;Manuel jun,马祖。 切换随机系统的分布鲁棒策略综合。 (英文) Zbl 07807952号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号论文,第10页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{I.Gracia}等人,in:第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第11号论文,第10页(2023;Zbl 07807952) 全文: 内政部 arXiv公司
阿曼·费尔多西;马蒂亚斯·福格尔;托马斯·诺瓦克;乌尔里希·施密德 阈值模式开关ODE和数字电路延迟模型的连续性。 (英文) Zbl 07807951号 第26届ACM混合系统国际会议论文集:计算与控制,HSCC 2023,第16届CPS-IoT周,美国德克萨斯州圣安东尼奥,2023年5月9日至12日。纽约州纽约市:计算机协会(ACM)。第10号论文,第11页(2023年)。MSC公司:65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{A.Ferdowsi}等人,在:第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}等人,在:第26届ACM混合系统国际会议论文集:计算和控制,HSCC 2023,第16届CPS物联网周的一部分,美国德克萨斯州圣安东尼奥,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) 全文: 内政部
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱 用于具有加权信号时间逻辑的控制合成的混合整数线性规划方法。 (英文) 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。诉讼程序。第五部分查姆:施普林格。勒克特。注释计算。科学。14085, 421-454 (2023).MSC公司:68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Barbosa}等人,Lect。注释计算。科学。14085、421--454(2023;Zbl 07800240) 全文: 内政部
穆尼奥斯,塞萨尔A。;毛里西奥·阿亚拉·林科恩;马里亚诺·莫斯卡托。;达特尔,亚伦·M。;Anthony J.Narkawicz。;阿丽亚娜·阿尔维斯·阿尔梅达;安德烈亚·艾夫拉尔·达席尔瓦;蒂亚戈·费雷拉·拉莫斯 一阶递归函数终止准则的形式化验证。 (英文) Zbl 07800193号 J.汽车。推理 67,第4号,第40号文件,第30页(2023).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Muñoz}等人,J.Autom。推理67,第4号,论文40,30页(2023;Zbl 07800193) 全文: 内政部
詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时序逻辑。 (英文) Zbl 07798814号 Inf.计算。 295,A部分,文章ID 105087,22 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{J.O.Gutsfeld}等人,《信息计算》。295,A部分,文章ID 105087,22 p.(2023;Zbl 07798814) 全文: 内政部
弗朗西斯科·科森蒂诺;哈拉尔德·奥伯豪塞;亚历山德罗·阿巴特 利用Malliavin演算进行概率安全的无网格计算。 (英文) Zbl 07794484号 IEEE传输。自动。控制 68,第10号,6369-6376(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{F.Cosentino}等人,IEEE Trans。自动。控制68,编号10,6369--6376(2023;Zbl 07794484) 全文: 内政部 arXiv公司
格格利·科瓦什奈;Dorina Hedvig接吻;佩特尔·姆林科 量化神经网络的形式化验证。 (英文) Zbl 07777136号 安。数学。通知。 57, 36-48 (2023).MSC公司:68T07型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Kovásznai}等人,《数学年鉴》。通知。57、36-48(2023年;Zbl 07777136) 全文: 内政部
哈维尔·埃斯帕尔扎;迈克尔·布隆丁 自动机理论。算法方法。 (英文) 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) 全文: 链接
第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 07744614号 IEEE传输。自动。控制 68,编号5,3011-3024(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Nejati}等人,IEEE Trans。自动。控制68,编号5,3011--3024(2023;Zbl 07744614) 全文: 内政部
伊利赛·马科维奇克(Elisei Macoveiciuc);冈瑟·雷西格 具有内存减少保证的即时符号合成。 (英文) Zbl 07742280号 IEEE传输。自动。控制 68,第4期,2576-2583(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{E.Macoveiciuc}和\textit{G.Reissig},IEEE Trans。自动。控制68,编号4,2576--2583(2023;Zbl 07742280) 全文: 内政部
托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;伊娜·谢弗 灵活的正确施工规划。 (英文) Zbl 07731927号 日志。方法计算。科学。 19,第2号,第16号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,日志。方法计算。科学。19,第2号,第16号论文,36页(2023;Zbl 07731927) 全文: 内政部 arXiv公司
阿希姆·D·布鲁克。;艾米·斯特尔 在Isabelle/HOL中验证前馈神经网络的分类。 (英文) Zbl 1529.68154号 Chechik,Marsha(编辑)等人,《形式方法》。第25届国际研讨会,FM 2023,德国吕贝克,2023年3月6日至10日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。14000, 427-444 (2023).MSC公司:60年第68季度 68T07型 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Brucker}和\textit{A.Stell},莱克特。注释计算。科学。14000,427--444(2023;Zbl 1529.68154) 全文: 内政部
费边·鲍尔·马尔夸特;斯特凡·洛伊;克里斯蒂安·席林 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) 全文: 内政部
劳拉·科瓦奇 自动程序推理中的符号计算。 (英文) 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年;兹比尔1529.68080) 全文: 内政部
阿夫拉罕·拉维夫;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) 全文: 内政部
努什·迈赫迪波尔;马蒂亚斯·阿尔霍夫;Radboud Duintjer特本斯;卡林·贝尔塔 在自动驾驶中遵守道路规则的正式方法:最新技术和重大挑战。 (英文) Zbl 1519.93159号 Automatica公司 152,文章ID 110692,第15页(2023).MSC公司:93C85号 93个B03 03B44号 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{N.Mehdipour}等人,Automatica 152,文章ID 110692,15 p.(2023年;Zbl 1519.93159) 全文: 内政部 链接
王国辉;陈珊妍;关勇;史志平;李锡盟;张敬之 三指灵巧手逆运动学的形式化。 (英文) Zbl 1520.70003号 J.日志。阿尔盖布。方法计划。 133,文章ID 100861,20 p.(2023). 审核人:马丁·普弗纳(因斯布鲁克) MSC公司:70B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{G.Wang}等人,J.Log。阿尔盖布。方法计划。133,文章ID 100861,20 p.(2023;Zbl 1520.70003) 全文: 内政部
Stupnikov,S.A.公司。 RDF数据模型中数据集成的查询驱动验证。 (英文) 兹伯利07688806 Lobachevskii J.数学。 44,第1号,205-218(2023).MSC公司:68倍 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Stupnikov},Lobachevskii J.数学。44,编号1,205--218(2023;Zbl 07688806) 全文: 内政部
阿曼多·卡斯塔涅达;奥雷利·胡罗;菲利普·奎因内克;罗伊,马蒂厄 并发算法的模块化证明任务。 (英文) Zbl 07687226号 Inf.计算。 292,文章ID 105040,21 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Castañeda}等人,《信息计算》。292,文章ID 105040,21 p.(2023;Zbl 07687226) 全文: 内政部 arXiv公司 哈尔
马丁·马丁,恩里克;黑山,曼努埃尔;阿德里安·里斯科;胡安·罗德里格斯·霍塔拉;鲁宾·鲁比奥 使用可执行规范语言验证ROS NavFn规划器。 (英文) Zbl 07665444号 J.日志。阿尔盖布。方法计划。 132,文章ID 100860,23 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{E.Martin-Martin}等人,J.Log。阿尔盖布。方法计划。132,文章ID 100860,23 p.(2023;Zbl 07665444) 全文: 内政部
达纳·理查兹;亨利·汉堡包 计算机科学的逻辑和语言模型。第三版。 (英文) 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格式 全文: 内政部
乌里·法伦贝格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski Catoid和模态卷积代数。 (英文) Zbl 07657582号 代数大学。 84,第2期,第10号论文,40页(2023年).MSC公司:03B45号 07年6月 20M75型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,《高等代数》。84,第2号,第10号论文,40页(2023;Zbl 07657582) 全文: 内政部
张楠;于朝峰;段振华;田聪 统一时序逻辑的证明系统。 (英文) 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) 全文: 内政部
朱利安·古铁雷斯;科瓦拉(Szymon Kowara);萨里特·克劳斯;托马斯·斯蒂普尔斯;迈克尔·伍尔德里奇 合作并发游戏。 (英文) Zbl 07638284号 Artif公司。智力。 314,文章ID 103806,26 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Artif。智力。314,文章ID 103806,26 p.(2023;Zbl 07638284) 全文: 内政部 arXiv公司
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-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) 全文: 内政部
詹姆斯·费雷兹;海塔姆·凯德;亚瑟·舒克利 Fast 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公司
亚瑟·克莱维尔;劳拉·阿尔蒂莉·桑巴托洛美;埃里克·阿塞林;克里斯托夫·加里昂;克莱尔·佩吉蒂 基于机器学习的网络物理系统的验证:一项比较研究。 (英文) 兹伯利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}等人,在:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS物联网周的一部分,意大利米兰和虚拟,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-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) 全文: 内政部
穆罕默德·马盖内姆;阿德纳·索乌德;安东尼奥·洛里亚 分布式混合梯度算法及其在协作自适应估计中的应用。 (英文) 兹伯利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}等人,在:第25届ACM混合系统国际会议论文集:计算和控制,HSCC 2022,CPS物联网周的一部分,意大利米兰和虚拟,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-感应势垒证明。 (英文) 兹伯利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) 全文: 内政部
盖·谢尔;萨德拉·萨德拉迪尼;俄罗斯·特德雷克;克雷斯·加齐特,哈达斯 具有信号时序逻辑规范的随机系统概率验证的椭圆切片采样。 (英文) 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}等人,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公司
毛元奇;白塞州阿基姆;皮埃尔·洛伊·卡洛什;亚历山大·查普托 用信号时序逻辑规范实现最优控制的逐次凸化。 (英文) 兹伯利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) 全文: 内政部
利登·埃德兰,约翰;亚历山大·唐泽;克努特·奥凯森 使用集中伪造的多要求测试。 (英文) 兹伯利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) 全文: 内政部 链接
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公司 链接
费利克斯·A·沃尔夫。;马尔特·施韦霍夫;彼得·米勒 复杂逻辑的简明大纲:TaDA的校对大纲检查器。 (英文) Zbl 07785153号 形式方法系统。设计。 61,编号1,110-136(2022).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Wolf}等人,《形式方法系统》。设计。61,编号1,110--136(2022;Zbl 07785153) 全文: 内政部 arXiv公司 OA许可证
卞金亭;Hiep,Hans-Dieter A。;德波尔,弗兰克·S。;斯蒂恩·德古乌 在KeY中集成ADT及其在基于历史的收集推理中的应用。 (英文) Zbl 07785151号 形式方法系统。设计。 61,编号1,63-89(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{卞杰}等,《形式方法系统》。设计。61,编号1,63--89(2022;Zbl 07785151) 全文: 内政部 OA许可证
查尔斯·莫明;加勒坦卡西尔;弗朗索瓦·萨维耶·斯坦达特 手工制作:通过手动优化改进硬件中的自动掩蔽。 (英文) Zbl 07777041号 Balasch,Josep(编辑)等人,《建设性侧通道分析和安全设计》。第十三届国际研讨会,COSADE 2022,比利时鲁汶,2022年4月11-12日。诉讼程序。查姆:斯普林格。勒克特。注释计算。科学。13211, 257-275 (2022).MSC公司:68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{C.Momin}等人,Lect。注释计算。科学。13211,257--275(2022;Zbl 07777041) 全文: 内政部
马尔科·萨利泽;马丁·兰格 简单神经网络中的可达性。 (英文) Zbl 07770060号 芬丹。通知。 189,编号3-4,241-259(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Sälzer}和\textit{M.Lange},Fundam。通知。189,编号3--4,241--259(2022;Zbl 07770060) 全文: 内政部 arXiv公司
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;马可·罗维里;斯特凡诺·托内塔 验证模理论。 (英文) 兹伯利07757158 形式方法系统。设计。 60,第3期,452-481(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。60,编号3,452--481(2022;Zbl 07757158) 全文: 内政部 OA许可证
西蒙娜·莫托尼亚;戴安娜·克里斯蒂;☑托洛塔,黛安娜;亚瑟·约瑟夫·莫尔纳 用于静态代码分析的形式化概念分析模型。 (英文) 兹伯利07752809 Carpathian J.数学。 38,第1号,159-168(2022).MSC公司:68号30 03G10年 06B15号 PDF格式BibTeX公司 XML格式引用 \textit{S.Motogna}等人,《喀尔巴阡数学杂志》。38,第1号,159--168(2022;Zbl 07752809) 全文: 内政部
文,敏;乌富克托普库 在具有时序逻辑规范的对抗环境中,学习可能大致正确。 (英文) Zbl 07741694号 IEEE传输。自动。控制 67,编号10,5055-5070(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Wen}和\textit{U.Topcu},IEEE Trans。自动。控制67,编号10,5055--5070(2022;Zbl 07741694) 全文: 内政部