To drive or not to drive,
journal of Information and Computation
This paper analyses a selection of articles from European transport regulations that contain
algorithmic information, but may be problematic to implement. We focus on issues regarding the
interpretation of tachograph data and requirements on weekly rest periods. We first show that the
interpretation of data prescribed by these regulations is highly sensitive to minor variations in
input, such that near-identical driving patterns may be regarded both as lawful and as unlawful.
We then show that the content of the regulation may be represented in monadic second order logic,
but argue that a more computationally tame fragment would be preferable for applications.
As a case study we consider its representation in linear temporal logic, but show that a representation
of the legislation requires formulas of unfeasible complexity, if at all possible.
Referenced from DOI