3 results
Denis Kuperberg.
Regular cost functions have been introduced recently as an extension to the notion of regular languages with counting capabilities, which retains strong closure, equivalence, and decidability properties. The specificity of cost functions is that exact values are not considered, but only estimated. […]
Published on February 4, 2014
Javier Esparza ; Denis Kuperberg ; Anca Muscholl ; Igor Walukiewicz.
Negotiations are a formalism for describing multiparty distributed cooperation. Alternatively, they can be seen as a model of concurrency with synchronized choice as communication primitive. Well-designed negotiations must be sound, meaning that, whatever its current state, the negotiation can still […]
Published on January 16, 2018
Denis Kuperberg ; Anirban Majumdar.
We introduce a measure called width, quantifying the amount of nondeterminism in automata. Width generalises the notion of good-for-games (GFG) automata, that correspond to NFAs of width 1, and where an accepting run can be built on-the-fly on any accepted input. We describe an incremental […]
Published on November 29, 2019