References

1. Hans van Ditmarsch, Ji Ruan, and Rineke Verbrugge. Model checking sum and product. Technical report, Computer Science Department, University of Otago, New Zealand, 2005.
2. van Eijck, J.: Dynamic epistemic modelling. Technical report, Centrum voor Wiskunde en Informatica, Amsterdam (2004) CWI Report SEN-E0424.

Links

• Dynamic Epistemic MOdeling tools / DEMO
• Haskell
• Graphviz toolkit
• The Sum & Product problem
• Multi Agent Systems course page

Design

The design of this website is based/inspired on an open source design by Aaron Ganschow.