Posts Tagged ‘Wiebe’

19
Dec

I passed my viva

Viva means PhD thesis defence. And I passed it this afternoon.

07
Apr

easily Draw Figures with Latex PStricks

In scientific publications, it is usually a good idea to have figures to illustrate how the theory works intuitively. But drawing a figure in Latex could be very time consuming. Here I introduce an easy way to draw figures in Latex. It was first discovered by my supervisor Wiebe.
Follow these steps:

Make sure that you [...]

27
Feb

Strategy Logics and the Game Description Language

Joint work with Wiebe van der Hoek and Michael Wooldridge. Published in the Proceedings of Workshop on Logic, Rationality and Interaction (LORI07), Beijing, August 2007.
PDF Download: Strategy Logics and the Game Description Language.
Any comments are welcome!
ABSTRACT: The Game Description Language (GDL) is a special purpose declarative language for defining games. GDL is used in the [...]

09
Sep

Model checking Dynamic Epistemics in Branching Time

Authors: H.P. van Ditmarsch, J. Ruan, and W. van der Hoek
Abstract: We give a relation between a logic of knowledge and change, with a semantics on Kripke models, and a logic of knowledge and time, with a semantics on interpreted systems. More in particular, given an epistemic state (pointed multi-agent Kripke model where all accessibility [...]

09
Jul

Model Checking Russian Cards

Authors: Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden and Ji Ruan
Abstract: We implement a specific protocol for bit exchange among card-playing agents in three different state-of-the-art epistemic model checkers and compare the results.
Keywords: Cryptography, unconditional security, model checking, information-based protocols, epistemic logic.
Download: this paper in pdf.
BibTex: from DBLP
@article{DBLP:journals/entcs/DitmarschHMR06,
author [...]