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

07/11/2023

∙

by   Moritz Müller, et al.

∙

0

∙

share

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 models the European transport Regulation 561, and discuss the reaches and limits of a version of discrete time stopwatch automata.