斯蒂芬·伊戈列维奇·巴什马科夫；基里尔·亚历克桑德罗维奇·斯梅利克 多代理计算树逻辑的关系版本\（\mathcal{CTLK}\）。 （俄语。英文摘要） Zbl 07832085号 伊兹夫。伊尔库茨克。戈斯。州立大学。材料。 47, 78-92 (2024).MSC公司：03B44号 03B42号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov}和\textit{K.A.Smelykh}，Izv。伊尔库茨克。戈斯。州立大学。材料47、78--92（2024；Zbl 07832085） 全文： 内政部 链接
Eléa Thibault Greugny；弗朗索瓦·法赫斯；奥维迪乌·拉杜列斯库；彼得·斯莫利安；乔治·N·斯塔马塔斯。 具有AMP相互作用的皮肤微生物组模型以及种群动力学中的准静态与稳定性分析。 （英语） Zbl 07784208号 西奥。计算。科学。 983，文章ID 114294，第19页（2024）.MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{E.T.Greugny}等人，Theor。计算。科学。983，文章ID 114294，19 p.（2024；Zbl 07784208） 全文： 内政部 arXiv公司
米罗斯拉夫·乔迪尔；安东·库切拉 PCTL定量片段的可满足性问题。 （英语） Zbl 07753727号 J.计算。系统。科学。 139，文章ID 103478，16 p.（2024）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Chodil}和\textit{A.Kučera}，J.Compute。系统。科学。139，文章ID 103478，16 p.（2024；Zbl 07753727） 全文： 内政部
坦马·坎代特；阿尼鲁德·钱德拉特；瓦尔斯坦·巴普蒂斯塔；朱利亚·佩德里利；乔治·费内科斯 演示摘要：在微软飞行模拟器上通过伪造分析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 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） 全文： 内政部
奥利弗·舍恩；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） 全文： 内政部 链接
阿尼鲁德·钱德拉特；托马斯·埃尔南德斯·阿科斯塔；坦马·坎代特；朱利亚·佩德里利；乔治·费内科斯 将窃取攻击形式化为伪造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） 全文： 内政部
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公司
古斯塔沃·卡多纳。；Kamale，迪莎；克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 （英语） 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｝等人，在：第26届ACM混合系统国际会议论文集：计算和控制，HSCC 2023，第16届CPS物联网周的一部分，美国德克萨斯州圣安东尼奥，2023年5月9-12日。纽约州纽约市：计算机协会（ACM）。第3号论文，第12页（2023；Zbl 07807944） 全文： 内政部
威廉·康拉迪；黛拉·莫妮卡，达里奥；埃米利奥·穆尼奥斯·韦拉斯科；圭多·西亚维科；Stan、Ionel Eduard Fuzzy-Harpern和Shoham的区间时间逻辑。 （英语） Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司：03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人，《模糊集系统》。456107-124（2023年；Zbl 1522.03069） 全文： 内政部
彼得·格约尔·詹森；金·古德斯特兰·拉森；吉·斯尔巴；尼古拉·延森·乌尔里克 在依存关系图验证中消除分离区域。 （英语） 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） 全文： 内政部
亚历山大·阿提基斯（编辑）；弗洛里安·布鲁斯（编辑）；卢克·亨斯伯格（编辑） 第30届时间表征和推理国际研讨会，《时代》2023年，NCSR Demokritos，希腊雅典，2023年9月25-26日。 （英语） 兹比尔1522.68013 LIPIcs–莱布尼茨国际信息学会议录278.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·富尔信息馆（ISBN 978-3-95977-298-3）。xiv，22篇文章，非连续页面，仅电子版，开放存取（2023年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}（编辑）等人，第30届时间表征和推理国际研讨会，TIME 2023，NCSR Demokritos，希腊雅典，2023年9月25日至26日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2023；Zbl 1522.68013） 全文： 内政部 链接
霍森·哈桑贝格；丹尼尔·克罗宁；亚历山德罗·阿巴特 具有逻辑指导的认证强化学习。 （英语） Zbl 07732224号 Artif公司。智力。 322，文章ID 103949，第22页（2023）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{H.Hasanbeig}等人，Artif。智力。322，文章ID 103949，22 p.（2023；Zbl 07732224） 全文： 内政部 arXiv公司
阿吉·库鲁茨；弗拉迪斯拉夫·里日科夫；尤里·萨瓦提夫；迈克尔·扎克哈里亚舍夫 确定线性时态逻辑中正则语言和本体论中介查询的FO可写性。 （英语） Zbl 07732093号 J.人工制品。智力。研究（JAIR） 76, 645-703 (2023).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Kurucz}等人，J.Artif。智力。研究（JAIR）76，645--703（2023；Zbl 07732093） 全文： 内政部 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 1516.03010号 J.非线性凸分析。 24，第6期，1253-1271（2023）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang}，J.非线性凸分析。24，编号61253-1271（2023；兹bl 1516.03010） 全文： 链接
阿米罗尚Hoseinpour Dehkordi；马吉德·阿里扎德；阿里·莫瓦查尔 线性时态公告逻辑：多分类器知识推理的新视角。 （英语） Zbl 1517.03012号 牛市。伊朗。数学。索克。 49，第2期，第12号论文，21页（2023年）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Hoseinpour Dehkordi}等人，公牛。伊朗。数学。Soc.49，No.2，论文No.12，21 p.（2023；Zbl 1517.03012） 全文： 内政部 arXiv公司
古拉姆·贝扎尼什维利；卢卡·卡莱 一元直觉量词的时间解释。 （英语） Zbl 1518.03003号 版本符号。日志。 16，第1期，164-187（2023）. 审核人：格里戈里·奥尔霍维科夫（波鸿） MSC公司：03B44号 03B45号 03B55号 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{L.Carai}，Rev.Symb。日志。16，编号1，164--187（2023；Zbl 1518.03003） 全文： 内政部 arXiv公司
张楠；于朝峰；段振华；田聪 统一时序逻辑的证明系统。 （英语） 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） 全文： 内政部
梅格达德·加里 具有过去和未来时间模式的线性时间调整逻辑。 （英语） Zbl 1523.03005号 日志。J.IGPL公司 31，编号1，1-38（2023）. 审核人：雅罗斯拉夫·什兰科（Kryvyi Rih） MSC公司：03B44号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghari}，日志。J.IGPL 31，编号1，1-38（2023；Zbl 1523.03005） 全文： 内政部
迪伦，贝利耶；马西莫·贝内雷切蒂；黛拉·莫妮卡，达里奥；法比奥·莫加维罗 Good-for-game QPTL：一种交替的hodges语义。 （英语） Zbl 07650600号 ACM事务处理。计算。日志。 24，第1号，第4号论文，57页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Bellier}等人，ACM Trans。计算。日志。24，第1号，第4号论文，57页（2023；Zbl 07650600） 全文： 内政部 arXiv公司
科恩，马克斯·H。；扎卡里·瑟林；莱希、凯文；卡林·贝尔塔 时序逻辑指导的基于安全模型的强化学习：一种混合系统方法。 （英语） Zbl 1505.93116号 非线性分析。，混合系统。 47，文章ID 101295，23 p.（2023）.MSC公司：93立方 93C40型 03B44号 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.H.Cohen}等人，《非线性分析》。，混合系统。47，文章ID 101295，23 p.（2023；Zbl 1505.93116） 全文： 内政部
刘德鹏；王，弯腰；Fu，陈；张丽君 模型检查差异私有属性。 （英语） Zbl 1512.68157号 西奥。计算。科学。 943, 153-170 (2023).MSC公司：60年第68季度 03B44号 60J20型 68第27页 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{D.Liu}等人，Theor。计算。科学。943153-170（2023年；Zbl 1512.68157） 全文： 内政部
斯蒂芬·巴什马科夫。；Zvereva，Tatyana Yu。 具有通用模态的线性阶梯时序多智能体逻辑的统一性和有限模型性质。 （英语） Zbl 07811396号 牛市。第节。日志。，大学后勤部。 51，编号3，345-361（2022）.MSC公司：03B44号 03B42号 03A05号 03B45号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.I.Bashmakov}和\textit{T.Yu.Zvereva}，公牛。第节。日志。，大学后勤部。51，编号3，345--361（2022；Zbl 07811396） 全文： 内政部
阿尼鲁德·普兰克；约蒂尔莫伊·德什穆克；尼古拉伊迪斯、斯特凡诺斯 海报摘要：从时间逻辑的演示中学习。 （英语） 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） 全文： 内政部
胡萨姆·阿巴斯；理查德·佩弗莱 时序逻辑的多分辨率分析。 （英语） 兹伯利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） 全文： 内政部
盖·谢尔；萨德拉·萨德拉迪尼；俄罗斯·特德雷克；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}等人，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） 全文： 内政部 链接
劳拉·博泽利；阿德里亚诺·佩隆 无限字上的参数区间时序逻辑。 （英语） Zbl 1530.68155号 Ganty，Pierre（编辑）等人，第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21日至23日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）370，97-113（2022）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}和\textit{A.Peron}，电子。程序。西奥。计算。科学。（EPTCS）370、97--113（2022年；Zbl 1530.68155） 全文： arXiv公司 链接
雷巴科夫。 多智能体逻辑中的动态时序逻辑操作。 （英语。俄文原件） Zbl 07738540号 代数逻辑 61，第5期，407-419（2022）; 翻译自代数Logika 61，编号5600-618（2022）。MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Rybakov}，代数逻辑61，No.5，407--419（2022；Zbl 07738540）；代数逻辑学61，No.5，600--618（2022）的翻译 全文： 内政部
拉杰夫·阿鲁尔；苏古曼·班萨尔；奥斯伯特·巴斯塔尼；基绍尔州佐提穆鲁甘 强化学习中转换规范的框架。 （英语） 兹比尔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公司
米罗斯拉夫·乔迪尔；安东·库切拉；简·Křetínsk 定量概率CTL的可满足性：迎接挑战。 （英语） Zbl 1528.68216号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 364-387 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Chodil}等人，Lect。注释计算。科学。13660364--387（2022年；Zbl 1528.68216） 全文： 内政部
马丁·范策尔 寻求密集时间度量时序逻辑的充分语义基础。 （英语） Zbl 1524.68188号 Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 201-212 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本｛M.Fränzle｝，Lect。注释计算。科学。13560，201--212（2022；Zbl 1524.68188） 全文： 内政部
克里斯特尔·拜尔；克莱门斯·杜伯斯拉夫；弗洛里安·芬克；西蒙·詹奇；雅各布皮里鲍尔；罗宾·齐梅克 操作因果关系-必须充分和足够必要。 （英语） Zbl 1524.68185号 Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 27-45 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。13560，27-45（2022；Zbl 1524.68185） 全文： 内政部
Guerra，Paulo T。；雷娜塔·瓦瑟曼 修改时序逻辑中的系统规范。 （英语） Zbl 1515.68180号 J.逻辑语言信息。 31,4号，591-618（2022）.MSC公司：60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann}，J.Logic Lang.Inf.31，No.4，591--618（2022；Zbl 1515.68180） 全文： 内政部
米歇尔·洛雷蒂；阿尼卡·雷赫曼 用于推理集体系统的局部和全局属性的逻辑框架。 （英语） Zbl 1522.68333号 布拉哈姆，埃里卡（编辑）等人，《系统的定量评估》。第19届国际会议，QEST 2022，波兰华沙，2022年9月12-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13479, 133-149 (2022).MSC公司：60年第68季度 68T05型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{M.Loreti}和\textit{A.Rehman}，莱克特。注释计算。科学。13479，133--149（2022；Zbl 1522.68333） 全文： 内政部
娜塔莉亚·加拉尼娜；谢尔盖·斯塔洛列托夫；谢尔盖·戈拉奇 模型检查满足高性能程序的自动调整。 （英语） Zbl 1522.68317号 Alicia Villanueva（编辑），基于逻辑的程序合成和转换。第32届国际研讨会，LOPSTR 2022，格鲁吉亚第比利斯，2022年9月21日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13474, 63-82 (2022).MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{N.Garanina}等人，Lect。注释计算。科学。13474，63-82（2022；Zbl 1522.68317） 全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）；Steffen，伯恩哈德；易、王 模型检查、综合和学习。 （英语） Zbl 1522.68339号 Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).MSC公司：60年第68季度 68问题32 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1--7（2022；Zbl 1522.68339） 全文： 内政部
G.库尔蒂斯。；狄克逊，C。；M·费希尔。；利西萨，A。 更正为：“通过一阶时序逻辑对先导/跟随系统进行参数化验证”。 （英语） Zbl 1511.68161号 形式方法系统。设计。 60，第2号，325-326（2022）.MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Kourtis}等人，《形式方法系统》。设计。60，编号2，325-326（2022；兹bl 1511.68161） 全文： 内政部
亚历山德罗·阿塔尔；罗马人孔查科夫；Alisa Kovtunova；弗拉迪斯拉夫·里日科夫；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 二维时间本体论中介查询的一阶可重写性和复杂性。 （英语） Zbl 07639820号 J.人工制品。智力。研究（JAIR） 75, 1223-1291 (2022).MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}等人，J.Artif。智力。决议（JAIR）751223-1291（2022；兹bl 07639820） 全文： 内政部 arXiv公司
亚历山大·阿提基斯（编辑）；罗伯托·波塞纳托（编辑）；斯特凡诺·托内塔（编辑） 第29届时间表征与推理国际研讨会（TIME 2022），虚拟会议，2022年11月7日至9日。 （英语） 兹比尔1502.68018 LIPIcs–莱布尼茨国际信息学会议录247.瓦登：达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik（ISBN 978-3-95977-262-4）。xiv，15篇文章，非连续页面，仅电子版，开放存取（2022年）。MSC公司：68-06 03B44号 60年第68季度 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}（编辑）等人，第29届时间表征和推理国际研讨会（TIME 2022），虚拟会议，2022年11月7-9日。瓦登：达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik（2022；Zbl 1502.68018） 全文： 内政部 链接
罗马斯·阿隆德里斯 更有效地证明时序逻辑序列。 （英语） Zbl 1517.03013号 谎言。垫环。，程序。岩性。数学。Soc.，爵士。A类 63, 1-8 (2022). 审核人：Valentin F.Goranko（斯德哥尔摩） MSC公司：03B44号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}，谎言。垫环。，程序。岩性。数学。Soc.，爵士。A 63，1--8（2022；Zbl 1517.03013） 全文： 内政部
马塞多，努诺；朱利安·布鲁内尔；戴维·谢穆伊尔；阿尔西诺·库尼亚 Pardinus：时间关系模型查找器。 （英语） Zbl 1512.68158号 J.汽车。推理 66，第4号，861-904（2022）.MSC公司：60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Macedo}等人，J.Autom。推理66，No.4，861--904（2022；Zbl 1512.68158） 全文： 内政部 哈尔
亚历山大·杜雷特·卢茨；艾蒂安·雷诺；马克西米利安·科朗格；弗洛里安·伦金；亚历山大·巴吉迪·艾塞；菲利普·施勒胡贝尔（Philipp Schlehuber-Caissier）；托马斯·梅迪奥尼；安托万·马丁；杰罗姆·杜波伊斯；Clément吉拉德；亨利克·劳科 从Spot 2.0到Spot 2.10：有什么新功能？ （英语） Zbl 1514.68128号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 174-187 (2022).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Duret-Lutz}等人，Lect。注释计算。科学。13372174-187（2022年；兹比尔1514.68128） 全文： 内政部 arXiv公司
罗马斯·阿隆德里斯；普利乌什凯维奇乌斯，里贾曼塔斯；艾达，普留什凯维奇；哈洛达斯·吉德拉 时序逻辑演算的循环检查规范。 （英语） Zbl 07625363号 螺柱日志。 110，第6期，1507-1536（2022）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Alonderis}等人，研究日志。110，编号6，1507--1536（2022；Zbl 07625363） 全文： 内政部
约翰·格兰特 用时态操作符测量某些逻辑中的不一致性。 （英语） Zbl 1506.03069号 圣母院J.形式逻辑 63，第3期，415-440（2022年）. 审核人：Valentin F.Goranko（斯德哥尔摩） MSC公司：03B44号 03B60号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}，圣母院J.形式逻辑63，No.3，415--440（2022；Zbl 1506.03069） 全文： 内政部
埃戈尔·弗拉基米洛维奇·库兹敏 有界计数器的LTL规范。 （俄语。英文摘要） Zbl 1497.68313号 模型。分析。Inf.姐妹。 29，编号1，44-59（2022）.MSC公司：60年第68季度 03B44号 68号30 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.V.Kuz'min}，模型。分析。Inf.姐妹。29，第1号，44-59（2022；Zbl 1497.68313） 全文： 内政部 MNR公司
比尔，Jc；雷普利，大卫 咖喱时间。 （英语） Zbl 07576844号 Bimbó，Katalin（编辑），关联逻辑和其他推理工具。纪念J.迈克尔·邓恩的论文。伦敦：学院出版物。致敬46，65-72（2022）。MSC公司：03A05号 03B53号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Beall}和\textit{D.Ripley}，《致敬》46，65-72（2022；Zbl 07576844）
艾曼纽尔·帕维奥德·阿代特；丹尼斯·波特雷诺；艾蒂安·雷诺；蒂埃里·米格，Yann LTL在约简条件下比口吃不变性弱。 （英语） Zbl 1499.68204号 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 170-187 (2022).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Paviot-Adet}等人，Lect。注释计算。科学。13273，170-187（2022；Zbl 1499.68204） 全文： 内政部 arXiv公司 哈尔
卢卡·埃特罗；安东尼斯·阿奇利奥斯；埃利·阿纳斯塔西亚迪；阿德里安·弗兰卡兰扎 用电路监测超属性。 （英语） Zbl 1499.68199号 Mousavi，Mohammad Reza（编辑）等人，分布式对象、组件和系统的形式化技术。第42届IFIP WG 6.1国际会议，FORTE 2022，作为第17届分布式计算技术国际联合会议的一部分，于2022年6月13日至17日在意大利卢卡举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13273, 1-10 (2022).MSC公司：60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人，Lect。注释计算。科学。13273，1-10（2022；Zbl 1499.68199） 全文： 内政部 arXiv公司
彼得·格约尔·詹森；吉·斯尔巴；尼古拉·延森·乌尔里克；Simon Mejlby，Virenfeldt 自动驱动的部分订单缩减和LTL模型检查的引导搜索。 （英语） Zbl 1498.68160号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 151-173 (2022).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人，Lect。注释计算。科学。13182、151--173（2022年；Zbl 1498.68160） 全文： 内政部
埃齐奥·巴托西；托马斯·费雷尔；托马斯·亨辛格（Thomas A.Henzinger）。；德扬·尼科维奇；奥利维拉·达科斯塔，安娜 顺序信息流的味道。 （英语） Zbl 1498.68151号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 1-19 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Lect。注释计算。科学。13182，1-19（2022；Zbl 1498.68151） 全文： 内政部
米哈伊尔·里巴科夫；德米特里·什卡托夫 命题时间逻辑和计算模态逻辑的有限变量片段的复杂性。 （英语） Zbl 07547827号 西奥。计算。科学。 925, 45-60 (2022).MSC公司：03B70号 03B44号 03B45号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Rybakov｝和\textit｛D.Shkatov｝，Theor。计算。科学。925，45-60（2022；Zbl 07547827） 全文： 内政部
帕里托什·K·潘迪亚。；阿莫尔·瓦坎卡尔 运行时强制屏蔽的规范和最佳反应合成。 （英语） Zbl 1504.68131号 Inf.计算。 285，B部分，文章ID 104865，18 p.（2022）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.K.Pandya}和\textit{A.Wakankar}，Inf.Compute。285，B部分，文章ID 104865，18 p.（2022；Zbl 1504.68131） 全文： 内政部 arXiv公司
丹尼尔·奈德；亚历山大·韦内特；马丁·齐默尔曼 健壮、富有表现力和定量的线性时序逻辑：免费选择任意两种。 （英语） Zbl 07538307号 Inf.计算。 285，B部分，文章ID 104810，23 p.（2022）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，《信息计算》。285，B部分，文章ID 104810，23 p.（2022；Zbl 07538307） 全文： 内政部 链接
本杰明·阿米诺夫；阿尼埃洛·穆拉诺；萨沙·鲁宾；弗洛里安·祖勒格 在部分已知环境中验证代理导航。 （英语） Zbl 1495.68234号 Artif公司。智力。 308，文章ID 103724，34 p.（2022）.MSC公司：68T42型 03B44号 65年第68季度 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit｛B.Aminof｝等人，人工制品。智力。308，文章ID 103724，34 p.（2022；Zbl 1495.68234） 全文： 内政部
徐明；傅建玲；梅静怡；邓玉欣 量子马尔可夫链上的模型检查QCTL plus。 （英语） Zbl 1483.68212号 西奥。计算。科学。 913, 43-72 (2022).MSC公司：60年第68季度 03B44号 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu}等人，Theor。计算。科学。913、43-72（2022年；Zbl 1483.68212） 全文： 内政部
弗拉基米尔·里巴科夫。 使用静态代理知识操作的多代理时态逻辑。 （英语） 兹伯利07503907 J.兄弟。联邦大学数学系。物理。 第1期第15页，114-124页（2022年）.MSC公司：03Bxx号 68泰克 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，J.Sib。联邦大学数学系。物理。15，编号1，114--124（2022；Zbl 07503907） 全文： 内政部 MNR公司
高雄井上 论勒希涅夫斯基命题本体论和模态逻辑的布拉斯翻译。 （英语） 兹比尔1507.03079 螺柱日志。 110，编号1，265-289（2022）. 审核人：Xavier Parent（维也纳） MSC公司：03B45号 03B20型 03层45 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Inoué}，螺柱日志。110，编号1，265--289（2022；Zbl 1507.03079） 全文： 内政部 arXiv公司
劳拉·博泽利；阿尼埃洛·穆拉诺；阿德里亚诺·佩隆 无上下文时间形式：鲁棒自动机和线性时序逻辑。 （英语） Zbl 1528.68213号 Inf.计算。 283，文章ID 104673，30 p.（2022）.MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，《信息计算》。283，文章ID 104673，30 p.（2022；Zbl 1528.68213） 全文： 内政部 链接
陈海波；高欣 数学和软件验证。 （英语） 兹比尔1497.68110 廖恒（编辑）等，《未来计算与通信数学》。剑桥：剑桥大学出版社。54-73 (2022). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：68号30 03B70号 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chen}和\textit{X.Gao}，in：未来计算和通信的数学。剑桥：剑桥大学出版社。54-73（2022年；Zbl 1497.68110） 全文： 内政部 链接
扎尼斯·阿内夫拉维斯；马修·菲利普；丹尼尔·奈德；保罗·塔布阿达 正确是不够的：使用健壮的线性时序逻辑进行有效验证。 （英语） Zbl 1502.68178号 ACM事务处理。计算。日志。 23，第2条，第8条，第39页（2022年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Anevlavis}等人，ACM Trans。计算。日志。23，第2号，第8条，39页（2022年；Zbl 1502.68178） 全文： 内政部 arXiv公司
劳拉·博泽利；阿尔贝托·莫利纳里；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 同质性假设下子区间逻辑的可满足性和模型检验。 （英语） Zbl 07471713号 日志。方法计算。科学。 18，第1号，第24号论文，第25页（2022年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，日志。方法计算。科学。18，第1号，第24号文件，第25页（2022；Zbl 0741713） 全文： arXiv公司 链接
安吉洛·蒙塔纳里；皮埃特罗·萨拉 基于区间时序逻辑规范的反应合成。 （英语） Zbl 1515.68185号 西奥。计算。科学。 899, 48-79 (2022).MSC公司：60年第68季度 03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}和\textit{P.Sala}，Theor。计算。科学。899、48-79（2022年；Zbl 1515.68185） 全文： 内政部
丹尼尔·塞尔瓦拉特南；迈克尔·坎通尼；J.M.达沃伦。；伊曼·谢姆斯 用于LTL验证的采样多项式轨迹。 （英语） Zbl 1478.68174号 西奥。计算。科学。 897, 135-163 (2022).MSC公司：60年第68季度 03B44号 68T40型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Selvaratnam}等人，Theor。计算。科学。897135-163（2022年；Zbl 1478.68174） 全文： 内政部 arXiv公司
张燕；朱兆辉；张金金 在\（\mathrm中编码安全{CLL}_R\). （英语） Zbl 1489.68173号 西奥。计算。科学。 897, 64-82 (2022). 审核人：马丁·兰格（卡塞尔） MSC公司：68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}等人，Theor。计算。科学。897，64-82（2022年；兹比尔1489.68173） 全文： 内政部
保罗·埃格里 布里丹桥上的真实与虚假。 arXiv:2209.10625 预印本，arXiv:2209.10625[math.HO]（2022）。MSC公司：03-03 03B47号 03B44号 BibTeX公司 引用 \textit{P.égré}，“布里丹桥上的真实与虚假”，预印本，arXiv:2209.10625[math.HO]（2022） 全文： arXiv公司 OA许可证
尼克·贝扎尼什维利；安东尼奥·玛丽亚·克利尼 通过稳定规范规则进行翻译嵌入。 arXiv公司：2206.08863 预打印，arXiv:2206.08863[math.LO]（2022）。MSC公司：03B45号 03B55号 03B60号 03B44号 03层45 BibTeX公司 引用 \textit{N.Bezhanishvili}和\textit{A.M.Cleani}，“通过稳定规范规则进行翻译嵌入”，预打印，arXiv:2206.08863[math.LO]（2022） 全文： arXiv公司 OA许可证
海因·杜伊夫；简·布罗森；亚历山大·库科娃；拉米雷斯·阿巴卡（Aldo Iván Ramírez Abarca） 没有操作类型。证明。 （英语） Zbl 07819577号 版本符号。日志。 14，第2号，380-410（2021）.MSC公司：03B42号 03B44号 03B45号 91个40个 PDF格式BibTeX公司 XML格式引用 \textit{H.Duijf}等人，《符号评论》。日志。14，编号2，380--410（2021；Zbl 07819577） 全文： 内政部
马哈茂德·哈立德；马吉德·扎马尼 OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807706号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第33号论文，第2页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。论文编号33，2页（2021；Zbl 07807706） 全文： 内政部
马哈茂德·哈立德；马吉德·扎马尼 OmegaThreads：常规目标的符号控制器设计。 （英语） Zbl 07807698号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{M.Khaled}和\textit{M.Zamani}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第25号论文，第7页（2021；Zbl 07807698） 全文： 内政部
艾哈迈德·哈马德；Jeannin、Jean-Baptiste 验证混合系统信号时序逻辑规范的程序逻辑。 （英语） Zbl 07807683号 2021年5月19日至21日，美国田纳西州纳什维尔，第24届ACM混合系统国际会议论文集：计算与控制，HSCC 2021，CPS-IoT周的一部分。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{H.Ahmad}和\textit{J.-B.Jeannin}，in：第24届ACM混合系统国际会议论文集：计算和控制，HSCC 2021，CPS-IoT周的一部分，美国田纳西州纳什维尔，2021年5月19-21日。纽约州纽约市：计算机协会（ACM）。第10号论文，第11页（2021；Zbl 07807683） 全文： 内政部 arXiv公司
徐凯文 一旦问题解决，一切都是可以学习的。 （英语） Zbl 1529.03140号 合成 199，编号1-2，4795-4817（2021）.MSC公司：03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}，Synthese 199，No.1--2，4795-4817（2021；Zbl 1529.03140） 全文： 内政部
斯巴萨罗伊乔杜里 \（1）玩家随机秒表游戏。 （英语） Zbl 07744960号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第17条，第18页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{S.Roychowdhury}，LIPIcs——莱布尼茨国际程序。通知。206，第17条，第18页（2021；Zbl 07744960） 全文： 内政部
阿纳塞·查菲克；Fahima Cheikh-Alili；Jean-François康多塔；伊万·瓦尔津扎克 一张单程树形的可废止LTL表。 （英语） Zbl 07744959号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第16条，第18页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Chafik}等人，LIPIcs——莱布尼茨国际程序。通知。206，第16条，第18页（2021；Zbl 07744959） 全文： 内政部
托马斯·里贝罗；利马，奥斯卡；迈克尔·卡什莫尔；安德烈亚·米凯利；罗德里戈·文图拉 Olisipo：确定性时间计划适应性执行的概率方法。 （英语） Zbl 07744958号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第15条，第15页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.Ribeiro}等人，LIPIcs——莱布尼茨国际程序。通知。206，第15条，第15页（2021；Zbl 07744958） 全文： 内政部
柯蒂斯·戴瑞森（Curtis E.Dyreson）。；马纳齐尔·阿赫桑 实现具有日志分段时间戳的顺序关系查询语言。 （英语） 兹伯利07744957 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第14条，第13页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.E.Dyreson}和\textit{M.A.M.Ahsan}，LIPIcs——莱布尼茨国际程序。通知。206，第14条，第13页（2021；Zbl 07744957） 全文： 内政部
迈克尔·卡什莫尔；亚历山德罗·西马蒂；丹尼尔·马加泽尼；安德烈亚·米凯利；帕里萨·泽塔比 时态计划解耦鲁棒包络的高效计算和执行。 （英语） Zbl 07744956号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第13条，第14页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Cashmore}等人，LIPIcs——莱布尼茨国际程序。通知。206，第13条，第14页（2021；Zbl 07744956） 全文： 内政部 arXiv公司
弗洛里安·布鲁斯；马丁·兰格 模型检查定时递归CTL。 （英语） Zbl 07744955号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第12条，第14页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.布鲁斯}和\textit{M.兰格}，LIPIcs——莱布尼茨国际程序。通知。206，第12条，第14页（2021；Zbl 07744955） 全文： 内政部
吉安卢卡·阿普里塞诺；安德烈·帕塞里尼；卢西亚诺·塞拉菲尼 结构化事件识别的神经符号学方法。 （英语） Zbl 07744954号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第11条，第14页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Apriceno}等人，LIPIcs——莱布尼茨国际程序。通知。206，第11条，第14页（2021；Zbl 07744954） 全文： 内政部
弗拉迪斯拉夫·里日科夫；尤里·萨瓦提夫；迈克尔·扎克哈里亚舍夫 确定线性时态逻辑中本体论中介查询的FO可写性。 （英语） Zbl 07744953号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第10条，第15页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Ryzhikov}等人，LIPIcs——莱布尼茨国际程序。通知。206，第10条，第15页（2021；Zbl 07744953） 全文： 内政部
劳拉·博泽利；安吉洛·蒙塔纳里；阿德里亚诺·佩隆；皮埃特罗·萨拉 Pspace-子区间和后缀的时间逻辑的完整性。 （英语） Zbl 07744952号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第9条，第19页（2021）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人，LIPIcs——莱布尼茨国际程序。通知。206，第9条，第19页（2021；Zbl 07744952） 全文： 内政部
卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；加布里埃尔·文图拉托 过去的事情：在BLACK可满足性检查器中支持LTL+过去。 （英语） Zbl 07744951号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第8条，第17页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Geatti}等人，LIPIcs——莱布尼茨国际程序。通知。206，第8条，第17页（2021；Zbl 07744951） 全文： 内政部
费德里科·曼泽拉；乔瓦尼·帕利亚里尼；圭多·西亚维科；Stan、Ionel Eduard 区间时间随机森林及其在新冠肺炎诊断中的应用。 （英语） Zbl 07744950号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第7条，第18页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{F.Manzella}等人，LIPIcs——莱布尼茨国际程序。通知。206，第7条，第18页（2021；Zbl 07744950） 全文： 内政部
亚历山大·斯皮塔拉斯；阿纳斯塔西奥斯·古纳里斯；科斯塔斯·齐奇拉斯；安德烈亚斯·科斯马托普洛斯 进化图的数据库模型研究。 （英语） Zbl 07744949号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第6条，第13页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Spitalas}等人，LIPIcs——莱布尼茨国际程序。通知。206，第6条，第13页（2021；兹bl 07744949） 全文： 内政部
Bédard，亚历克西斯；西尔万·霍尔 流处理管道的模型检查。 （英语） Zbl 07744948号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第5条，第17页（2021）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bédard}和\textit{S.Hallé}，LIPIcs——莱布尼茨国际程序。通知。206，第5条，第17页（2021；Zbl 07744948） 全文： 内政部
阿尔弗雷多·库佐克雷 时间大数据分析：大数据分析研究的新前沿（面板描述）。 （英语） Zbl 07744947号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第4条，第7页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cuzzocrea}，LIPIcs——莱布尼茨国际程序。通知。206，第4条，第7页（2021；Zbl 07744947） 全文： 内政部
约翰·苏肯斯 及时内核机器（邀请谈话）。 （英语） Zbl 07744946号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第3条，第1页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Suykens}，LIPIcs——莱布尼茨国际程序。通知。206，第3条，第1页（2021；Zbl 07744946） 全文： 内政部
托本·巴赫·佩德森 使用modelardb（邀请谈话）进行基于极端规模模型的时间序列管理。 （英语） Zbl 07744945号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第2条，第2页（2021）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{T.B.Pedersen}，LIPIcs——莱布尼茨国际程序。通知。206，第2条，第2页（2021；Zbl 07744945） 全文： 内政部
卢克·亨斯伯格；罗伯托·波塞纳托 简单时间网络：时间表示和推理的实用基础（邀请谈话）。 （英语） Zbl 07744944号 Combi，Carlo（编辑）等人，第28届时间表征和推理国际研讨会。《时代周刊》2021年9月27日至29日，奥地利克拉根福（虚拟会议）。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。206，第1条，第5页（2021年）。MSC公司：03B44号 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hunsberger}和\textit{R.Posenato}，LIPIcs——莱布尼茨国际程序。通知。206，第1条，第5页（2021；Zbl 07744944） 全文： 内政部
阿希姆·布卢门萨特；雅库布·莱德尔 \（ω）-森林代数和时间逻辑。 （英语） Zbl 07724192号 Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第19条，第21页（2021）。MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath}和\textit{J.Lédl}，LIPIcs——莱布尼茨国际程序。通知。202，第19条，第21页（2021；Zbl 07724192） 全文： 内政部 arXiv公司
科托Mascle；丹尼尔·奈德；马克西米利安·施温格；保罗·塔布阿达；亚历山大·韦内特；马丁·齐默尔曼 从LTL到rLTL监控：通过健壮语义改进可监控性。 （英语） Zbl 1522.68334号 形式方法系统。设计。 59，编号1-3170-204（2021）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Mascle}等人，《形式方法系统》。设计。59，编号1--3，170-204（2021；Zbl 1522.68334） 全文： 内政部
亚历山德罗·西马蒂；卢卡·盖蒂；尼古拉·吉甘特；安吉洛·蒙塔纳里；斯特凡诺·托内塔 扩展有界响应的公平性、假设和保证长期贷款+P合成。 （英语） Zbl 1522.68302号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 351-371 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人，Lect。注释计算。科学。13085、351--371（2021；Zbl 1522.68302） 全文： 内政部
克莱门斯·杜伯斯拉夫；帕特里克·维恩霍夫特；安斯加·芬克 懒惰而不在乎：更快地检查递归状态机的CTL模型。 （英语） Zbl 1522.68311号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 332-350 (2021).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}等人，Lect。注释计算。科学。13085、332--350（2021；Zbl 1522.68311） 全文： 内政部 链接
弗朗西斯科·蓬蒂吉亚；米歇尔·齐亚里；马蒂奥·普拉德拉 通过操作员优先自动机验证有异常的程序。 （英语） Zbl 1522.68343号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 293-311 (2021).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Pontiggia}等人，Lect。注释计算。科学。13085，293--311（2021；Zbl 1522.68343） 全文： 内政部 链接
克拉夫茨克，尼古拉斯；简·佩莱斯卡 使用符号有限状态机进行穷尽的面向属性的基于模型的测试。 （英语） Zbl 1522.68331号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085, 84-102 (2021).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Krafczyk}和\textit{J.Peleska}，莱克特。注释计算。科学。13085，84-102（2021年；兹比尔1522.68331） 全文： 内政部
克劳斯·哈维隆德；莫兰·奥马尔；多龙·贝利德 监测一阶间隔逻辑。 （英语） Zbl 1522.68321号 Calinescu，Radu（编辑）等人，《软件工程和形式化方法》。第19届国际会议，SEFM 2021，虚拟活动，2021年12月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13085，66-83（2021）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人，Lect。注释计算。科学。13085，66-83（2021；Zbl 1522.68321） 全文： 内政部
Ying，明生 量子电路验证的模型检查。 （英语） Zbl 1521.68079号 Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 23-39 (2021).MSC公司：60年第68季度 03G12号机组 81页65 81页68 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}，莱克特。注释计算。科学。13047，23-39（2021；Zbl 1521.68079） 全文： 内政部 arXiv公司
格纳滕科，A.R。；扎哈罗夫，V.A。 线性时间时序逻辑的一个参数化扩展的可满足性和模型检验。 （俄语。英文摘要） Zbl 1517.68237号 模型。分析。Inf.姐妹。 28，第4号，356-371（2021）.MSC公司：60年第68季度 03B44号 2017年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Gnatenko}和\textit{V.A.Zakharov}，模型。分析。Inf.姐妹。28，编号4，356--371（2021；Zbl 1517.68237） 全文： 内政部 MNR公司