References
- Hans van Ditmarsch, Ji Ruan, and Rineke Verbrugge. Model checking sum and product. Technical report, Computer Science Department, University of Otago, New Zealand, 2005.
- 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.