6 citations · 6 across the 4 of their papers we have counts for
4 papers
Model checking coalitional games in shortage resource scenarios
Dario Della Monica, Margherita Napoli, Mimmo Parente
Verification of multi-agents systems (MAS) has been recently studied taking into account the need of expressing resource bounds. Several logics for specifying properties of MAS hav…
Graded CTL Model Checking for Test Generation
Margherita Napoli, Mimmo Parente
Recently there has been a great attention from the scientific community towards the use of the model-checking technique as a tool for test generation in the simulation field. This…
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…
Various Solutions to the Firing Squad Synchronization Problems
J. Gruska, S. La Torre, M. Napoli +1
We present different classes of solutions to the Firing Squad Synchronization Problem on networks of different shapes. The nodes are finite state processors that work at unison dis…