Publications

Conferences


2017

[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.