40 citations · 134 across the 31 of their papers we have counts for
1 paper · 1 filter
F. Belardinelli, P. Gonzalez, A. Lomuscio
We present a methodology for the automated verification of quantum protocols using MCMAS, a symbolic model checker for multi-agent systems The method is based on the logical framew…