Efficient verification of MASs with projections. (2014)

by D Ancona, D Briola, A El Fallah Seghrouchni, V Mascardi, P Taillibert
Venue:Engineering Multi-Agent Systems - Second International Workshop, EMAS 2014, Revised Selected Papers,