帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利 关于战略行为的质量和模糊性的推理。 （英语） Zbl 07713582号 ACM事务处理。计算。日志。 24，第3条，第21条，第38页（2023年）. MSC公司： 03B70号 计算机科学中的逻辑 68倍 计算机科学 关键词：合成;定量;模糊的 PDF格式BibTeX公司 XML格式引用 \textit｛P.Bouyer｝等人，ACM Trans。计算。日志。24，第3号，第21条，第38页（2023；Zbl 07713582） 全文： 内政部 arXiv公司 参考文献： [1] Alechina、Natasha、Logan、Brian、Nga、Nguyen Hoang和Rakib、Abdur。2010.基于资源的交替时间时序逻辑。在第九届自治代理和多代理系统国际会议的会议记录中。Hoek，Wiebe van der，Kaminka，Gal A.，Lespérance，Yves，Luck，Michael，Sen，Sandeep（编辑），国际自治代理和多代理系统基金会，481-488。 [2] 阿尔马戈、沙乌尔、博克、乌迪和库普夫曼，奥尔纳。2014年，LTL贴现。在第20届系统构建和分析工具和算法国际会议论文集。Ábrahám，Erikz和Havelund，Klaus（编辑），第8413卷，Springer Verlag，424-439。DOI（操作界面）：·Zbl 1477.68163号 [3] Almagor、Shaull、Boker、Udi和Kupferman、Orna。2016.对质量进行正式推理。ACM63杂志，3（2016），24:1-24:56。DOI（操作界面）：·Zbl 1426.68161号 [4] 阿尔马戈、沙乌尔和库普夫曼，奥尔纳。2016年，针对随机环境的高质量合成。第25届EACSL计算机科学逻辑年会论文集。Talbot，Jean-Marc和Regnier，Laurent（编辑），第62卷。莱布尼兹·泽特鲁姆·福尔·Informatik，28:1-28:17。DOI（操作界面）：·Zbl 1369.68256号 [5] 阿尔马戈、沙乌尔和库普夫曼，奥尔纳。2017.噪声输入下的格点-LTL合成。离散事件动态系统27，3（2017），547-572。DOI（操作界面）：·Zbl 1374.93029号 [6] 阿尔马戈、沙乌尔、库普夫曼、奥尔纳和佩雷利、朱塞佩。2018.定量目标博弈中可控纳什均衡的合成。第27届国际人工智能联合会议记录。Jéróme Lang（Ed.），IJCAI组织，35-41岁。内政部： [7] 阿尔马戈、沙乌尔、库普夫曼、奥尔纳、林格特、扬·奥利弗和维勒纳、亚龙。2017.针对随机环境的高质量合成。第29届计算机辅助验证国际会议记录。Rupak Majumdar和（编辑），第10427卷，Springer-Verlag，353-374。DOI（操作界面）：·Zbl 1494.68156号 [8] 阿鲁尔、拉杰耶夫、亨廷格、托马斯A.和库普夫曼，奥尔纳。2002.交替时间时序逻辑。ACM49杂志，5（2002），672-713。DOI（操作界面）：·Zbl 1326.68181号 [9] 本杰明·阿米诺夫（Aminof）、本杰明（Benjamin）、奎亚特·考斯卡（Kwiatkowska）、玛尔塔（Marta）、莫伯特（Maubert）、巴斯蒂安（Bastien）、穆拉诺（Murano）、阿尼埃洛（Aniello）和萨沙·鲁。2019.概率策略逻辑。第28届国际人工智能联合会议记录。IJCAI组织，32-38。内政部： [10] 阿米诺夫、本杰明、马尔文、瓦迪姆、穆拉诺、阿尼埃罗和鲁宾、萨沙。2018年，战略逻辑中的分级模式。信息与计算261，4（2018），634-649。DOI（操作界面）：·Zbl 1395.68254号 [11] 亚萨林、尤金、马勒、奥德、普努利、阿米尔和约瑟夫·西法基斯。时间自动机的控制器综合。第五届IFAC系统结构与控制会议论文集。爱思唯尔，469-474。 [12] Baier、Christel、Brázdil、Tomáš、Grßer、Marcus和Kučera、Antonín。2012.随机游戏逻辑。《信息学报》49，4（2012），203-224。DOI（操作界面）：·Zbl 1276.68103号 [13] 2017年，伯顿、拉斐尔、莫伯特、巴斯蒂恩、穆拉诺、阿尼埃罗、鲁宾、萨沙和瓦迪，莫西·Y。信息不完全的战略逻辑。第32届ACM/IEEE计算机科学逻辑年会论文集。IEEE计算机学会，1-12。DOI（操作界面）：·Zbl 1458.68113号 [14] 迪特马尔·伯旺格。2007.无限游戏中的可接纳性。第24届计算机科学理论方面年度研讨会论文集。施普林格，188-199年。DOI（操作界面）：·Zbl 1186.68278号 [15] 乌迪·博克、查特吉、克里希南多、亨廷格、托马斯·A·和奥纳·库普夫曼。2014.具有累计值的临时规范。《美国计算机学会计算逻辑学报》15，4（2014），27:1-27:25。DOI（操作界面）：·Zbl 1354.68169号 [16] Bollig、Benedikt、Decker、Norman和Leucker，Martin。2012.频率线性时间时序逻辑。第六届软件工程理论方面国际研讨会论文集。Margaria，Tiziana，Qiu，Zongyang和Yang，Hongli（编辑），IEEE计算机学会，85-92。内政部： [17] 鲍耶、帕特里夏、法伦贝格、乌利、拉森、金·古德斯特朗、马基、尼古拉斯和斯尔巴·基西尼。2008.无限在能量受限的加权时间自动机中运行。第六届国际时间系统形式建模和分析会议记录。Frank Cassez和Claude Jard（编辑），第5215卷，Springer-Verlag，第33-47页。DOI（操作界面）：·Zbl 1171.68524号 [18] Patricia Bouyer、Gardy、Patrick和Nicolas Markey。2015.单对战中布尔目标的加权策略逻辑。在第35届软件技术和理论计算机科学基础会议论文集上。Harsha，Prahladh和G.Ramalingam（编辑），第45卷，Leibniz-Zentrum für Informatik，69-83。DOI（操作界面）：·Zbl 1366.68166号 [19] 鲍耶、帕特里夏、库普夫曼、奥尔纳、马基、尼古拉斯、莫伯特、巴斯蒂安、穆拉诺、内洛和佩雷利、朱塞佩。2019.关于战略行为的质量和模糊性的推理。第28届国际人工智能联合会议记录。IJCAI组织，1588-1594年。内政部： [20] Patricia Bouyer、Markey、Nicolas和Matteplackel、Raj Mohan。2014年LTL平均值。第25届并行理论国际会议论文集。Baldan，Paolo和Gorla，Daniele（编辑），第8704卷，施普林格出版社，266-280。DOI（操作界面）：·Zbl 1417.68098号 [21] 罗曼·布伦吉尔。2016年，平手游戏中的稳健均衡。第19届软件科学和计算结构基础国际会议论文集。第9634卷，施普林格，217-233。DOI（操作界面）：·Zbl 1475.68202号 [22] 布伦吉耶、罗曼、佩雷斯、吉列尔莫·A、拉斯金、珍妮·弗朗索瓦和萨索拉斯·马修。2016.定量图形游戏的可接纳性。第36届软件技术和理论计算机科学基础会议论文集。S.Akshay，Lal，Akash，Saurabh，Saket，and Sen，Sandeep（编辑），莱布尼兹·泽特鲁姆·富尔·Informatik，42:1-42:14。DOI（操作界面）：·Zbl 1394.91058号 [23] 布伦吉耶、罗曼、拉斯金、珍妮·弗兰索瓦和奥坎·桑库尔。2017.假设可接受合成。《信息学报》54，1（2017），41-83。DOI（操作界面）：·Zbl 1362.68202号 [24] 布里海耶、托马斯、布鲁埃尔、维罗尼克和朱丽叶·德普利。2014.关于具有可达性/安全目标的定量游戏的均衡。计算系统理论54，2（2014），150-189。DOI（操作界面）：·Zbl 1380.91031号 [25] 布里亚耶、托马斯、拉鲁西尼、弗朗索瓦、马基、尼古拉斯和奥雷比、加桑。2007.定时并发游戏结构。第18届并行理论国际会议论文集。Caires，Luís和Vasconcelos，Vasco T.（编辑），第4703卷，Springer-Verlag，445-459。DOI（操作界面）：·Zbl 1151.68510号 [26] 布鲁耶尔、维罗尼克、梅尼尔、诺伊米和拉斯金、珍妮·弗朗索瓦。2014.在加权博弈中确保均衡。第23届EACSL计算机科学逻辑年会联席会议和第29届ACM/IEEE计算机科学逻辑研讨会会议记录。ACM公司。DOI（操作界面）：·Zbl 1401.91012号 [27] Bulling，Nils和Goranko，Valentin。2013.如何既富有又快乐：结合多层次游戏的定量和定性战略推理（扩展抽象）。第1届战略推理国际研讨会论文集。33-41。DOI（操作界面）：·Zbl 1464.68408号 [28] 查克拉巴蒂（Chakrabarti）、阿林达姆（Arindam）、德阿尔法罗（de Alfaro）、卢卡（Luca）、亨廷格（Henzinger）、托马斯（Thomas A.）和斯托琳加（Stoelinga）、玛丽埃尔（Mariélle）。2003.资源接口。第三届嵌入式软件国际会议论文集。Alur，Rajeev和Lee，Insup（编辑），计算机科学讲义，第2855卷，Springer-Verlag，117-133。内政部： [29] 查特吉（Chatterjee）、克里希南多（Krishnendu）、多恩（Doyen）、劳伦特（Laurent）、菲利奥特（Filiot）、伊曼纽尔（Emmanuel）和拉斯金（Raskin）、珍妮·弗朗索瓦（Jean-François）。2014年，omega常规游戏的世界末日平衡。第15届国际验证、模型检验和抽象解释研讨会论文集。McMillan，Kenneth L.和Rival，Xavier（编辑），《计算机科学讲义》，第8318卷，施普林格出版社，78-97。DOI（操作界面）：·Zbl 1428.68181号 [30] 查特吉（Chatterjee）、克里希南多（Krishnendu）、亨廷格（Henzinger）、托马斯（Thomas A.）和尤尔津斯基（Jurdzi nnski）、马钦（Marcin）。2006.具有安全平衡的游戏。《理论计算机科学》365，1-2（2006），67-82。DOI（操作界面）：·Zbl 1108.91007号 [31] 查特吉（Chatterjee）、克里希南多（Krishnendu）、亨廷格（Henzinger）、托马斯（Thomas A.）和尼尔·皮特曼（Piterman）。2010年，战略逻辑。信息与计算208，6（2010），677-693。DOI（操作界面）：·Zbl 1205.68197号 [32] 陈、陶璐和卢、健。2007.概率交替时间时序逻辑和模型检查算法。第四届模糊系统与知识发现国际会议论文集。J.Lei（编辑），IEEE计算机学会，35-39。内政部： [33] 哈纳·乔克勒（Chockler）、库普夫曼（Kupferman）、奥尔纳（Orna）和瓦迪（Vardi），莫舍·Y.，2006年。用于正式验证的覆盖度量。技术转让软件工具8，4-5（2006），373-386。内政部： [34] Edmund M.Clarke和E.Allen Emerson。1982.使用分支时间时序逻辑设计和合成同步骨架。第三届程序逻辑研讨会论文集。Kozen，Dexter C.（编辑），第131卷。斯普林格·弗拉格，52-71。DOI（操作界面）：·Zbl 0546.68014号 [35] 科尔、理查德、多迪斯、叶夫根尼和蒂姆·拉夫加登。2006.税收能在多大程度上帮助自私的行为？《计算机与系统科学杂志》72，3（2006），444-467。DOI（操作界面）：·Zbl 1103.68018号 [36] de Alfaro、Luca、Faella、Marco、Henzinger、Thomas A.、Majumdar、Rupak和Stoelinga，Mariélle。2005.模型检查贴现时间属性。理论计算机科学345,1（2005），139-170。DOI（操作界面）：·Zbl 1079.68062号 [37] de Souza、Filipe Costa和Rego、Leandro Chaves。2016年，正常形式游戏中的混合均衡：当烧钱是理性的。Pesquisa Operacional36（2016），81-99。 [38] 莫妮卡、达里奥·德拉和穆拉诺、阿尼埃洛。2018年，MAS定性和定量推理的平价能量。在第17届自治代理和多代理系统国际会议的会议记录中。André、Elisabeth、Koenig、Sven、Dastani、Mehdi和Sukthankar，Gita（编辑），国际自治代理和多代理系统基金会，1441-1449年。 [39] Droste、Manfred、Kuich、Werner和Rahonis，George，2008年。单词和树上的多值MSO逻辑。《基础信息》84，13-4（2008），305-327·Zbl 1157.03016号 [40] Droste、Manfred、Kutsia、Temur、Rahonis、George和Schreiner、Wolfgang。2017.MK-fuzzy自动机和MSO逻辑。第八届国际游戏、自动化、逻辑和形式验证研讨会论文集。Patricia Bouyer、Orlandini、Andrea和San Pietro，Pierluigi（编辑），第256卷。106-120. DOI（操作界面）：·Zbl 1483.68164号 [41] 埃伦菲切特、安德烈吉和迈基尔斯基，1979年1月。平均回报博弈的位置策略。《国际游戏理论杂志》8，2（1979），109-113。DOI（操作界面）：·Zbl 0499.90098号 [42] 艾默生·E·艾伦（Emerson，E.Allen）和霍尔珀（Halpern，Joseph Y.），1986年。重温“有时”和“从不”：关于分支与线性时间时序逻辑。ACM33杂志，1（1986），151-178·Zbl 0629.68020号 [43] 艾默生·E·艾伦（Emerson，E.Allen）和朱特拉（Jutla，Charanjit S.），1991年。树自动机、微积分和确定性。第32届计算机科学基础年会论文集。IEEE计算机学会，368-377。内政部： [44] 艾默生、E.艾伦和雷、钦朗。1987.模型检查模式：分支时间逻辑反击。《计算机程序科学》8（1987），275-306。DOI（操作界面）：·Zbl 0615.68019号 [45] 菲亚尔科夫、纳塔纳埃尔、莫伯特、巴斯蒂安、穆拉诺、阿尼埃洛和鲁宾、萨沙。2018年，量化战略逻辑的界限。第27届EACSL计算机科学逻辑年会论文集。莱布尼兹·泽特鲁姆·福尔·Informatik，23:1-23:23。DOI（操作界面）：·Zbl 1528.68218号 [46] 费拉尔、杰瑞和弗列泽、库斯。1997.竞争马尔可夫决策过程。斯普林格·弗拉格·Zbl 0934.91002号 [47] Fisman、Dana、Kupferman、Orna和Lustig，Yoad。2010年。理性综合。第16届国际系统构造与分析工具与算法会议论文集。Esparza，Javier和Majumdar，Rupak（编辑），第6015卷，Springer-Verlag，190-204年。DOI（操作界面）：·Zbl 1284.68396号 [48] 蒂姆·弗伦奇。2001.量化命题分支时间逻辑的可判定性。第14届澳大利亚人工智能联合会议记录。165-176. DOI（操作界面）：·Zbl 1052.03007号 [49] Frigeri、Achille、Pasquale、Liliana和Spoletini、Paola。2014.线性时序逻辑中的模糊时间。ACM计算逻辑汇刊15，4（2014），30。DOI（操作界面）：·Zbl 1354.03021号 [50] Harel，David和Pnueli，Amir。1985年。关于反应系统的发展。在并发系统的逻辑和模型的进程中。施普林格，477-498·Zbl 0581.68046号 [51] Jason D.Hartline和Tim Roughgarden。2008年，优化机制设计和烧钱。第40届ACM计算理论研讨会论文集。75-84。DOI（操作界面）：·Zbl 1231.91117号 [52] Thomas A.Henzinger和Vinayak S.Prabhu，2006年。定时交替时间时序逻辑。第四届国际时间系统形式化建模与分析会议论文集。亚萨林，尤金和鲍耶，帕特里夏（编辑），第4202卷，斯普林格·弗拉格，1-17。DOI（操作界面）：·Zbl 1142.68049号 [53] 贾姆罗加（Jamroga）、沃伊切赫（Wojciech）、科尼科夫斯卡（Konikowska）、比塔（Beata）和彭泽克（Penczek）、沃伊切赫（Worjciech。2016年，战略能力多值验证。在第15届自治代理和多代理系统国际会议的会议记录中。Jonker，Cathodilijn M.、Marsella、Stacy、Thangarajah、John和Tuyls，Karl（编辑），国际自治代理和多代理系统基金会，1180-1189。 [54] 奥尔纳·库普弗曼。1999.用原子命题的存在量化来扩充分支时序逻辑。《逻辑与计算杂志》9，2（1999），135-147。DOI（操作界面）：·Zbl 0942.68072号 [55] 库普夫曼（Kupferman）、奥尔纳（Orna）、马都苏丹（Madhusudan）、帕塔萨拉西（Parthasarathy）、蒂亚加拉詹（Thiagarajan）、帕扎马内里（Pazhamaneri）、苏布拉曼尼亚（Subramaniam）和瓦尔迪（Vardi），摩。反应环境中的开放系统：控制和合成。第十一届并行理论国际会议论文集。92-107。DOI（操作界面）：·Zbl 0999.68124号 [56] Kupferman，Orna，Perelli，Giuseppe和Vardi，Moshe Y.，2016年。合理环境的合成。《数学与人工智能年鉴》78，1（2016），3-20。DOI（操作界面）：·Zbl 1372.68173号 [57] 库普夫曼、奥尔纳、瓦迪、莫舍·Y和沃尔珀·皮埃尔。2000.分支时间模型检查的自动机理论方法。ACM47杂志，2（2000），312-360。DOI（操作界面）：·Zbl 1133.68376号 [58] 库普夫曼、奥尔纳、瓦迪、莫舍·Y和沃尔珀·皮埃尔。2000.分支时间模型检查的自动机理论方法。ACM47期刊，2（2000），312-360。DOI（操作界面）：·Zbl 1133.68376号 [59] 拉明（Lamine）、哈立德·本（Khaled Ben）和卡班扎（Kabanza）、弗罗杜拉德（Froduad）。2000.使用模糊时间逻辑来监测基于行为的移动机器人。IASTED机器人与应用国际会议论文集。116-121. [60] 拉鲁西尼、弗朗索瓦和马基、尼古拉斯。2014.量化CTL：表达性和复杂性。《计算机科学中的逻辑方法》10，4（2014）。DOI（操作界面）：·Zbl 1448.68304号 [61] 拉鲁西尼、弗朗索瓦和马基、尼古拉斯。2015年，利用战略背景扩大ATL。《信息与计算》245（2015），98-123。DOI（操作界面）：·Zbl 1332.68140号 [62] 拉鲁西尼、弗朗索瓦、马基、尼古拉斯和奥雷比、加桑。2006.持续并发游戏结构的模型检查定时ATL。第四届国际时间系统形式化建模与分析会议论文集。亚萨林，尤金和鲍耶，帕特里夏（编辑），《计算机科学讲义》，第4202卷，斯普林格·弗拉格，245-259。DOI（操作界面）：·Zbl 1141.68474号 [63] Łukasiewicz，1920年1月。O logice Trójwarto shi ciowej公司。Studia Filozoficzne费洛佐维奇研究所270，5（1920）。 [64] 马朱姆达尔（Majumdar）、鲁帕克（Rupak）、伦德（Render）、伊莱恩（Elaine）和塔布阿达（Tabuada）、保罗（Paulo）。2011.针对未指定干扰的稳健离散综合。第14届ACM混合系统国际会议论文集：计算与控制。美国医学会，211-220。DOI（操作界面）：·Zbl 1362.68175号 [65] 马尔文、瓦迪姆、穆拉诺、阿尼埃罗和索伦蒂诺、洛雷达纳。2016年，并发多层平价游戏。在第15届自治代理和多代理系统国际会议的会议记录中。美国医学会，689-697。 [66] Mogavero、Fabio、Murano、Aniello、Perelli、Giuseppe和Vardi、Moshe Y.，2012年。是什么使ATL（^*\）可判定？战略逻辑的一个决定性片段。第23届并行理论国际会议论文集。Koutny，Maciej和Ulidowski，Irek（编辑），第7454卷，Springer-Verlag，193-208年。DOI（操作界面）：·Zbl 1365.68329号 [67] Mogavero、Fabio、Murano、Aniello、Perelli、Giuseppe和Vardi，Moshe Y.，2014年。关于策略的推理：关于模型选择问题。《美国计算机学会计算逻辑学报》15，4（2014），34:1-34:47。DOI（操作界面）：·Zbl 1354.68178号 [68] David E.Muller和Paul E.Schupp，1995年。用不确定自动机模拟交替树自动机：Rabin、McNaughton和Safra定理的新结果和新证明。理论计算机科学141，1&2（1995），69-107。DOI（操作界面）：·兹伯利0873.68135 [69] 尼桑、诺姆和罗恩、阿米尔。1999.算法机制设计。第31届ACM计算机理论研讨会论文集。美国医学会，129-140。DOI（操作界面）：·Zbl 1346.68246号 [70] Nisan、Noam、Roughgarden、Tim、Tardos、Eva和Vazirani，Vijay V.，2007年。算法博弈论。剑桥大学出版社。DOI（操作界面）：·Zbl 1130.91005号 [71] 尼尔·皮特曼。2007.从非确定性Büchi和Streett自动机到确定性奇偶自动机。计算机科学中的逻辑方法3，3（2007），1-21。DOI（操作界面）：·Zbl 1125.68067号 [72] 阿米尔·普努利。并发程序的时间语义。理论计算机科学13，1（1981），45-60。DOI（操作界面）：·Zbl 0441.68010号 [73] 阿米尔·普努利和罗尼·罗斯纳。1989年，关于反应模块的合成。第16届ACM编程语言原理研讨会会议记录。美国医学会，179-190年。内政部： [74] 迈克尔·奥·拉宾（Michael O.Rabin），1969年。无限树上二阶理论和自动机的可判定性。TAMS141（1969），1-35。DOI（操作界面）：·Zbl 0221.02031 [75] 乔治·拉霍尼斯（George Rahonis），2009年。模糊语言。在《加权自动机手册》的会议记录中。德罗斯特（Droste）、曼弗雷德（Manfred）、库奇（Kuich）、沃纳（Werner）和福格勒（Vogler）、沃尔特（Walter）（编辑）、斯普林格·弗拉格（Springer-Verlag），481-517。DOI（操作界面）：·Zbl 1484.68093号 [76] 沙普利，劳埃德S.，1953年。随机游戏。《国家科学院学报》39，10（1953），1095-1100。DOI（操作界面）：·Zbl 0051.35805号 [77] 西斯特拉，A.普拉萨德。1983.分布式系统设计和认证中的理论问题。。哈佛大学，马萨诸塞州剑桥。 [78] Topcu、Ufuk、Ozay、Necmiye、Liu、Jun和Murray，Richard M.，2012年。关于在建模不确定性下合成鲁棒离散控制器。第15届ACM混合系统国际会议论文集：计算与控制。美国医学会，85-94。DOI（操作界面）：·Zbl 1362.68190号 [79] 米歇尔·乌梅尔斯（Michael Ummels）。2010.随机多人游戏：理论和算法。德国亚琛RWTH。 [80] Vardi，M.Y.和Wolper，P.，1986年。程序模态逻辑的自动机理论技术。《计算机与系统科学杂志》32，2（1986），182-221。DOI（操作界面）：·Zbl 0622.03017号 [81] 斯蒂恩·维斯特。2015.关于单计数器系统中模型检查分支和交替时间时序逻辑的复杂性。第13届自动技术验证与分析国际研讨会论文集。Finkbeiner，Bernd，Pu，Geguang和Zhang，Lijun（编辑），第9364卷。斯普林格·弗拉格（Springer-Verlag），公元361-377年。DOI（操作界面）：·Zbl 1471.68158号 [82] 王浩。1990.计算、逻辑、哲学，第2卷。斯普林格·弗拉格。DOI（操作界面）：·Zbl 0899.01037号 [83] 尤里·兹威克和迈克·帕特森。图上平均回报游戏的复杂性。理论计算机科学158，1-2（1996），343-359·Zbl 0871.68138号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。