Model checking sum and product

H van Ditmarsch, H Ruan, L.C. Verbrugge

OnderzoeksoutputAcademicpeer review

9 Citaten (Scopus)

Samenvatting

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.

Originele taal-2English
TitelLecture Notes in Computer Science
RedacteurenS. Zhang, R. Jarvis
Plaats van productieBerlin
UitgeverijSpringer
Pagina's790-795
Aantal pagina's6
ISBN van geprinte versie3-540-30462-2
StatusPublished - 2005
EvenementProceedings of the Eighteenth Australian Joint Conference on Artificial Intelligence (AI'05) Sydney, AUstralia -
Duur: 5-dec-20059-dec-2005

Publicatie series

NaamLecture Notes in Artificial Intelligence
UitgeverijSPRINGER-VERLAG BERLIN
Volume3809
ISSN van geprinte versie0302-9743

Other

OtherProceedings of the Eighteenth Australian Joint Conference on Artificial Intelligence (AI'05) Sydney, AUstralia
Periode05/12/200509/12/2005

Citeer dit