@inproceedings{31dcab40d7264e2987eece0858f7760e,
title = "Model checking sum and product",
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.",
author = "{van Ditmarsch}, H and H Ruan and L.C. Verbrugge",
note = "intern. conference series Event: Proceedings of the Eighteenth Australian Joint Conference on Artificial Intelligence (AI'05) Sydney, AUstralia; Proceedings of the Eighteenth Australian Joint Conference on Artificial Intelligence (AI'05) Sydney, AUstralia ; Conference date: 05-12-2005 Through 09-12-2005",
year = "2005",
language = "English",
isbn = "3-540-30462-2",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer",
pages = "790--795",
editor = "S. Zhang and R. Jarvis",
booktitle = "Lecture Notes in Computer Science",
}