34 citations · 78 across the 22 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Active Learning for Sound Negotiations
Anca Muscholl, Igor Walukiewicz
We present two active learning algorithms for sound deterministic negotiations. Sound deterministic negotiations are models of distributed systems, a kind of Petri nets or Zielonka…
cs.FL2021
One-way resynchronizability of word transducers
Sougata Bose, S. N. Krishna, Anca Muscholl +1
The origin semantics for transducers was proposed in 2014, and led to various characterizations and decidability results that are in contrast with the classical semantics. In this…