9 citations · 16 across the 7 of their papers we have counts for
3 papers · 1 filter
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…
Enriched MU-Calculi Module Checking
Alessandro Ferrante, Aniello Murano, Mimmo Parente
The model checking problem for open systems has been intensively studied in the literature, for both finite-state (module checking) and infinite-state (pushdown module checking) sy…