• KR 2023: Strategic Abilities of Forgetful Agents in Stochastic Environments, with Francesco Belardinelli, Wojteck Jamroga, and Munyque Mittelmann
• IJCAI 2023: Scalable Verification of Strategy Logic through Three-valued Abstraction, with Francesco Belardinelli, Angelo Ferrando, Wojteck Jamroga, and Vadim Malvone
• IJCAI 2023: Discounting in Strategy Logic, with Munique Mittelmann and Laurent Perrussel
• PAAMS 2023: Parking Problem with Multiple Gates, with Francesco Noviello, Munyque Mittelmann, and Silvia Stranieri
• AAAI 2023: Formal Verification of Bayesian Mechanisms, with B. Maubert, M. Mittelmann, L. Perrussel.
• ICAART 2023: A Game Theoretic Approach to Attack Graphs, with Davide Catta, Antonio Di Stasio, Jean Leneutre, and Vadim Malvone.
• ICAART 2023: Multi-Agent Parking Problem with Sequential Allocation, with Silvia Stranieri and Munyque Mittelmann.
• TOCL(2023):Reasoning about Quality and Fuzziness of Strategic Behaviors, with Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, and Giuseppe Perelli. ACM Transactions on Computational Logic Volume 24 Issue 3(21):1–38
• Artificial Intelligence: Verification of agent navigation in partially-known environments (with B. Aminof, S. Rubin, F. Zuleger)
• AAMAS 2022(proceedings): Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions (with F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, L. Perrussel)
• KR 2022(proceedings): Public and Private Affairs in Strategic Reasoning (with N. Fijalkow, B. Maubert, S. Rubin, M.Y. Vardi)
• IJCAI 2022(proceedings): Automated Synthesis of Mechanisms (with B. Maubert, M. Mittelmann, L. Perrussel)

Book editor

• Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, and Mauro Vallati,
  Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022)
  CEUR Proceedings vol. 3345, 2023
  November 28 - December 2, 2022, University of Udine, Udine, Italy.
  
  
• Wiebe van der Hoek, Bastien Maubert, Aniello Murano, Sasha Rubin,
  Special issue about selected papers from the 5th International Workshop on Strategic Reasoning (SR 2017) on Information and Computation Volume 276, February 2021.
  
  
• Dario Della Monica, Aniello Murano, Sasha Rubin and Luigi Sauro,
  Proceedings of the joint event ICTCS 2018 and CILC 2018,
  CEUR Proceedings vol. 1949, 2017
  Naples, Italy, September 26-28, 2017.
  
  
• Fabio Mogavero, Aniello Murano and Moshe Y. Vardi,
  Special issue on SR 2014 (preface)
  Information and Computation Volume 254, pages 141--328.
  
  
• Fabio Mogavero, Aniello Murano and Moshe Y. Vardi,
  Special issue on SR 2013 (preface)
  Information and Computation Volume 252, pages 1--394.
  
  
• Marco Faella and Aniello Murano,
  Games, Automata, Logic and Formal Verification
  (Special Issue of GandALF 2012),
  Theoretical Computer Science, Volume 560, Part 3, pages 217-380 (4 December 2014)
  DOI:10.1016/j.tcs.2014.01.017
  
  
• Fabio Mogavero, Aniello Murano and Moshe Y. Vardi,
  Proceedings of the Second International Workshop on Strategic Reasoning,
  Electronic Proceedings in Theoretical Computer Science, Vol. 146. pages 1-112.
  DOI: 10.4204/EPTCS.146 ISSN: 2075-2180.
  Grenoble, France, April 5-6, 2014.
  
  
• Fabio Mogavero, Aniello Murano and Moshe Y. Vardi,
  Proceedings of the First International Workshop on Strategic Reasoning,
  Electronic Proceedings in Theoretical Computer Science, Vol. 112. pages 1-122.
  DOI: 10.4204/EPTCS.112 ISSN: 2075-2180.
  Rome, Italy, March 16-17, 2013.
  
  
• Marco Faella and Aniello Murano,
  Proceedings of the Third International Symposium on Games, Automata, Logics and Formal Verification,
  Electronic Proceedings in Theoretical Computer Science, Vol. 96. pages 1-260.
  DOI: 10.4204/EPTCS.96 ISSN: 2075-2180.
  Napoli, Italy, September 6-8, 2012.
  
  

Journals

1. Natural Strategic Ability.
   Journal of Artificial Intelligence (AIJ 2019).
   Volume 277, pages 1-33
   (with Wojtek Jamroga and Vadim Malvone )

2. Model-Checking Graded Computation-Tree Logic with Finite Path Semantics.
   Theoretical Computer Science (TCS)
   Status: Available online since 20 September 2019.
   (with Mimmo Parente, Sasha Rubin, and Loredana Sorrentino)

3. On CTL* with Graded Path Modalities.
   Information and Computation (I&C 2018).
   Vol. 262, Part 1, pages 1-21.
   (With Benjamin Aminof and Sasha Rubin)

4. Cycle Detection in Computation Tree Logic.
   Special Issue of GandALF 2016.
   Information and Computation (I&C 2018).
   Vol. 262, Part 2, pages 265-279.
   (with Gaelle Fontaine, Fabio Mogavero, Aniello Murano, Giuseppe Perelli, and Loredana Sorrentino)

5. Extended Graded Modalities in Strategy Logic.
   Special Issue of AAMAS 2016 and SR 2016.
   Information and Computation (I&C 2018).
   Vol. 261, Part 4, pages 634-649.
   (with Benjamin Aminof, Vadim Malvone, and Sasha Rubin)

6. Practical Verification of Multi-Agent Systems against SLK Specifications.
   Extended version of CAV 2015 and Special issue of SR 2015
   Information and Computation (I&C 2018).
   Vol. 261, Part 3, pages 588-614.
   (with Petr Čermák, Alessio Lomuscio and Fabio Mogavero)

7. Reasoning about Graded Strategy Quantifiers.
   Special Issue of TIME 2015.
   Information and Computaion (I&C 2018).
   Vol. 259, Part 3, pages 390-411.
   (with Vadim Malvone, Fabio Mogavero, and Loredana Sorrentino)

8. Additional Winning Strategies in Finite Games.
   Special Issue of CILC 2015.
   Fundamenta Informaticae (FI 2018).
   Vol. 159, pages 175-195.
   (with Vadim Malvone and Loredana Sorrentino)

9. Reasoning about Strategies: On the Satisfiability problem
   (Extended Version of CONCUR 2012)
   Logical Methods in Computer Science (LMCS 2017).
   Vol 13(1:9), pages 1 - 27.
   (with Fabio Mogavero, Giuseppe Perelli, and Moshe Y. Vardi)

10. Ordered Multi-Stack Visibly Pushdown Automata
    (Extended Version of DLT 2007)
    Journal of Theoretical Computer Science (TCS 2016).
    Volume 656, Part A, Pages 1-26
    (with Dario Carotenuto and Adriano Peron)

11. Checking Interval Properties of Computations
    (Extended Version of TIME 2014)
    ACTA Informatica (ACTA 2016).
    Vol. 53, Issue 6, pages 587-619
    (with Alberto Molinari, Angelo Montanari, Giuseppe Perelli, and Adriano Peron)

12. Relentful Strategic Reasoning in Alternating-Time Temporal Logic (preprint)
    (Extended Version of LPAR 2010)
    Journal of Logic and Computation (JLC 2016).
    Vol. 26, Issue 5, pages 1663-1695.
    (with F. Mogavero and M.Y. Vardi)

13. Dynamic Network Functional Comparison via Approximate Bisimulation
    Control & Cybernetics (C&C 2015).
    Vol. 44, N. 1, pages 99-128.
    (with F. Donnarumma, R. Prevete)

14. On Promptness in Parity Games. (preprint)
    (Extended Version of LPAR 2013)
    Fundamenta Informaticae (FI 2015).
    Vol. 139, N. 3, pages 277-305.
    (with F. Mogavero, L. Sorrentino)

15. Reasoning About Substructures and Games
    (Full version of LICS 2013b)
    Transactions on Computational Logic, ACM. (TOCL 2015).
    Vol.16, N.3, Article 25.
    (with M. Benerecetti and F. Mogavero)

16. Reasoning About Strategies: On the Model-Checking Problem (preprint version) (ArXiv version)
    (Extended Version of FSTTCS 2010)
    Transactions on Computational Logic, ACM. (TOCL 2014).
    Vol. 15, N. 4, pages 1-42.
    (with F. Mogavero, G. Perelli, and M.Y. Vardi)

17. Synthesis of Hierarchical Systems, (preprint version)
    (Extended Version of FACS 2011)
    Science of Computer Programming (CSP 2014)
    Vol. 83, pages 56-79. http://dx.doi.org/10.1016/j.scico.2013.07.001.
    (with B. Aminof and F. Mogavero)

18. Automata-theoretic Decision of Timed Games, ( revised version)
    (Extended Version of VMCAI 2002)
    Theoretical Computer Science (TCS 2014)
    Vol. 515, pages 46-63. Doi: 10.1016/j.tcs.2013.08.021.
    (with M. Faella and S. La Torre)

19. Pushdown Module Checking with Imperfect Information, (preprint version)
    (Full version of CONCUR 2007 and IFIP TCS 2008)
    Information and Computaion (I&C 2013).
    Vol. 223, Issues 1, pages 1-17.
    (with B. Aminof, A. Legay, O. Serre, and M.Y. Vardi)

20. Graded Computation Tree Logic
    (Full version of LICS 2009 and CSL 2010)
    International Journal of Transactions on Computational Logic, ACM. (TOCL 2012).
    Vol. 13, N. 3, Article 25, pages 1-53.
    (with A. Bianco and F. Mogavero)

21. Improved Model Checking of Hierarchical Systems
    (Full version of VMCAI 2010)
    International Journal of Information and Computaion. (I&C 2012).
    Vol. 210, Issues 1, pages 68-86.
    (with B. Aminof and O. Kupferman)

22. Quantitatively Fair Scheduling (preprint)
    (Full version of MFCS 2009 and QAPL 2010)
    International Journal of Theoretical Computer Science (TCS 2012)
    Vol. 413, Issues 1, pages 160-175.
    (with A. Bianco, M. Faella, and F. Mogavero)

23. Exploring the Boundary of Half Positionality (preprint)
    (Full version of CLIMA-XI 2010)
    Journal of Annals of Mathematics and Artificial Intelligence (AMAI 2011).
    Vol. 62, Issue 1, pages 55 - 77.
    (A. Bianco, M. Faella, and F. Mogavero)

24. Pushdown Module Checking (preprint)
    (Full version of LPAR'05)
    Formal Methods in System Design (FMSD 2010)
    Vol. 36, Issue 1, pages 65 - 95.
    (with L. Bozzelli and A. Peron)

25. The Complexity of Enriched μ-Calculi (preprint)
    (Full version of ICALP'06)
    Logical Methods in Computer Science (LMCS 2008)
    Vol. 4 (3:11), pages 1 - 27.
    (with P.A. Bonatti, C. Lutz, and M.Y. Vardi )

26. Enriched μ-Calculi Module Checking (preprint)
    (Full version of FOSSACS'07 and LPAR'07)
    Logical Methods in Computer Science (LMCS 2008)
    Vol. 4 (3:1), pages 1 - 21.
    (with F. Ferrante and M. Parente)

27. Typeness for omega-Regular Automata
    (Full version of ATVA'04)
    International Journal of Foundations of Computer Science (IJFCS 2006)
    Vol. 17, No. 4, pages 869-883.
    (with O. Kupferman and G. Morgenstern)

28. Weak Muller Acceptance Conditions for Tree Automata
    (Full version of VMCAI'02)
    International Journal of Theoretical Computer Science (TCS 2005)
    Vol. 332, Issues 1-3, pages 233-250.
    (with S. La Torre and M. Napoli)

29. Model-checking the Secure Release of a Time-locked Secret over a Network.
    Electronic Notes in Theoretical Computer Science (ENTCS 2004)
    Vol.99, pages 229-243.
    (with S. La Torre and M. Parente)

Journals in IoT, E-Health, and E-Teaching

30. Walter Balzano, Aniello Murano, and Fabio Vitale.
    SNOT-WiFi: Sensor network-optimized training for wireless fingerprinting
    Journal of High Speed Networks 24(1): 79-87 (2018)

31. Walter Balzano, Aniello Murano, and Silvia Stranieri.
    Logic-based clustering approach for management and improvement of VANETs
    Journal of High Speed Networks 23(3): 225-236 (2017)

32. Walter Balzano, Aniello Murano, and Fabio Vitale.
    V2V-EN - Vehicle-2-Vehicle Elastic Network
    Procedia Computer Science (2016), Vol.98, pp. 497-502. DOI: 10.1016/j.procs.2016.09.084

33. Melania Masucci, Aniello Murano, Salvatore Cuomo, and Biagio D'Aniello.
    INNOVAMBIENTE, un'esperienza interdisciplinare di integrazione tra le Scienze Naturali, Matematiche ed Informatiche.
    Didattica delle Scienze e Informatica nella Scuola. Editrice LA SCUOLA. Volume 268, pag. 28-35, Maggio 2010.- ISSN 1593-537X.
    

34. Aniello Murano, Giusseppe Menna, Rosanna Parasole, Fara Petruzziello e Vincenzo Poggi.
    Creation of a computer network for monitoring a regional pediatric oncology.
    Journal of Hematology (Haematologica), vol. 93(sup 4), pages S56, October 2008. ISSN 0390-6078.

35. Aniello Murano, Salvatore Cuomo and Biagio D'Aniello.
    An Interdisciplinary Project Integrating Natural Science, Mathematics and Computer Science,
    MASAUM Journal of Basic and Applied Sciences (MASAUM 2009)
    Vol.1, Issue 2, pages 313 - 318, Septembre 2009. ISSN 2076-0841.
    

Conference and Workshop Papers

36. Strategic Reasoning in Automated Mechanism Design.
    KR 2021.
    (with Bastien Maubert, Munyque Mittelmann, and Laurent Perrussel)

37. Planning under LTL Environment Specifications
    29^th International Conference on Automated Planning and Scheduling, ICAPS 2019
    Extended version of Synthesis under Assumptions, KR 2018.
    (with Benjamin Aminof, Giuseppe De Giacomo, and Sasha Rubin )

38. Natural Strategic Ability under Imperfect Information
    18^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
    Accepted.
    (with Wojtek Jamroga and Vadim Malvone )

39. Reasoning about Changes of Observational Power in Logics of Knowledge and Time
    18^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019
    Accepted.
    (with Aurele Barriere, Bastien Maubert, and Sasha Rubin)

40. A Smart Compact Traffic Network Vision Based on Wave Representation
    33^th International Conference on Advanced Information Networking and Applications, AINA 2019
    March 27-29, 2019. Kunibiki Messe, Matsue, Japan. IEEE.
    (with Walter Balzano, Loredana Sorrentino, and Silvia Stranieri)

41. Reasoning about Knowledge and Strategies.
    16^th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
    30 October-2 November 2018, Tempe, Arizona. AAAI press.
    (with Bastien Maubert)

42. Bisimulations for Logics of Strategies: A Study in Expressiveness and Verification.
    16^th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
    30 October-2 November 2018, Tempe, Arizona. AAAI press.
    (with Francesco Belardinelli and Catalin Dima)

43. Changing Observations in Epistemic Temporal Logic.
    16^th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
    30 October-2 November 2018, Tempe, Arizona. AAAI press.
    (with Aurele Barriere, Bastien Maubert, and Sasha Rubin)

44. Planning and Synthesis Under Assumptions.
    16^th International Conference on Principles of Knowledge Representation and Reasoning, KR 2018
    30 October-2 November 2018, Tempe, Arizona. AAAI press.
    (with Benjamin Aminof, Giuseppe De Giacomo, and Sasha Rubin)

45. Quantifying Bounds in Strategy Logic.
    27^th EACSL Annual Conference on Computer Science Logic, CSL 2010
    Birmingham, United Kingdom, 4-7 September, 2018. LIPIcs 119,23:1-23
    (with Nathana\EBl Fijalkow, Bastien Maubert, and Sasha Rubin)

46. Results on alternating-time temporal logics with linear past.
    TIME 2018
    To appear
    (with Laura Bozzelli and Loredana Sorrentino )

47. Timed Context-Free Temporal Logics.
    GandALF 2018
    To appear
    (with Laura Bozzelli and Adriano Peron)

48. GCTL* over finite paths.
    ICTCS 2018
    To appear
    (with Loredana Sorrentino and Sasha Rubin)

49. Solving Parity Games: Explicit vs Symbolic
    23^th International Conference on Implementation and Application of Automata, CIAA 2018
    August Canada. LNCS.
    (with Antonio Di Stasio and Moshe Y. Vardi)

50. Alternating-time Temporal Logic on Finite Traces
    17^th International Joint Conferences on Artificial Intelligence, IJCAI 2018
    July 2018, Stockholm. AAAI press.
    (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin)

51. Decidable Verification of Multi-agent Systems with Bounded Private Actions
    17^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
    July 10-15, 2018. Stockholm. IFAAMAS.
    (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin )

52. Dynamic Escape Game (Demonstration)
    17^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
    July 10-15, 2018. Stockholm. IFAAMAS.
    (with Antonio Di Stasio, Paolo Domenico Lambiase and Vadim Malvone )

53. Parity-energy ATL for qualitative and quantitative reasoning in MAS
    17^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
    July 10-15, 2018. Stockholm. IFAAMAS.
    (with Dario Della Monica)

54. Event-Clock Nested Automata
    12^th International Conference on Language and Automata Theory and Applications, LATA 2018
    April 9-11, 2018. Tel Aviv, Israel. Springer Verlag, LNCS 10792, pages 80-92.
    (with Laura Bozzelli and Adriano Peron)

55. Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic
    16^th International Joint Conferences on Artificial Intelligence, IJCAI 2017
    August 19-25, 2017, Melbourne, Australia. AAAI press.
    (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin)

56. Nash Equilibria in Concurrent Games with Lexicographic Preferences
    16^th International Joint Conferences on Artificial Intelligence, IJCAI 2017
    August 19-25, 2017, Melbourne, Australia. AAAI press.
    (with Julian Gutierrez, Giuseppe Perelli, Sasha Rubin, and Michael Wooldridge)

57. Strategy Logic with Imperfect Information
    32^nd Annual IEEE Symposium on Logic in Computer Science, LICS 2017
    Reykjavik, June 20-23, 2017. IEEE Computer Society Press.
    (with Rapha{\"{e}}l Berthon, Bastien Maubert, Sasha Rubin, and Moshe Y. Vardi)

58. Reasoning about Additional Winning Strategies in Two-Player Games
    15^th European Conference on Multi-Agent Systems, EUMAS 2017
    Decemeber 14-15, 2017. Evry, Paris. LNCS, to appear.
    (with Vadim Malvone)

59. Parallel Parity Games: a Multicore Attractor for the Zielonka Recursive Algorithm
    16^th International Conference on Computational Science, ICCS 2017
    June 12-14, 2017. Zurich, Switerlang. Procedia Computer Science.
    (with Rossella Arcucci, Umberto Marotta, and Loredana Sorrentino )

60. Hierarchical Cost-Parity Games
    24^th International Symposium on Temporal Representation and Reasoning, TIME 2017
    October 16-18, 2017. Mons, Belgium. LIPIcs-Leibniz, vol. 90, pages 6:1--6:17.
    (with Laura Bozzelli, Giuseppe Perelli, and Loredana Sorrentino )

61. Evaluation of Temporal Datasets via Interval Temporal Logic Model Checking
    24^th International Symposium on Temporal Representation and Reasoning, TIME 2017
    October 16-18, 2017. Mons, Belgium. LIPIcs-Leibniz, vol.90, pages 11:1--11:18.
    (with Dario Della Monica, David de Frutos-Escrig, Angelo Montanari, and Guido Sciavicco )

62. On the Complexity of ATL and ATL* Module Checking
    8^th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2017
    20-21-22 September 2017, Rome. EPTCS.
    (with Laura Bozzelli)

63. Verification of Multi-agent Systems with Imperfect Information and Public Actions
    16^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
    May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
    (with Francesco Belardinelli, Alessio Lomuscio, and Sasha Rubin )

64. Decidability results for ATL with imperfect information and perfect recall
    16^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
    May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
    (with Raphaël Berthon and Bastien Maubert)

65. Reasoning about Natural Strategic Ability
    16^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
    May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
    (with Wojtek Jamroga and Vadim Malvone )

66. Hiding Actions in Multi-Player Games
    16^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017
    May 8-12, 2017. Sao Paolo, Brazil. IFAAMAS.
    (with Loredana Sorrentino and Vadim Malvone)

67. Prompt Interval Temporal Logic
    15^th European Conference On Logics In Artificial Intelligence, JELIA 2016
    November 9-11, 2016, Larnaca, Cyprus. LNCS 10021, pages 207-222.
    (with Dario Della Monica, Angelo Montanari, and Pietro Sala)

68. Reasoning about Module Checking
    Invited talk at University of Bozen - July 27, 2016 and
    Invited talk at LAMAS'15 in Istanbul - May 4, 2015

69. A Logic-Based Clustering Approach for Cooperative Traffic Control Systems
    11^th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC-2016
    November 5-7, 2016, Soonchunhyang (SCH) University, Asan, Korea. LNDECT Vol.1, pages 737-746.Springer.
    (with Walter Balzano, Maria Rosaria Del Sorbo, and Silvia Stranieri)

70. Extended Graded Modalities in Strategy Logic
    4^th International Workshop on Strategic Reasoning, SR 2016
    July 10, 2016, New York City. EPTCS 218.
    (with Benjamin Aminof, Vadim Malvone, and Sasha Rubin)

71. Cycle Detection in Computation Tree Logic
    7^th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016
    September 14-16, 2016, Catania, Italy. EPTCS vol. 226, pages 164-177.
    (with Gaelle Fontaine, Fabio Mogavero, Giuseppe Perelli, and Loredana Sorrentino)

72. Additional Winning Strategies in Two-Player Games
    17^th Italian Conference on Theoretical Computer Science, ICTCS 2016
    September 7-9, 2016, Lecce, Italy. Ceur proceedings, Volume 1720.
    (with Vadim Malvone)

73. Hiding Action in Concurrent Games
    22^nd European Conference on Artificial Intelligence, ECAI 2016
    August 29 - September 2, 2016, The Hague, the Netherlands. FAIA.
    (with Vadim Malvone and Loredana Sorrentino)

74. Solving Parity Games Using An Automata-Based Algorithm(revised version)
    21^st International Conference on Implementation and Application of Automata, CIAA 2016
    July 19-22, 2016, Seoul, South Korea. LNCS.
    (with Antonio Di Stasio, Giuseppe Perelli and Moshe Y. Vardi)

75. Imperfect information games and generalized planning
    15^th International Joint Conferences on Artificial Intelligence, IJCAI 2016
    July 9-13, 2016, New York, USA. AAAI press.
    (with Giuseppe De Giacomo, Sasha Rubin, and Antonio Di Stasio)

76. Concurrent Multi-Player Parity Games
    15^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
    May 9-13, 2016. Singapore. IFAAMAS.
    (with Loredana Sorrentino and Vadim Malvone)

77. Graded Strategy Logic: Reasoning about Uniqueness of Nash Equilibria
    15^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
    May 9-13, 2016. Singapore. IFAAMAS.
    (with Benjamin Aminof, Vadim Malvone, and Sasha Rubin)

78. Automatic verification of multi-agent systems in parameterised grid-environments
    15^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
    May 9-13, 2016, Singapore. IFAAMAS.
    (with Benjamin Aminof, Sasha Rubin, and Florian Zuleger )

79. NWin: A Tool for Counting Winning Strategies(Demo paper)
    15^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016
    May 9-13, 2016. Singapore. IFAAMAS.
    (with Vadim Malvone and Marco Tafuro)

80. Prompt Alternating-Time Epistemic Logics
    15^th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016
    April 25-29, 2016. Cape Town, South Africa. AAAI.
    (with Benjamin Aminof, Sasha Rubin, and Florian Zuleger )

81. WiFACT - Wireless Fingerprinting Automated Continuous Training.
    BOSON workshop at:
    30^th International Conference on Advanced Information Networking and Applications, AINA 2016
    March 23-25, 2016. Crans-Montana, Switzerland. IEEE.
    (with Walter Balzano and Fabio Vitale)

82. M-DGPS: An Algorithm for the Post-Processing of Geodetic Tracks Based on Multiple DGPS.
    BOSON workshop at:
    30^th International Conference on Advanced Information Networking and Applications, AINA 2016
    March 23-25, 2016. Crans-Montana, Switzerland. IEEE.
    (with Walter Balzano and Maria Rosaria Del Sorbo)

83. On CTL* with Graded Path Modalities
    20^th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-20 2015
    November 24-28, Suva, Fiji Islands. LNCS 9450.
    (with Benjamin Aminof and Sasha Rubin )

84. Verification of Asynchronous Mobile-Robots in Partially-Known Environments
    18^th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
    October 26-30, 2015, Bertinoro, Italy, LNCS 9387. Best Paper Award
    (with Benjamin Aminof, Sasha Rubin and Florian Zuleger)

85. Module Checking for Uncertain Agents
    18^th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
    October 26-30, 2015, Bertinoro, Italy, LNCS 9387.
    (with Wojtek Jamroga)

86. Multi-Agent Path Planning in Known Dynamic Environments
    18^th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2015
    October 26-30, 2015, Bertinoro, Italy, LNCS 9387.
    (with Giuseppe Perelli and Sasha Rubin)

87. On the Counting of Strategies
    22^th International Symposium on Temporal Representation and Reasoning, TIME 2015
    September 23-25, 2015, Kassel, Germany, IEEE. Pages 170-179.
    (with Vadim Malvone, Fabio Mogavero, and Loredana Sorrentino)

88. (Finite)Games with additional winning strategies
    30^th Italian Conference on Computational Logic, CILC 2015
    July 1-3, 2015, Genoa, Italy, CEUR Vol.1459, pages 175-180.
    (with Vadim Malvone and Loredana Sorrentino)

89. A Game-based Model for Human-robots Interaction
    16^th International Workshop From Objects to Agents, WOA 2015
    June 17-19, 2015, Naples, Italy, CEUR Vol.1382, pages 146--150.
    (with Loredana Sorrentino)

90. Pushdown Multi-Agent System Verification
    14^th International Joint Conferences on Artificial Intelligence, IJCAI 2015
    July 25-31, 2015, Buenos Aires, Argentina. AAAI press.
    (with Giuseppe Perelli)

91. Module Checking of Strategic Ability
    14^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015
    May 4-8, 2015, Istanbul, Turkey. IFAAMAS.
    (with Wojtek Jamroga)

92. Verifying and Synthesising Multi-Agent Systems against One-Goal Strategy Logic Specifications.
    29^th AAAI Conference on Artificial Intelligence, AAAI 2015
    Austin, Texas. January 25-30.
    (with Petr Čermák and Alessio Lomuscio )

93. Solving Parity Games in Scala.
    11^th International Symposium on Formal Aspects of Component Software, FACS 2014
    Bertinoro, Italia, September 10 - 12, 2014, LNCS 8997.
    (with Antonio Di Stasio, Vincenzo Prignano, and Loredana Sorrentino)

94. Checking Interval Properties of Computations.
    21^st International Symposium on Temporal Representation and Reasoning, TIME 2014
    Verona, Italy, September 8-10, 2014, IEEE.
    (with Angelo Montanari, Giuseppe Perelli and Adriano Peron)

95. A Behavioral Hierarchy of Strategy Logic.
    15^th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XV 2014
    Prague, Czech Republic, August 18-19, 2014, LNCS 8624, pages 148--165.
    (with Fabio Mogavero and Luigi Sauro)

96. MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications (ArXiv version).
    26^th International Conference on Computer Aided Verification, CAV 2014
    July 18-22, 2014, Vienna. LNCS 8559 pages 524-530.
    (with Petr Čermák, Alessio Lomuscio, and Fabio Mogavero)

97. On Module Checking and Strategies
    13^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
    May 5-9, 2014, Paris, France. IFAAMAS, pages 701-708.
    (with Wojtek Jamroga)

98. Strategy Games: A Renewed Framework
    13^th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014
    May 5-9, 2014, Paris, France. IFAAMAS, pages 869-876.
    (with Fabio Mogavero and Luigi Sauro)

99. On Promptness in Parity Games
    19^th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-19 2013
    December 15-19, 2013, Stellenbosch, South Africa. LNCS 8312, pages 601-618.
    (with Fabio Mogavero and Loredana Sorrentino)

100. Substructure Temporal Logic (long version)
     28^th Annual ACM/IEEE Symposium on Logic in Computer Science LICS 2013
     June 25-28, 2013, New Orleans, USA IEEE Computer Society Press, pages 368-377.
     (with M. Benerecetti and F. Mogavero)

101. On the Boundary of Behavioral Strategies (long version)
     28^th Annual ACM/IEEE Symposium on Logic in Computer Science LICS 2013
     June 25-28, 2013, New Orleans, USA IEEE Computer Society Press, pages 363-372.
     (with F. Mogavero and L. Sauro)

102. What Makes Atl* Decidable? A Decidable Fragment of Strategy Logic
     23^rd International Conference on Concurrency Theory, CONCUR 2012,
     Newcastle upon Tyne - UK, 3--8 September, 2012, Springer-Verlag, LNCS 7454, pages 193-208.
     (with F. Mogavero, G. Perelli, and M.Y. Vardi)

103. The Strategy Logic Saga
     4^th Workshop on Games for Design, Verification and Synthesis, GASICS 2012,
     Newcastle upon Tyne - UK, 3 September, 2012, pages 4.
     (with F. Mogavero, G. Perelli, L. Sauro, and M.Y. Vardi)

104. An Educational Test Service software: Slide Test Maker
     11^th International Conference on Web-based Learning, ICWL 2012,
     Sinaia, Romania, 2-4 September, 2012, Springer-Verlag, LNCS 7558, pages 249-257.
     (with S. Cuomo, and V. Fuccella)

105. A Social Network Framework for the Carolina Software
     5^th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2012
     Crete, Greece, June 6 - 8, 2012, pages 1-4, ACM.
     (with S. Cuomo, E. Del Giudice, and F. Piccialli)

106. Synthesis of Hierarchical Systems (long version)
     8^th International Symposium on Formal Aspects of Component Software, FACS 2011
     Oslo, Norway, September 14 - 16, 2011. LNCS 7253, Springer-Verlag, pages 42-59.
     (with B. Aminof and F. Mogavero)

107. A Sketch-Based System for Teaching Geometry (preprint)
     International Workshop on Distance Education Technologies, DET 2011
     Florence, Italy, August 18 - 20, 2010. Knowledge Systems Institute Press, pages 246--249.
     (with G. Costagliola, S. Cuomo, and V. Fuccella)

108. THE C@ROLIN@ SOFTWARE - A System for Monitoring
     Skills Development of Children with Down Syndrome
     4^th International Conference on Health Informatics, Healthinf 2011
     Rome, Italy, Januaray 26 - 29, 2011. INSTICC Press 2011, pages 180-185.
     (with S. Cuomo and F. Piccialli)

109. Reasoning About Strategies (refer to the TOCL Journal version (2014) for an improvement regarding the Model-Checking Problem)
     IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010
     Chennai, India, December 15 - 18, 2010. LIPIcs, pages 133-144
     (with F. Mogavero and M.Y. Vardi)

110. Relentful Strategic Reasoning in Alternating-Time Temporal Logic
     16^th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR-16 2010
     Dakar, Senegal, April 25 - May 1, 2010. Springer-Verlag LNAI 6355 , pages 371-386
     (with F. Mogavero and M.Y. Vardi)

111. Graded Computation Tree Logic with Binary Coding
     19^th EACSL Annual Conference on Computer Science Logic, CSL 2010
     Brno Czech Republic, August 23 - 27, 2010. Springer-Verlag LNCS 6247, pages 125-139
     (with A. Bianco and F. Mogavero)

112. Improved Model Checking of Hierarchical Systems
     11^th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010
     Madrid, Spain, January 17-19, 2010 Springer Verlag, LNCS 5944, pages 61-77.
     (with B. Aminof and O. Kupferman )

113. Full Formative Assessment based on Educational Video Games
     International Workshop on Distance Education Technologies, DET 2010
     Illinois, USA, October 14 - 16, 2010. Knowledge Systems Institute, pages 228-231
     (with S. Cuomo and V. Fuccella)

114. Exploring the boundary of half positionality
     11^th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI 2010
     Lisbon, Portugal, August 16-17, 2010, Springer-Verlag, LNAI 6245, pages 171-185
     (with A. Bianco, M. Faella, and F. Mogavero )

115. Quantitative fairness games (Preprint version)
     8^th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2010
     Paphos, Cyprus, March 27 - 28, 2010, EPTCS vol. 28, pages 48 - 63.
     (with A. Bianco, M. Faella, and F. Mogavero )

116. Balanced Paths in Colored Graphs
     34^th International Symposium on Mathematical Foundations of Computer Science, MFCS 2009
     Novy Smokovec, Slovakia, August 24 - 28, 2009 Springer Verlag, LNCS 5734, pages 149-161.
     (with A. Bianco, M. Faella, and F. Mogavero )

117. Graded Computation Tree Logic
     24^th Annual IEEE Symposium on Logic in Computer Science, LICS 2009
     Los Angeles, California, USA, August 11-14, 2009. IEEE Computer Society Press, pages 342-351.
     Talk
     (with A. Bianco and F. Mogavero)

118. The Innovambiente Project: Integrating Natural Science, Mathematics and Computer Science
     9^th IEEE International Conference on Advanced Learning Technologies, ICALT 2009
     Riga, Latvia, July 14-18, 2009. IEEE Computer Society Press, pages 604 - 605.
     (with B. D'Aniello and S. Cuomo )

119. Branching-Time Temporal Logics with Minimal Model Quantifiers
     13^th International Conference on Developments in Language Theory, DLT 2009
     Stuttgart, Germany, June 30 - July 3, 2009. Springere Verlag, LNCS 5583, pages 396-409.
     Talk
     (with F. Mogavero)

120. A Technological Infrastructure Design for a Pediatric Oncology Network
     2^nd International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2009
     Corfu, Greece, June 9 - 13, 2009.
     In ACM International Conference Proceeding Series. Article no. 37, pages 1-4.
     

121. An Interdisciplinary Science Learning Environment
     5^th International Conference on Multimedia and ICT in Education, m-ICTE 2009
     Lisbon (Portugal), April 22-24, 2009.
     In Research, Reflections and Innovations in Integrating ICT in Education Vol I, FORMATEX, pages 325 - 329.
     (with S. Cuomo, B. D'Aniello, and E. Saulino.)

122. Program Complexity in Hierarchical Module Checking
     15^th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR 2008
     Doha, Qatar, November 22-27, 2008, Springer-Verlag LNAI 5330, pages 318 - 332.
     (with M. Napoli and M. Parente)

123. μ-Calculus Pushdown Module Checking with Imperfect State Information
     5^th IFIP International Conference on Theoretical Computer Science, IFIP TCS 2008
     Milano, Italy, September 08-10, 2008, Springer-Verlag, IFIP 273, pages 333 - 348
     (with B. Aminof, A. Legay, and O. Serre)

124. Enriched μ-Calculus Pushdown Module Checking
     14^th International Conference on Logic for Programming Artificial Intelligence and Reasoning , LPAR 2007,
     Yerevan, Armenia, October 15-19, 2007, Springer-Verlag LNAI 4790, pages 438 - 453.
     (with M. Parente and A. Ferrante)

125. Pushdown Module Checking with Imperfect Information
     18^th International Conference on Concurrency Theory , CONCUR 2007,
     Lisboa - Portugal, 3 - 8 September, 2007, Springer-Verlag, LNCS 4703, pages 461 - 476.
     ( with B. Aminof and M.Y. Vardi)

126. 2-Visibly Pushdown automata ( extended Version)
     11^th International Conference on Development in Language Theory, DLT 2007,
     Turku - Finland, 3 - 6 July, 2007, Springer-Verlag, LNCS 4588, pages 132 - 144.
     (with D. Carotenuto and A. Peron)

127. Enriched μ-Calculi Module Checking
     10^th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007,
     Braga - Portugal, 24-31 March, 2007, Springer-Verlag LNCS 4423, pages 183 - 197.
     (with A. Ferrante)

128. The Complexity of Enriched μ-Calculi
     33^rd International Colloquium on Automata, Languages and Programming, ICALP 2006,
     S. Servolo, Venice - Italy, July 9 - 16, 2006 - Springer-Verlag LNCS 4052, pages 540 - 551.
     (with P.A. Bonatti, C. Lutz, and M.Y. Vardi )

129. Pushdown Module Checking for Branching-Time Temporal Logics (invited talk)
     Schloss Dagstuhl Seminar 06411: Specification, Verification and Test of Open Systems ,
     Dagstuhl - Germany, Ottobre 8 - 13, 2006

130. Pushdown Module Checking
     12^th International Conference on Logic for Programming Artificial Intelligence and Reasoning, LPAR 2005,
     Montego Bay, Jamaica, 2nd - 6th December 2005. Springer-Verlag LNAI 3835, pages 504-518.
     (with L. Bozzelli and A. Peron)

131. Typeness for omega-Regular Automata,
     2^nd International Symposium on Automated Technology for Verification and Analysis , ATVA 2004,
     Taiwan, Taipei, Oct. 31 - Nov 03, 2004. Springer-Verlag, LNCS 3299,  pages 324-338.
     (with O. Kupferman and G. Morgenstern)

132. Reasoning About co-Buchi Tree Automata, ( extended Version)
     1^st International Colloquium on Theoretical Aspects of Computing, ICTAC 2004.
     Guiyang, China 20 - 24 September, 2004. Post-proceedings Springer-Verlag 2005, LNCS 3407, pages 527 - 542
     (with S. La Torre)

133. Weak muller tree automata (invited talk)
     International Workshop Minerva on Formal-Verification
     May 16-19, 2004 Kibbutz Shfayim - Israel

134. Timed games with branching-time winning conditions,
     1^st International Workshop on Semantics and Verification of Hardware and Software Systems, SVHSS 2003.
     Tel Aviv University, Israel, May 20-22, 2003

135. Optimal-Reachability and Control for Acyclic Weighted Timed Automata,
     2^nd IFIP International Conference on Theoretical Computer Science, IFIP TCS 2002,
     Montreal, Canada, August 25-30, 2002. Kluwer Academic Publishers, Vol. 223, pages 485-497.
     (with S. La Torre and S. Mukhopadhyay )

136. Dense Real-time Games,
     17^th Annual IEEE Symposium on Logic in Computer Science, LICS 2002,
     Copenhagen, Denmark, July 22-25, 2002. IEEE Computer Society Press, pages 167-176.
     (with M. Faella and S. La Torre )

137. Automata-theoretic Decision of Timed Games,
     3^rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002,
     Venezia, Italy, January 21 - 22, 2002. Springer-Verlag, LNCS 2294, pages 94-108.
     (with M. Faella and S. La Torre )

138. Weak Muller Acceptance Conditions for Tree Automata,
     3^rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002,
     Venezia, Italy, January 21 - 22, 2002. Springer-Verlag, LNCS 2294, pages 240-254.
     (with S. La Torre and M. Napoli)

Workshop notes

135. Multi-Agent Parking Game ,
     (with Calise and Stranieri)

136. Quantified CTL with imperfect information,
     ArXiV 2016
     pages 1-19.
     (with Raphaël Berthon and Bastien Maubert)

137. Strategy Logic
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012,
     Napoli - UK, 7-12 September, 2012
     (with F. Mogavero and M.Y. Vardi)

138. Strategy Logic Fragments
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2012,
     Napoli - UK, 7-12 September, 2012
     (with F. Mogavero, G. Perelli, and M.Y. Vardi)

139. Synthesis of Hierarchical Systems from a Library (Extended Abstract)
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2011
     Paris, 31 August - 3 September 2011.
     Talk
     (with B. Aminof and F. Mogavero)

140. Improved Model Checking of Hierarchical Systems
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2010
     St Anne's College Oxford, United Kingdom, September 20-23, 2010.
     (with B. Aminof and O. Kupferman)

141. Relentful Strategic Reasoning Alternating-Time Temporal Logic
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2010
     St Anne's College Oxford, United Kingdom, September 20-23, 2010.
     (with F. Mogavero and M. Y. Vardi)

142. Graded Computation Tree Logic
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2010
     St Anne's College Oxford, United Kingdom, September 20-23, 2010.
     (with A. Bianco and F. Mogavero)

143. Balance Games on Colored Graphs
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2009
     Udine, Italy, September 14-17, 2009.
     (with A. Bianco, F. Mogavero, and M. Faella)

144. The Pushdown Module Checking Saga
     Annual Workshop of the ESF Networking Programme on Games for Design and Verification, GAMES 2008
     Warsaw, Poland, September 8-11, 2008.
     
     Technical Reports
     

145. Technical report concerning the main works realized at the ASTREA lab in 2016 (In Italian).
     

     Technical report concerning the main works realized at the ASTREA lab in 2020 (In Italian).
     

     Technical report concerning the main activities at ASTREA in 2021 (in Italian).
     

     Technical report concerning the work realized at the ASTREA lab on Location Based Services (Leader Walter Balzano) in 2016-2021 (in Italian).
     
     Theses
     

146. Decision Problems on Tree Automata and Synthesis of Open Timed Systems,
     PhD Thesis, Dipartimento di Informatica ed Applicazioni, Università degli Studi di Salerno, February 2003.
     

147. Classi di Automi su Alberi Infiniti,
     Tesi di Laurea, Facoltà di Scienze MM.FF.NN. - Corso di Laurea in Scienze dell'Informazione, Università degli Studi di Salerno, Novembre 1997.