59 citations · 134 across the 18 of their papers we have counts for
1 paper · 1 filter
Fabio Mogavero, Aniello Murano, Giuseppe Perelli +1
In open systems verification, to formally check for reliability, one needs an appropriate formalism to model the interaction between agents and express the correctness of the syste…