Blog

Solving a children’s puzzle with and without temporal logic.