Practical verification of multi-agent systems against \textsc{Slk} specifications
From MaRDI portal
Publication:1641030
DOI10.1016/j.ic.2017.09.011zbMath1395.68255OpenAlexW2754427045MaRDI QIDQ1641030
Fabio Mogavero, Alessio Lomuscio, Aniello Murano, Petr Čermák
Publication date: 14 June 2018
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2017.09.011
Logic in artificial intelligence (68T27) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)
Related Items (4)
Automated temporal equilibrium analysis: verification and synthesis of multi-player games ⋮ Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol ⋮ Alternating-time temporal logics with linear past ⋮ Verification of multi-agent systems with public actions against strategy logic
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on cake cutting
- Strategy logic
- The dining cryptographers problem: Unconditional sender and recipient untraceability
- Symbolic model checking: \(10^{20}\) states and beyond
- Deontic interpreted systems
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
- Reasoning About Strategies
- Reasoning About Substructures and Games
- Model Checking Logics of Strategic Ability: Complexity*
- Alternating-time temporal logic
- Graph-Based Algorithms for Boolean Function Manipulation
- Logic in Computer Science
- On the Boundary of Behavioral Strategies
- Computer Aided Verification
- An automata-theoretic approach to branching-time model checking
This page was built for publication: Practical verification of multi-agent systems against \textsc{Slk} specifications
