Journals

  1. Reasoning About Strategies: On the Satisfiability Problem
    Logical Methods in Computer Science. (LMCS 2017).
    (joint work with F. Mogavero, A. Murano, and M. Vardi)

  2. Synthesis with Rational Environments
    (Extended Version of EUMAS 2014)
    Annuals of Mathematics and Artificial Intelligence (AMAI)
    Volume 8953, pages 219-235.
    (joint work with O. Kupferman and M. Vardi)

  3. Checking Interval Properties of Computations
    (Extended Version of TIME 2014)
    ACTA Informatica (ACTA).
    (joint work with A. Molinari, A. Montanari, A. Murano, and A. Peron)

  4. Reasoning About Strategies: On the Model-Checking Problem.
    International Journal of Transactions on Computational Logic, ACM. (TOCL 2014).
    Vol. 15, N. 4, pages 1-42.
    (joint work with F. Mogavero, A. Murano, and M. Vardi)

Conference Papers

  1. Hierarchical Cost-Parity Games.
    24th International Symposium on Temporal Representation and Reasoning, TIME 2017
    October 16-18, 2017, Mons, Belgium.
    (joint work with L. Bozzelli, A. Murano, and L. Sorrentino)

  2. Nash Equilibria and Bisimulation Invariance.
    28th International Conference on Concurrency Theory, CONCUR 2017
    September 4-9, 2017, Berlin, Germany.
    (joint work with J. Gutierrez, P. Harrenstein, and M. Wooldridge)

  3. Nash Equilibria in Concurrent Games with Lexicographic Preferences.
    26th International Joint Conferences on Artificial Intelligence, IJCAI 2017
    August 19-25, 2017, Melbourne, Australia.
    (joint work with J. Gutierrez, A. Murano, S.Rubin, and M. Wooldridge)

  4. Iterated Games with LDL Goals over Finite Traces.
    16thInternational Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
    May 8-13, 2017, Sao Paulo, Brazil.
    (joint work with J. Gutierrez and M. Wooldridge)

  5. Cycle Detection in Computation-Tree Logic.
    7thInternational Symposium on Games, Automata, Logic, and Formal Verification, Gandalf 2016
    September 14-16, 2016, Catania, Italy.
    (joint work with G. Fontaine, F. Mogavero, A. Murano and L. Sorrentino)

  6. Solving Parity Games by Using an Automata-Based Algorithm.
    21stInternational Conference on Implementation and Application of Automata, CIAA 2016
    July 19-22, 2016, Seoul, South Korea.
    (joint work with A. Di Stasio, A. Murano and M. Vardi)

  7. Expressiveness and Nash Equilibrium in Iterated Boolean Games.
    15thInternational Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
    May 9-13, 2016, Singapore.
    (joint work with J. Gutierrez, P. Harrenstein and M. Wooldridge)

  8. Imperfect Information in Reactive Modules Game.
    15thInternational Conference on Principles of Knowledge Representation and Reasoning, KR 2016
    April 24-29, 2016, Cape Town, South Africa.
    (joint work with J. Gutierrez and M. Wooldridge)

  9. Rational Verification: From Model Checking to Equilibrium Checking.
    13th Conference on Artificial Intelligence, AAAI 2016
    February 12-17, 2016, Phoenix, Arizona USA.
    (joint work with M. Wooldridge, J. Gutierrez, P. Harrenstein, E. Marchioni, and A. Toumi )

  10. Multi- Agent Path Planning in Known Dynamic Environments.
    18th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
    October 26-30, 2015, Bertinoro, Italy.
    (joint work with S. Rubin and A. Murano)

  11. Binding Forms in First-Order Logic.
    14th Computer Science in Logics, CSL 2015
    September 7-10, 2015, Berlin, Germany.
    (joint work with F. Mogavero)

  12. Pushdown Multi-Agent System Verification.
    24th International Joint Conferences on Artificial Intelligence, IJCAI 2015
    July 25-31, 2015, Buenos Aires, Argentina.
    (joint work with A. Murano)

  13. Synthesis with Rational Environments.
    12th European Conference on Multi Agent Systems, EUMAS 2014
    Prague, Czech Republic, 18-19 December, 2014.
    (joint work with O. Kupferman and M. Vardi)

  14. Checking Interval Properties of Computations.
    21st International Symposium on Temporal Representation and Reasoning, TIME 2014
    Verona, Italy, September 8-10, 2014.
    (joint work with Angelo Montanari, A. Murano, and Adriano Peron)

  15. What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic.
    23rd International Conference on Concurrency Theory, CONCUR 2012,
    Newcastle upon Tyne - UK, 3--8 September, 2012, Springer-Verlag.
    (joint work with F. Mogavero, A. Murano, and M. Vardi)

    Theses

  1. Logics for Multi-Agent Systems Verification.
    PhD Thesis, Dipartimento di Matematica "Renato Caccioppoli", Università degli Studi di Napoli, May 2015.

  2. Bounded Model Properties for Strategy Logic Fragments.
    MsC Thesis, Dipartimento di Matematica "Renato Caccioppoli", Università degli Studi di Napoli, October 2011.