Model checking sum and product

Authors:
H. P. van Ditmarsch;J. Ruan;L. C. Verbrugge
Affiliations:
University of Otago, New Zealand;University of Otago, New Zealand;University of Groningen, Netherlands
Venue:
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Year:
2005

Citing 3
Cited 1

Reasoning about knowledge

Reasoning about knowledge
The logic of public announcements, common knowledge, and private suspicions

The logic of public announcements, common knowledge, and private suspicions
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

Solving Sum and Product Riddle via BDD-Based Model Checking

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03

Quantified Score

Hi-index	0.00

Visualization

Abstract

We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then implemented and its solution verified in the epistemic model checker DEMO.