To drive or not to drive: a logical and computational analysis of European transport regulations

DOI10.1016/j.ic.2020.104636OpenAlexW3095664463WikidataQ120486852 ScholiaQ120486852MaRDI QIDQ821552

Mireia González Bedmar, Juan José Conejero Rodríguez, Joost J. Joosten, Ana de Almeida Borges, David Fernández-Duque

Publication date: 21 September 2021

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ic.2020.104636

zbMATH Keywords

linear temporal logicmonadic second order logicautomated law enforcementformalized lawtachographtransport regulations

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• Bisimulations for temporal logic
• The complexity of first-order and monadic second-order logic revisited
• On the decidability and complexity of Metric Temporal Logic over finite words

This page was built for publication: To drive or not to drive: a logical and computational analysis of European transport regulations