Verification of multi-agent systems with public actions against strategy logic

DOI10.1016/j.artint.2020.103302zbMath1451.68290OpenAlexW3024446676MaRDI QIDQ785241

Alessio Lomuscio, Sasha Rubin, Francesco Belardinelli, Aniello Murano

Publication date: 6 August 2020

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2020.103302

zbMATH Keywords

verificationformal methodsmulti-agent systemsimperfect informationstrategy logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Related Items (1)

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Uses Software

• VerICS
• MCMAS
• MOCHA
• MCMAS-SLK
• EVE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Synthesis with rational environments
• Reasoning about equilibria in game-like concurrent systems
• On the semantics of strategy logic
• Augmenting ATL with strategy contexts
• Strategy logic
• The complementation problem for Büchi automata with applications to temporal logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Decision algorithms for multiplayer noncooperative games of incomplete information
• Practical verification of multi-agent systems against \textsc{Slk} specifications
• Graded modalities in strategy logic
• Imperfect information in reactive modules games
• A logic with revocable and refinable strategies
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Epistemic planning for single- and multi-agent systems
• Quantified CTL: Expressiveness and Complexity
• Reasoning About Strategies
• Dependences in Strategy Logic
• Alternating-time temporal logic
• Hierarchical Information Patterns and Distributed Strategy Synthesis
• Distributed Synthesis for Alternating-Time Logics
• Rational secret sharing and multiparty computation
• Dynamic Epistemic Logic and Knowledge Puzzles
• Deciding full branching time logic
• A Modal Logic for Coalitional Power in Games
• An Epistemic Strategy Logic
• Equilibria of concurrent games on event structures
• The Logic of Animal Conflict
• Rational Behaviour and Strategy Construction in Infinite Multiplayer Games
• Optimal Bluffing Strategies in Poker
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Verification of multi-agent systems with public actions against strategy logic