斯蒂芬·伊戈列维奇·巴什马科夫;基里尔·亚历克桑德罗维奇·斯梅利克 多代理计算树逻辑的关系版本\(\mathcal{CTLK}\)。 (俄语。英文摘要) 兹伯利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) 全文: 内政部 链接
大卫·加伯里亚;叶夫根尼·库兹涅佐夫;Radu Casian Mihailescu;康斯坦丁·拉兹马泽;莱文·乌里迪亚 有限线性过程之间的满射有界态射的时间逻辑。 (英语) Zbl 07821016号 J.应用。非类别。日志。 34,编号1,1-30(2024).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人,J.Appl。非类别。日志。34,编号1,1--30(2024;Zbl 07821016) 全文: 内政部
马哈提·阿南德;阿波法兹·拉瓦伊;马吉德·扎马尼 随机系统网络的控制屏障证书的合成,针对\(\omega \)-常规规范。 (英语) Zbl 07812047号 非线性分析。,混合系统。 51,文章ID 101427,20 p.(2024).MSC公司:93亿B50 93E03型 93C55美元 93B70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Anand}等人,《非线性分析》。,混合系统。51,文章ID 101427,20 p.(2024;Zbl 07812047) 全文: 内政部 arXiv公司
曼弗雷德·德罗斯特;古斯塔夫·格拉博勒;拉霍尼斯,乔治 加权线性动态逻辑。 (英语) 兹伯利07805942 发现的国际期刊。计算。科学。 35,编号1-2,145-177(2024).MSC公司:68季度xx 03亿xx 03年月日 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}等人,《国际期刊》发现。计算。科学。35,编号1-2145-177(2024;Zbl 07805942) 全文: 内政部
于新义;董伟杰;李绍元;尹、香 用于信号时序逻辑规范的动态系统模型预测监测。 (英语) Zbl 07803905号 Automatica公司 160,文章ID 111445,12 p.(2024).MSC公司:93C55美元 94甲12 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{X.Yu}等人,Automatica 160,文章ID 111445,12 p.(2024;Zbl 07803905) 全文: 内政部 arXiv公司
乔纳斯·克鲁克;罗比·马利克;萨哈尔·莫哈杰拉尼;马丁·费比安 具有干扰的抽象和控制器综合的鲁棒断续互仿真。 (英语) Zbl 07803873号 Automatica公司 160,文章ID 111394,第8页(2024).MSC公司:93亿B50 93C73号 93B70型 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{J.Krook}等人,Automatica 160,文章ID 111394,8 p.(2024;Zbl 07803873) 全文: 内政部 arXiv公司
张元瑞;刘志明 具有分支形式的动态逻辑。 (英语) Zbl 07803173号 J.日志。阿尔盖布。方法计划。 136,文章ID 100921,21 p.(2024).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zhang}和\textit{Z.Liu},J.Log。阿尔盖布。方法计划。136,文章ID 100921,21 p.(2024;Zbl 07803173) 全文: 内政部
大卫·海兰德;朱利安·古铁雷斯;迈克尔·伍尔德里奇 并发游戏的激励工程。 (英语) Zbl 07810626号 Verbrugge,Rineke(编辑),《第十九届理性与知识理论方面会议记录》,TARK,英国牛津,2023年6月28日至30日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)379344-358(2023年)。MSC公司:91A20型 91B43型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Hyland}等人,《电子》。程序。西奥。计算。科学。(EPTCS)379,344--358(2023;Zbl 07810626) 全文: 内政部 arXiv公司
姚玉华;孙继涛;张瑜 基于时序逻辑的混合系统多任务综合。 (英语) Zbl 07808186号 IEEE传输。自动。控制 68,第11号,6883-6890(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Yao}等人,IEEE Trans。自动。控制68,编号11,6883--6890(2023;Zbl 07808186) 全文: 内政部
坦马·坎代特;阿尼鲁德·钱德拉特;瓦尔斯坦·巴普蒂斯塔;朱利亚·佩德里利;乔治·费内科斯 演示摘要:在微软飞行模拟器上通过伪造分析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公式。 (英语) 兹伯利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公司
古斯塔沃·卡多纳。;迪沙·卡梅尔;克里斯蒂安·瓦西莱 加权信号时序逻辑控制综合的混合整数线性规划方法。 (英语) 兹伯利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) 全文: 内政部
威尔弗里德·霍奇斯 阿维森纳是如何理解巴坎公式的? (英语) Zbl 07806955号 日志。J.IGPL公司 31,第6期,1170-1191(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges},日志。J.IGPL 31,第6号,1170--1191(2023;Zbl 07806955) 全文: 内政部
马钦·伊扎克 使用更改运算符使分支时间公理化。 (英语) Zbl 07806940号 日志。J.IGPL公司 31,5号,894-906(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Łyczak},日志。J.IGPL 31,编号5,894--906(2023;Zbl 07806940) 全文: 内政部
Nguyen,黄岩;阿卜杜尔·拉基布 概率资源受限代理的形式化建模和验证。 (英语) Zbl 07800199号 J.逻辑语言信息。 32,第5号,829-859(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Nguyen}和\textit{A.Rakib},《逻辑语言汇编》第32卷,第5829-859期(2023年;Zbl 07800199) 全文: 内政部 OA许可证
詹斯·奥利弗·古斯菲尔德;马库斯·穆勒·奥尔姆;克里斯蒂安·迪利茨 带有语言参数的时序逻辑。 (英语) 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) 全文: 内政部
郭、孟;廖天军;王俊杰;李忠奎 概率时间任务和安全返回约束下的分层运动规划。 (英语) Zbl 07795088号 IEEE传输。自动。控制 68,第11号,6727-6742(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Guo}等人,IEEE Trans。自动。控制68,编号11,6727--6742(2023;Zbl 07795088) 全文: 内政部 arXiv公司
弗拉基米尔·伊万诺维奇·沙拉克 图灵可计算性模型的自然推广。 (俄语。英文摘要) Zbl 07793830号 日志。伊斯斯莱德。 29,第2号,9-35(2023年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{V.I.Shalack},日志。伊斯斯莱德。29,编号2,9--35(2023;Zbl 07793830) 全文: 内政部
Lech T.Polkowski。 逻辑:计算机科学家的参考书。第二次修订和扩大版,之前以计算机和数据科学逻辑和人工智能的标题出版。 (英语) Zbl 1529.68008号 智能系统参考库245.查姆:施普林格(ISBN 978-3-031-42033-7/hbk;978-3-331-42036-8/pbk;988-3-031-142034-4/电子书)。xxxii,461页。(2023).MSC公司:68-01 03-01 03B70号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{L.T.Polkowski},《逻辑:计算机科学家参考书》。第二次修订和扩大版,之前以计算机和数据科学逻辑和人工智能的标题出版。商会:施普林格(2023年;兹比尔1529.68008) 全文: 内政部
诺里希罗·卡米德 命题到自由线性时间时间时间逻辑的具有反驳意识的根岑式演算。 (英语) Zbl 07767288号 螺柱日志。 111,第6期,979-1014(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。111,编号6,979--1014(2023;Zbl 07767288) 全文: 内政部
威廉·康雷迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科;Stan、Ionel Eduard 模糊Halpern和Shoham的区间时序逻辑。 (英语) Zbl 1522.03069号 模糊集系统。 456, 107-124 (2023).MSC公司:03B52号 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Conradie}等人,《模糊集系统》。456107-124(2023年;Zbl 1522.03069) 全文: 内政部
Guyet,T。 将时间序列概括为编年史是可以接受的。 (英语) Zbl 07757225号 J.应用。非类别。日志。 33,编号3-4,641-653(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Guyet},J.Appl(J.应用程序)。非类别。日志。33,编号3--4,641--653(2023;Zbl 07757225) 全文: 内政部
阿维德·贝克尔;佩德罗·卡巴拉;马丁·迪盖兹;路易斯·法里纳斯·德尔·塞罗;托尔斯滕·绍布;安娜·舒曼 度量动态平衡逻辑。 (英语) Zbl 07757219号 J.应用。非类别。日志。 33,编号3-4,495-519(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Becker}等人,J.Appl。非类别。日志。33,编号3--4495-519(2023;Zbl 07757219) 全文: 内政部
基斯·范·贝克尔;蒂姆·S·里昂。;马蒂奥·帕斯库奇 工具性判断的逻辑分析:经验和期望背景下的意义-目的关系。 (英语) Zbl 07753837号 J.菲洛斯。日志。 52,第5期,1475-1516(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.van Berkel}等人,J.Philos。日志。52,编号5,1475--1516(2023;Zbl 07753837) 全文: 内政部 arXiv公司 OA许可证
彼得·格约尔·詹森;金·古德斯特兰·拉森;吉·斯尔巴;尼古拉·延森·乌尔里克 在依存关系图验证中消除分离区域。 (英语) 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) 全文: 内政部
韩慧珍;穆罕默德·马盖内姆;里卡多·桑费利斯(Ricardo G.Sanfelice)。 证明混合系统中的LTL公式(p)直到(q)。 (英语) Zbl 07744936号 IEEE传输。自动。控制 68,编号7,4451-4458(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{H.Han}等人,IEEE Trans。自动。控制68,编号7,4451--4458(2023;Zbl 07744936) 全文: 内政部 arXiv公司
玛丽亚·沙里蒂杜;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑规范下具有在线屏障功能设计的后退地平线控制。 (英语) Zbl 07744838号 IEEE传输。自动。控制 68,第6号,3545-3556(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{M.Charitidou}和\textit{D.V.Dimarogonas},IEEE Trans。自动。控制68,编号6,3545--3556(2023;Zbl 07744838) 全文: 内政部
Laya Shamgah;塔德沃斯,塔德沃斯·G。;阿卜杜拉·阿尔·雷德万·纽阿斯;阿里·卡里莫迪尼;艾伯特·C·埃斯特林。 动态对抗环境中的反应式符号规划和控制。 (英语) Zbl 07744829号 IEEE传输。自动。控制 68,第6号,3409-3424(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Shamgah}等人,IEEE Trans。自动。对照68,编号6,3409--3424(2023;Zbl 07744829) 全文: 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;皮埃特罗·萨拉 Pspace(Pspace)-子区间和后缀的时间逻辑的完整性。 (英语) Zbl 07742414号 Inf.计算。 294,文章ID 105083,20 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。294,文章ID 105083,第20页(2023;Zbl 07742414) 全文: 内政部
罗布·范格拉贝克 在具有超时的进程代数中建模互斥。 (英语) Zbl 07742410号 Inf.计算。 294,文章ID 105079,36 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,36 p.(2023;Zbl 07742410) 全文: 内政部 arXiv公司
李依南;孙志兵;刘军 非线性系统时序逻辑控制的规范指导框架。 (英语) Zbl 07742228号 IEEE传输。自动。控制 68,第4期,2002-2017(2023).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,IEEE Trans。自动。控制68,No.4,2002--2017(2023;Zbl 07742228) 全文: 内政部 arXiv公司
亚历山大·阿提基斯(编辑);弗洛里安·布鲁斯(编辑);卢克·亨斯伯格(编辑) 第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季度 第68页第27页 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Artikis}(ed.)等人,第30届时间表征与推理国际研讨会,《时代》2023年,NCSR Demokritos,希腊雅典,2023年9月25-26日。瓦登:达格斯图尔宫——莱布尼兹·泽特鲁姆·富勒·Informatik(2023;Zbl 1522.68013) 全文: 内政部 链接
Periklis Mantenoglou;亚历山大·阿提基斯;乔治·巴利乌拉斯 噪声数据流上的在线事件识别。 (英语) Zbl 07734040号 国际J近似推理 161,文章ID 108993,30 p.(2023).MSC公司:68层37 PDF格式BibTeX公司 XML格式引用 \textit{P.Mantenoglou}et al.,Int.J.近似推理161,文章ID 108993,30 P.(2023;Zbl 07734040) 全文: 内政部
乌鸦·贝特纳;伯恩德·芬克贝纳 HyperATL公司\(^*\):多代理系统中超属性的逻辑。 (英语) Zbl 07731924号 日志。方法计算。科学。 19,第2号,第13号论文,44页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Beutner}和\textit{B.Finkbeiner},日志。方法计算。科学。19,第2号,第13号论文,第44页(2023;Zbl 07731924) 全文: 内政部 arXiv公司
朱利安·古铁雷斯;穆罕默德·纳吉布;朱塞佩·佩雷利;迈克尔·伍尔德里奇 理性验证的复杂性。 (英语) Zbl 07730283号 安。数学。Artif公司。智力。 91,第4号,409-430(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Ann.Math。Artif公司。智力。91,编号4,409--430(2023;Zbl 07730283) 全文: 内政部 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 07728691号 莫华·班纳吉(编辑)等,《逻辑及其应用》。第十届印度会议,ICLA 2023,印度印多尔,2023年3月3日至5日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13963, 105-116 (2023).MSC公司:03亿xx 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{F.He},莱克特。注释计算。科学。13963、105-116(2023;Zbl 07728691) 全文: 内政部
王珊霞 非正规时序逻辑的代数语义。 (英语) Zbl 1516.03010号 J.非线性凸分析。 24,第6期,1253-1271(2023).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wang},J.非线性凸分析。24,第6号,1253-1271(2023;Zbl 1516.03010) 全文: 链接
尼古拉·安吉乌斯;朱塞佩·普里米埃罗 复制计算人工制品的安全性和活性属性。 (英语) Zbl 07722226号 J.日志。计算。 33,第5期,1089-1117(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Angius}和\textit{G.Primiero},J.Log。计算。33,编号51089-1117(2023;Zbl 07722226) 全文: 内政部 链接
奥古斯托·佩雷斯;詹姆·拉莫斯;弗朗西斯科·迪翁西奥 有界模型检查分布式时序逻辑。 (英语) 兹伯利07722224 J.日志。计算。 33,第5期,1022-1059(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Peres}等人,J.Log。计算。33,编号5,1022--1059(2023;Zbl 07722224) 全文: 内政部
瓦伦丁·戈兰科 时间逻辑。 (英语) Zbl 07720292号 哲学和逻辑要素剑桥:剑桥大学出版社(ISBN 978-1-00-917010-9/pbk;978-1-00.917009-3/电子书)。第102页。(2023). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03-02 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko},时间逻辑。剑桥:剑桥大学出版社(2023;Zbl 07720292) 全文: 内政部
劳拉·博泽利;安吉洛·蒙塔纳里;阿德里亚诺·佩隆 可视下推系统的时间间隔逻辑。 (英语) Zbl 07713585号 ACM事务处理。计算。日志。 24,第3号,第24号论文,32页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,ACM Trans。计算。日志。24,第3号,第24号论文,32页(2023;Zbl 07713585) 全文: 内政部
Tsubasa Takagi 量子逻辑线性时间扩展及其动态方面的语义分析。 (英语) Zbl 07713580号 ACM事务处理。计算。日志。 24,第3号,第19号论文,21页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi},ACM翻译。计算。日志。24,第3号,第19号论文,第21页(2023;Zbl 07713580) 全文: 内政部
阿纳塞·查菲克;Fahima Cheikh-Alili;Jean-François康多塔;伊万·瓦尔津扎克 可延迟线性时序逻辑。 (英语) Zbl 07708149号 J.应用。非类别。日志。 33,第1期,1-51页(2023年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Chafik}等人,J.Appl。非类别。日志。33,编号1,1--51(2023;Zbl 07708149) 全文: 内政部
斯特凡尼亚中心;克劳斯·美因泽 时间逻辑。从哲学和证明理论到人工智能和量子计算。 (英语) 兹伯利07707373 新加坡:世界科学(ISBN 978-981-12-6853-3/hbk;978-981-12-6855-7/电子书)。(2023).MSC公司:03-01 03B44号 03B70号 PDF格式BibTeX公司 XML格式 全文: 内政部
科杜拉,托泽卡;马钦·伊扎克 莱布尼兹可能定律逻辑是一种形式框架,由辛提卡提出,它阻碍了洛夫乔伊的充实原则。 (英语) Zbl 1530.03070号 日志。日志。菲洛斯。 32,编号119-140(2023).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Świętorzecka}和\textit{M.Łyczak},Log。日志。菲洛斯。32,编号1,119--140(2023;Zbl 1530.03070) 全文: 内政部
邱子怡;杰罗姆·勒尼;Jean-Pierre大卫 使用锚和蒙特卡罗树搜索对动态决策系统进行时序逻辑解释。 (英语) Zbl 07702936号 Artif公司。智力。 318,文章ID 103897,21 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.-Y.Chiu}等人,Artif。智力。318,文章ID 103897,21 p.(2023;Zbl 07702936) 全文: 内政部
努什·迈赫迪波尔;马蒂亚斯·阿尔霍夫;Radboud Duintjer特本斯;卡林·贝尔塔 在自动驾驶中遵守道路规则的正式方法:最新技术和重大挑战。 (英语) Zbl 1519.93159号 Automatica公司 152,文章ID 110692,15 p.(2023).MSC公司:93C85号 93个B03 03B44号 93亿B50 PDF格式BibTeX公司 XML格式引用 \textit{N.Mehdipour}等人,Automatica 152,文章ID 110692,15 p.(2023年;Zbl 1519.93159) 全文: 内政部 链接
弗朗西斯科·贝拉迪内利;安吉洛·费兰多;瓦迪姆·马尔文 一种用于验证信息不完全的多智能体系统中策略属性的抽象再定义框架。 (英语) 兹伯利07697287 Artif公司。智力。 316,文章ID 103847,31 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{F.Belardinelli}等人,Artif。智力。316,文章ID 103847,31 p.(2023;Zbl 07697287) 全文: 内政部
阿尔瓦罗·贝拉斯克斯;伊斯梅尔·阿尔库里;苏布拉马尼,K。;彼得·沃伊切乔夫斯基;乔治·阿蒂亚 基于稳态分布的最优确定性控制器综合。 (英语) Zbl 07695710号 J.汽车。推理 67,第1号,第7号论文,第26页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Velasquez}等人,J.Autom。推理67,第1号,第7号论文,第26页(2023;Zbl 07695710) 全文: 内政部
Nathalie Bertrand;雨果·弗兰肯;尼古拉斯·马基 同步下的单词长期贷款约束。 (英语) Zbl 07691951号 信息处理。莱特。 182,文章ID 106392,第7页(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人,《信息处理》。莱特。182,文章ID 106392,7 p.(2023;Zbl 07691951) 全文: 内政部
黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;皮埃特罗·萨拉 扩展(ω)正则语言的区间时序逻辑特征。 (英语) Zbl 07691017号 西奥。计算。科学。 962,文章ID 113929,29 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Della Monica}等人,Theor。计算。科学。962,文章ID 113929,第29页(2023;Zbl 07691017) 全文: 内政部
Wałęga、PrzemysÞaw;Micha Zawidzki;伯纳多·昆卡·格劳 具有度量时态运算符的数据日志程序的有限可物性。 (英语) Zbl 1506.68015号 J.阿蒂夫。智力。研究(JAIR) 76, 471-521 (2023).MSC公司:68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Waęga}等人,J.Artif。智力。研究(JAIR)76,471--521(2023;Zbl 1506.68015) 全文: 内政部
阿米罗尚Hoseinpour Dehkordi;马吉德·阿里扎德;阿里·莫瓦加尔 线性时态公告逻辑:多分类器知识推理的新视角。 (英语) Zbl 1517.03012号 牛市。伊朗。数学。Soc公司。 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公司
古拉姆·贝扎尼什维利;卢卡·卡莱 一元直觉量词的时间解释。 (英语) 兹比尔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;兹bl 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 1518.03004号 J.菲洛斯。日志。 52,第1期,221-266(2023). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B45 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}和\textit{R.Dosanjh},J.Philos。日志。52,编号1,221--266(2023;Zbl 1518.03004) 全文: 内政部
梅格达德·加里 具有过去和未来时间模式的线性时间调整逻辑。 (英语) 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公司
马里兰州阿基尔汗;莫华·班纳吉;熊猫,Sibsankar 粗糙集理论中时态信息系统的逻辑。 (英语) Zbl 07650598号 ACM事务处理。计算。日志。 24,第1号,第2号论文,29页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Md.A.Khan}等人,ACM翻译。计算。日志。24,第1号,第2号论文,29页(2023;Zbl 07650598) 全文: 内政部
科恩,马克斯·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) 全文: 内政部
刘德鹏;王,弯腰;付,陈;张丽君 模型检查差异私有属性。 (英语) 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) 全文: 内政部
亚历克斯·阿布因;亚历山大·博洛托夫;蒙特塞拉特赫莫;帕基·卢西奥 表aux和后续计算CTL公司和ECTL公司:通过认证证据和模型进行满意度测试。 (英语) Zbl 07618127号 J.日志。阿尔盖布。方法计划。 130,文章ID 100828,30 p.(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Abuin}等人,J.Log。阿尔盖布。方法计划。130,文章ID 100828,30 p.(2023;Zbl 07618127) 全文: 内政部
亚历山德罗·西马蒂;卢卡·盖蒂;尼古拉·吉甘特;安吉洛·蒙塔纳里;斯特凡诺·托内塔 \(\mathsf{GR}(1)\)等价于\(\mathf{R}(一)\)。 (英语) Zbl 1529.03188号 信息处理。莱特。 179,文章ID 106319,第8页(2023).MSC公司:03B70号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《Inf.过程》。莱特。179,文章ID 106319,8 p.(2023;Zbl 1529.03188) 全文: 内政部
Wałga,Przemys aw Andrzej 混合区间时序逻辑的计算复杂性。 (英语) Zbl 1512.03029号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103165,33页(2023). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 03B70号 03B45 第68页第27页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga},Ann.纯应用。逻辑174,第1号,文章ID 103165,33页(2023;Zbl 1512.03029) 全文: 内政部
罗伯特·戈德布拉特 实时一阶时序逻辑的强完备性。 arXiv:2310.20069 预打印,arXiv:2310.20069[math.LO](2023)。MSC公司:03B44号 BibTeX公司 引用 \textit{R.Goldblatt},“实时一阶时序逻辑的强完备性”,Preprint,arXiv:2310.20069[math.LO](2023) 全文: arXiv公司 OA许可证
古拉姆·贝扎尼什维利;安德烈·科内尔 关于布尔代数上模态和时态运算符的结构。 arXiv:2308.08664 预打印,arXiv:2308.08664[math.LO](2023)。MSC公司:03B45 03B44号 06E25年 2015年6月 54G05号 54B20型 18英尺70英寸 2012年2月6日 BibTeX公司 引用 \textit{G.Bezhanishvili}和\textit{A.Kornell},“关于布尔代数上模态和时态算子的结构”,预印,arXiv:2308.08664[math.LO](2023) 全文: arXiv公司 OA许可证
桑托斯,路易斯·恩里克·洛佩斯·多斯 时间真理与二价——亚里士多德《解释学9》的一种不合时宜的形式方法。 arXiv:2303.14529 预印本,arXiv:2303.14529[math.HO](2023)。MSC公司:03A05号 03B44号 03B50号 03B05号 BibTeX公司 引用 \textit{L.H.L.dos Santos},“时间真理和二价——亚里士多德《释义9》的一种不合时宜的形式方法”,预印本,arXiv:2303.14529[math.HO](2023) 全文: arXiv公司 OA许可证
伊凡·查伊达;赫尔穆特·Länger 包含时间维度的效应代数的逻辑。 arXiv:2303.11431 预印本,arXiv:2303.11431[math.LO](2023)。MSC公司:03B44号 03G12号机组 03G25号 2011年1月6日 08A55号 BibTeX公司 引用 \textit{I.Chajda}和\textit{H.Länger},“包含时间维度的效应代数的逻辑”,预印本,arXiv:2303.11431[math.LO](2023) 全文: arXiv公司 OA许可证
大卫·费尔南德斯·杜克;Montacute,Yoáv 动态康托尔导数逻辑。 (英语) Zbl 07830375号 Manea,Florin(编辑)等人,第30届EACSL计算机科学逻辑年会,CSL 2022,德国哥廷根,虚拟会议,2022年2月14-19日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。216,第19条,第17页(2022年)。MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque}和\textit{Y.Montacute},LIPIcs——莱布尼茨国际程序。通知。216,第19条,第17页(2022;兹bl 07830375) 全文: 内政部
斯蒂芬·巴什马科夫。;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公司
毛元奇;白塞州阿基姆;皮埃尔·洛伊·卡洛什;亚历山大·查普托 用信号时序逻辑规范实现最优控制的逐次凸化。 (英语) 兹伯利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)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公司 链接
乌迪·博克;卡罗琳娜·莱赫蒂宁;所罗门·西克特 关于自动机到线性时序逻辑的转换。 (英语) Zbl 07793027号 Patricia Bouyer等人,《软件科学和计算结构基础》。2022年4月2日至7日,第25届国际会议,FOSSACS 2022,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2022,德国慕尼黑。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13242, 140-160 (2022).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人,Lect。注释计算。科学。13242140-160(2022年;兹bl 07793027) 全文: 内政部 arXiv公司
达纳州安格鲁因;安东尼诺普洛斯;达纳·菲斯曼;内文·乔治 使用mod 2多重自动机表示无限单词的正则语言。 (英语) Zbl 07793020号 Patricia Bouyer等人,《软件科学和计算结构基础》。2022年4月2日至7日,第25届国际会议,FOSSACS 2022,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2022,德国慕尼黑。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13242,1-20(2022)。MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.Angluin}等人,Lect。注释计算。科学。13242,1--20(2022;Zbl 07793020) 全文: 内政部
克劳斯·哈弗伦德;多龙·贝利德 关于监测线性时间特性。 (英语) Zbl 07757156号 表格方法系统。设计。 60,编号3,405-425(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{D.Peled},《形式方法系统》。设计。60,编号3,405--425(2022;Zbl 07757156) 全文: 内政部
Ami Sakakibara;Natsuki Urabe;Toshimitsu Ushio LTL[\(mathcal{F}\)]规范下离散事件系统的有限记忆监督控制。 (英语) Zbl 07742185号 IEEE传输。自动。控制 67,第12号,6896-6903(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{A.Sakakibara}等人,IEEE Trans。自动。控制67,编号12,6896--6903(2022;Zbl 07742185) 全文: 内政部
林德曼,拉尔斯;乔治·帕帕斯。;迪马罗戈纳斯,迪莫斯五世。 信号时序逻辑的反应式和风险意识控制。 (英语) Zbl 07741708号 IEEE传输。自动。控制 67,第10号,5262-5277(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{L.Lindemann}等人,IEEE Trans。自动。控制67,编号10,5262--5277(2022;Zbl 07741708) 全文: 内政部 arXiv公司
高玉龙;亚历山德罗·阿巴特;Frank J.姜。;米尔科·贾科布;谢丽华;卡尔·亨利克·约翰逊 用于不确定离散时间系统的模型检查和控制综合的时间逻辑树。 (英语) Zbl 07741695号 IEEE传输。自动。控制 67,第10号,5071-5086(2022).MSC公司:93至XX PDF格式BibTeX公司 XML格式引用 \textit{Y.Gao}等人,IEEE Trans。自动。控制67,编号10,5071--5086(2022;Zbl 07741695) 全文: 内政部 arXiv公司
里巴科夫,V.V。 多智能体逻辑中的动态时序逻辑操作。 (英语。俄文原件) Zbl 07738540号 代数逻辑 61,第5期,407-419(2022);《代数逻辑》第61卷第5期第600-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格式引用 \文本{M.Chodil}等人,Lect。注释计算。科学。13660364--387(2022年;Zbl 1528.68216) 全文: 内政部
哈维尔·埃斯帕尔扎;鲁宾·鲁比奥;所罗门·西克特 线性时序逻辑规范化的简单重写系统。 (英语) Zbl 1528.68159号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13660208-227(2022年)。MSC公司:2012年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \文本{J.Esparza}等人,Lect。注释计算。科学。13660208-227(2022年;Zbl 1528.68159) 全文: 内政部 arXiv公司
佩德罗·卡巴拉 时态ASP:从逻辑基础到实际使用泰林戈. (英语) Zbl 1524.68351号 Šimkus,Mantas(编辑)等人,《推理网络》。声明式人工智能。2021年9月8日至15日,比利时鲁汶,第17所2021年国际暑期学校。辅导讲座。查姆:斯普林格。莱克特。注释计算。科学。13100, 94-114 (2022).MSC公司:第68页第27页 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar},莱克特。注释计算。科学。13100,94-114(2022;Zbl 1524.68351) 全文: 内政部
马丁·范策尔 寻求密集时间度量时序逻辑的充分语义基础。 (英语) Zbl 1524.68188号 Jansen,Nils(编辑)等人,《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际,为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13560, 201-212 (2022).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle},莱克特。注释计算。科学。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年;兹比尔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) 全文: 内政部
胡安·巴勃罗·阿奎莱拉;马丁·迪盖兹;大卫·费尔南德斯·杜克;布雷特·麦克莱恩 时间和哥德尔:PSPACE中的模糊时间推理。 (英语) Zbl 07691313号 Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13468, 18-35 (2022).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Aguilera}等人,Lect。注释计算。科学。13468,18-35(2022;Zbl 07691313) 全文: 内政部 arXiv公司
蔡义权;莫舍·瓦尔迪。 从线性时序逻辑到Büchi自动机:早期和简单的原理。 (英语) Zbl 1522.68287号 Olderog、Ernst-Rüdiger(编辑)等人,《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。13030, 8-40 (2022).MSC公司:65年第68季度 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{Y.-K.Tsay}和\textit{M.Y.Vardi},莱克特。注释计算。科学。13030,8--40(2022;Zbl 1522.68287) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);伯恩哈德·斯特芬;易、王 模型检查、综合和学习。 (英语) 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) 全文: 内政部
Dimitar P.Guelev。;本·莫斯科夫斯基 更正为:“离散时间区间时序逻辑的分离定理”。 (英语) 兹比尔1517.03015 J.应用。非类别。日志。 32,编号4,335-338(2022).MSC公司:03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{B.Moszkowski},J.Appl。非类别。日志。32,编号4,335--338(2022;Zbl 1517.03015) 全文: 内政部
马蒂奥·帕斯库奇;克劳迪奥·皮齐。 永久性与终止。 (英语) Zbl 07686245号 日志。分析。,努夫。Sér。 65,编号257,57-78(2022).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Pascucci}和\textit{C.E.A.Pizzi},Log。分析。,努夫。Sér。65,编号257,57--78(2022;Zbl 07686245) 全文: 内政部
马诺利斯皮茨卡利斯;阿列克谢·利西萨;罗珊 瞬时和持续时间现象的表示和处理。 (英语) 兹比尔1521.68063 De Angelis,Emanuele(编辑)等,基于逻辑的程序合成和转换。第31届国际研讨会,2021年9月7日至8日,爱沙尼亚塔林,LOPSTR 2021。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13290, 135-156 (2022).MSC公司:2010年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Pitsikalis}等人,Lect。注释计算。科学。13290,135-156(2022;Zbl 1521.68063) 全文: 内政部 arXiv公司