most citedInternet Sanctions on Russian Media: Actions and Effects

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2023

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…