Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561

Moritz Müller, Joost J. Joosten

We discuss model-checking problems as formal models of algorithmic law. Specifically, we ask for an algorithmically tractable general purpose model-checking problem that naturally…