activity
20052013
most citedModel checking coalitional games in shortage resource scenarios

6 citations · 6 across the 4 of their papers we have counts for

collaborators
Showing cs.GTShow all

1 paper · 1 filter

cs.GT2010

Proceedings First Symposium on Games, Automata, Logic, and Formal Verification

Angelo Montanari, Margherita Napoli, Mimmo Parente

This volume contains the Proceedings of the first Symposium on "Games, Automata, Logic, and Formal Verification (GandALF)", held in Minori (Amalfi coast), Italy, 17-18 June 2010. T…