mcmas: A Model Checker for Multi-agent Systems
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 450-454
- https://doi.org/10.1007/11691372_31
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A formalisation of violation, error recovery, and enforcement in the bit transmission problemJournal of Applied Logic, 2004
- MCK: Model Checking the Logic of KnowledgePublished by Springer Nature ,2004
- Verifying epistemic properties of multi-agent systems via bounded model checkingPublished by Association for Computing Machinery (ACM) ,2003
- Model Checking Multi-Agent Programs with CASPPublished by Springer Nature ,2003
- Deontic Interpreted SystemsStudia Logica, 2003
- Alternating-time temporal logicJournal of the ACM, 2002
- Tractable multiagent planning for epistemic goalsPublished by Association for Computing Machinery (ACM) ,2002
- Reasoning About KnowledgePublished by MIT Press ,1995
- The dining cryptographers problem: Unconditional sender and recipient untraceabilityJournal of Cryptology, 1988