Model Transformers for Dynamical Systems of Dynamic Epistemic Logic. / Rendsvig, Rasmus Kræmmer.
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. ed. / Wiebe van der Hoek; Wesley H. Holliday; Wen-fang Wang. Berlin : Springer, 2015. p. 316-327 (Lecture notes in computer science, Vol. 9394).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review