4 citations · 4 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.FL2021
Keyboards as a new model of computation
Yoan Géran, Bastien Laboureix, Corto Mascle +1
We introduce a new formalisation of languages, called keyboards. We consider a set of elementary operations (writing/erasing a letter, going to the right or to the left,...) and we…
cs.LO2021
Responsibility and verification: Importance value in temporal logics
Corto Mascle, Christel Baier, Florian Funke +2
We aim at measuring the influence of the nondeterministic choices of a part of a system on its ability to satisfy a specification. For this purpose, we apply the concept of Shapley…