Model Checking Russian Cards

Authors:
H. P. van Ditmarsch;W. van der Hoek;R. van der Meyden;J. Ruan
Affiliations:
Computer Science, University of Otago, Dunedin, New Zealand;Computer Science, University of Liverpool, United Kingdom;School of Computer Science and Engineering, University of New South Wales & National ICT Australia, Sydney, Australia;Computer Science, University of Otago, Dunedin, New Zealand
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 9
Cited 7

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Reasoning about knowledge

Reasoning about knowledge
Common knowledge and update in finite environments

Information and Computation
Reasoning about Information Change

Journal of Logic, Language and Information
Descriptions of Game Actions

Journal of Logic, Language and Information
Knowledge and the logic of local propositions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Model Checking Knowledge and Time

Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Complete Axiomatizations for Reasoning about Knowledge and Time

SIAM Journal on Computing
Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation

AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2

Epistemic Verification of Anonymity

Electronic Notes in Theoretical Computer Science (ENTCS)
Introduction

ACM SIGACT News
Generalized Russian Cards Problem

COCOA '09 Proceedings of the 3rd International Conference on Combinatorial Optimization and Applications
Symbolic model checking of probabilistic knowledge

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Automatic data-abstraction in model checking multi-agent systems

MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Improved bounded model checking for a fair branching-time temporal epistemic logic

MoChArt'10 Proceedings of the 6th international conference on Model checking and artificial intelligence
Three steps

CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results.