Notes from the session on Friday, 2016-09-30

Practical Hints

Comments on Lab 3

Stable Roommates Problem on Wikipedia

The example looked wrong in some browsers because a strikedthrough four did look exactly the same as a normal four. The numbers are grayed out now as well: https://en.wikipedia.org/wiki/Stable_roommates_problem#Example

Epistemic Model Checking