9 citations · 16 across the 7 of their papers we have counts for
7 papers
A Neuro-Symbolic Approach to Strategy Synthesis for Strategic Logics
Marco Aruta, Vadim Malvone, Aniello Murano +2
Reasoning about what agents can achieve through strategic interaction is a core challenge in Multi-Agent Systems (MAS). Logics for strategic ability, such as ATL, provide rigorous…
Time Aware Knowledge Extraction for Microblog Summarization on Twitter
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia +1
Microblogging services like Twitter and Facebook collect millions of user generated content every moment about trending news, occurring events, and so on. Nevertheless, it is reall…
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…
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…