Publications

Journals


2017

[2] Graded Modalities in Strategy Logic
Special Issue of SR 2016, Information and Computation (To appear).
Joint work with Benjamin Aminof, Aniello Murano, and Sasha Rubin

[1] Reasoning about Graded Strategy Quantiers
Special Issue of TIME 2015, Information and Computation (To appear).
Joint work with Fabio Mogavero, Aniello Murano and Loredana Sorrentino

Conferences


2017

[11] Reasoning about Additional Winning Strategies in Two-Player Games
15th European Conference on Multi-Agent Systems, EUMAS 2017
December 14-15 2017, Evry
Joint work with Aniello Murano

[10] Hiding Actions in Multi-Player Games
16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
May 8-12 2017, Sao Paolo
Joint work with Aniello Murano and Loredana Sorrentino

[9] Reasoning about Natural Strategic Ability
16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
May 8-12 2017, Sao Paolo
Joint work with Wojtek Jamroga and Aniello Murano

2016

[8] Additional Winning Strategies in Two-Player Games
17th Italian Conference on Theoretical Computer Science, ICTCS 2016
September 7-9 2016, Lecce
Joint work with Aniello Murano

[7] Hiding Actions in Concurrent Games
22nd European Conference on Artificial Intelligence, ECAI 2016
August 29-September 02, 2016, The Hague
Joint work with Aniello Murano and Loredana Sorrentino

[6] Extended Graded Modalities in Strategy Logic
4th International Workshop on Strategic Reasoning, SR 2016
July 10, 2016, New York
Joint work with Benjamin Aminof, Aniello Murano, and Sasha Rubin

[5] NWin: A Tool for Counting Winning Strategies
15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
May 9-13, 2016, Singapore
Joint work with Aniello Murano and Marco Tafuto

[4] Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
May 9-13, 2016, Singapore
Joint work with Benjamin Aminof, Aniello Murano, and Sasha Rubin

[3] Concurrent Multi-Player Parity Games
15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
May 9-13, 2016, Singapore
Joint work with Aniello Murano and Loredana Sorrentino

2015

[2] On the Counting of Strategies
22nd International Symposium on Temporal Representation and Reasoning, TIME15
September 23-25, 2015, Kassel, Germany
Joint work with Fabio Mogavero, Aniello Murano and Loredana Sorrentino

[1] Games with Additional Winning Strategies
XXX Convegno Italiano di Logica Computazionale, CILC15
Genova, 1-3 luglio 2015
Joint work with Aniello Murano and Loredana Sorrentino


Theses


2014

[2] Graded modalities in strategic reasoning
Master of Computer Science Thesis, Universita' degli Studi di Napoli "Federico II", Italy, July 2014.

2010

[1] Implementazione di un algoritmo di verifica formale per programmi gerarchici nel tool Yasm
Bachelor of Computer Science Thesis, Universita' degli Studi di Napoli "Federico II", Italy, December 2010.