35 citations · 151 across the 21 of their papers we have counts for
1 paper · 2 filters
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…