Model Checking Sum and Product

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.

• Type: Conference
• Year: 2005
• Where: AUSAI
• Authors: Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge
• Keywords: Artificial Intelligence, AUSAI 2005, Epistemic Model Checker, Modal Logic, Model Checker