Murano, Aniello
- Reasoning About Strategies: On the Model-Checking Problem
2011/12/29 by Fabio Mogavero, Aniello Murano, Mogavero, Fabio +5 · 7 citations
Computer Science · #03B60 #68Q60 (Primary) 03B70 (Secondary) 03B44 #F.3.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multiagent Systems (cs.MA)
- Decidability results for ATL* with imperfect information and perfect recall
2018/05/31 by Raphaël Berthon, Bastien Maubert, Berthon, Raphaël +3 · 3 citations
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
2014/02/11 by Petr Čermák, Alessio Lomuscio, Čermák, Petr +5 · 1 citation
Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Logic, Reasoning, and Knowledge
- Alternating Tree Automata with Qualitative Semantics
2020/02/10 by Berthon, Raphaël, Fijalkow, Nathanaël, Filiot, Emmanuel +7 · 1 citation
#FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)
- Robust Alternating-Time Temporal Logic
2023/07/20 by Aniello Murano, Murano, Aniello, Daniel Neider +3 · 1 citation
Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- Natural Strategic Ability in Stochastic Multi-Agent Systems
2024/01/22 by Raphaël Berthon, Berthon, Raphaël, Joost-Pieter Katoen +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
- Strategic Abilities of Forgetful Agents in Stochastic Environments
2023/10/26 by Francesco Belardinelli, Belardinelli, Francesco, Wojciech Jamroga +5 · 1 citation
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Multiagent Systems (cs.MA) #Semantic Web and Ontologies
- Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions
2022/01/24 by Belardinelli, Francesco, Jamroga, Wojtek, Malvone, Vadim +3 · 1 citation
#Artificial Intelligence (cs.AI) #Computer Science and Game Theory (cs.GT) #FOS: Computer and information sciences