Vol-3584⫷ Vol-3585 ⫸Vol-3586
urn:nbn:de:0074-3585-0


Vol-3585/paper20_SPIRIT10⫷Vol-3585/paper21_SPIRIT11
Angelo Ferrando

Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems