文件大小：0.77 MB 16页
驯服策略逻辑：非连续碎片
作者
马西莫·贝内雷切蒂 
,
法比奥·莫加维罗 ,
阿德里亚诺·佩隆
-
部分： 体积： 第29届时间表征与推理国际研讨会（TIME 2022）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 时间表征与推理国际研讨会（TIME） 许可证： 
知识共享署名4.0国际许可 出版日期：2022-10-29
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM科目分类
计算理论→模态和时序逻辑 计算理论→逻辑和验证 计算理论→无限对象上的自动机
关键词
战略推理 多代理系统 时间逻辑 可满足性
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
E.Acar、M.Benerecetti和F.Mogavero。 策略逻辑中的可满足性比模型检查更容易。 AAAI Press19，第2638-2645页。 AAAI出版社，2019年。 
-
R.Alur、T.A.Henzinger和O.Kupferman。 交替时间时序逻辑。 JACM，49（5）：672-7132002年。
-
E.G.Amparore、S.Donatelli和F.Gallá。 Petri网的CTL*模型检查器。 在PETRI NETS’20中，LNCS 12152，第403-413页。 斯普林格，2020年。
-
F.Baader和W.Snyder。 统一理论。 在《自动推理手册》（第1卷）中。， 第445-532页。 Elsevier&MIT出版社，2001年。
-
M.Benerecetti、F.Mogavero和A.Murano。 子结构时序逻辑。 在LICS’13中，第368-377页。 IEEECS，2013年。
-
M.Benerecetti、F.Mogavero和A.Murano。 关于子结构和游戏的推理。 TOCL，16（3）：25:1-462015年。
-
P.Bouyer、P.Gardy和N.Markey。 加权策略逻辑与布尔目标超过一个反博弈。 在FSTTCS’15，LIPIC第45页，第69-83页。 莱布尼茨-中央情报局，2015年。
-
P.Bouyer、P.Gardy和N.Markey。 论战略逻辑的语义。 IPL，116（2）：75-792016年。
-
S.Bova和F.Mogavero。 Herbrand性质、有限拟Herbrank模型和量化联合查询的Chandra-Merlin定理。 在LICS’17中，第1-12页。 ACM，2017年。
-
K.Chatterjee、T.A.Henzinger和N.Piterman。 战略逻辑。 2007年CONCUR，LNCS 4703，第59-73页。 施普林格，2007年。
-
K.Chatterjee、T.A.Henzinger和N.Piterman。 战略逻辑。 IC，208（6）：677-6932010年。
-
H.Comon和V.Cortier。 扁平不是缺点。 CSL’00，LNCS 1862，第262-276页。 斯普林格，2000年。
-
D.水坝。 CTL和CTL*的扁平碎片：分离表达能力和区分能力。 LJIGPL，7（1）：55-781999。
-
S.Demri、R.Lazic和D.Nowak。 关于约束LTL中的冻结量词：可决定性和复杂性。 IC，205（1）：2-242007年。
-
S.Demri和P.Schnoebelen。 简单情况下命题线性时间逻辑的复杂性。 IC，174（1）：84-1032002年。
-
E.A.艾默生。 时间逻辑和模态逻辑。 在《理论计算机科学手册》（第二卷）中。， 第995-1072页。 麻省理工学院出版社，1990年。
-
E.A.Emerson和J.Y.Halpern。 重温“有时”和“并非永远”：关于分支与线性时间。 在POPL'83中，第127-140页。 ACM，1983年。
-
E.A.爱默生和J.Y.哈尔彭。 重温“有时”和“并非永远”：关于分支与线性时间。 JACM，33（1）：151-1781986年。
-
G.E.Fainekos、S.G.Loizou和G.J.Pappas。 将时序逻辑转换为控制器规范。 DC’06，第899-904页。 IEEECS，2006年。
-
P.Gardy、P.Bouyer和N.Markey。 战略逻辑中的依赖性。 在STACS’18，LIPIcs 96，第34:1-15页。 莱布尼茨-中央情报局，2018年。
-
P.Gardy、P.Bouyer和N.Markey。 战略逻辑中的依赖性。 TCS，64（3）：467-5072020年。
-
S.Ghosh和R.Ramanujam。 游戏策略：逻辑自动机研究。 ESSLLI'11，LNCS 7388，第110-159页。 施普林格，2011年。
-
E.Grädel、W.Thomas和T.Wilke。 自动机、逻辑和无限游戏：当前研究指南。 LNCS 2500。 斯普林格，2002年。
-
J.Gutierrez、P.Harrenstein和M.Wooldridge。 迭代布尔游戏。 2013年，IJCAI’13，第932-938页。
-
J.Gutierrez、P.Harrenstein和M.Wooldridge。 类游戏并发系统中平衡的推理。 在KR’14中，第408-417页。 AAAI出版社，2014年。
-
J.Gutierrez、P.Harrenstein和M.Wooldridge。 迭代布尔游戏。 IC，242:53-792015年。
-
T.A.Henzinger和N.Piterman。 解决游戏而不确定。 CSL’06，LNCS 4207，第395-410页。 斯普林格，2006年。
-
O.H.Ibarra和Z.Dang。 可达性结构中下推堆栈的移除。 在ISAAC’01，LNCS 2223，第244-256页。 施普林格，2001年。
-
B.库萨诺夫和A.内罗德。 自动机理论及其应用。 Birkhauser，2001年。
-
O.Kupferman、M.Y.Vardi和P.Wolper。 分支时间模型检查的自动机理论方法。 JACM，47（2）：312-360，2000年。
-
F.Mogavero、A.Murano、G.Perelli和M.Y.Vardi。 是什么使ATL*可决定？ 战略逻辑的一个决定性片段。 2012年CONCUR，LNCS 7454，第193-208页。 施普林格，2012年。
-
F.Mogavero、A.Murano、G.Perelli和M.Y.Vardi。 关于策略的推理：关于模型检验问题。 TOCL，15（4）：34:1-422014年。
-
F.Mogavero、A.Murano、G.Perelli和M.Y.Vardi。 关于策略的推理：关于可满足性问题。 LMCS，13（1:9）：1-372017年。
-
F.Mogavero、A.Murano和M.Y.Vardi。 战略推理。 FSTTCS’10，LIPIcs 8，第133-144页。 莱布尼茨-中央情报局，2010年。
-
F.Mogavero和G.Perelli。 一阶逻辑中的绑定形式。 CSL’15，LIPIcs 41，第648-665页。 莱布尼茨-中央情报局，2015年。
-
A.Pnueli和R.Rosner。 关于反应性模块的合成。 在POPL'89中，第179-190页。 ACM，1989年。
-
S.Schewe。 ATL*可满足性是2ExpTime-Complete。 在ICALP’08，LNCS 5126，第373-385页。 施普林格，2008年。
-
P.施诺贝伦。 时序逻辑模型检查的复杂性。 AIML'02，第393-436页。 学院出版物，2002年。
-
L.J.Stockmeyer。 多项式时间层次。 TCS，3（1）：1976年1月22日。
-
M.Y.瓦尔迪。 用双向自动机推理过去。 在ICALP’98中，LNCS 1443，第628-641页。 斯普林格，1998年。
-
M.Y.Vardi和P.Wolper。 自动程序验证的自动理论方法。 在LICS’86中，第332-344页。 IEEECS，1986年。
-
M.Y.Vardi和P.Wolper。 程序模态逻辑的自动机理论技术。 JCSS，32（2）：183-221986年。