Daniel Miedema

According to our database, Daniel Miedema authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2023

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.

Daniel Miedema, Malvin Gattinger

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023