Books
2013
Journal editorships
2016
-
Special Issue: 2nd International Workshop on Strategic Reasoning (SR'14)
Joint editorship with A. Murano and M.Y. Vardi for I&C.
doi:10.1016/j.ic.2016.10.005
2015
-
Special Issue: 1st International Workshop on Strategic Reasoning (SR'13)
Joint editorship with A. Murano and M.Y. Vardi for I&C.
doi:10.1016/j.ic.2015.03.008
Conference editorships
2023
-
Proceedings of the 5th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis
(OVERLAY'23)
Joint editorship with A. Brunello and A. Gianola for CEUR.
issn:1613-0073
2014
-
Proceedings of the 2nd International Workshop on Strategic Reasoning (SR'14)
Joint editorship with A. Murano and M.Y. Vardi for EPTCS.
doi:10.4204/EPTCS.146
2013
-
Proceedings of the 1st International Workshop on Strategic Reasoning (SR'13)
Joint editorship with A. Murano and M.Y. Vardi for EPTCS.
doi:10.4204/EPTCS.112
Journal articles
2025
-
Priority Promotion with Parysian Flair
Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak on JCSS.
Accepted in August 2024. First published online in August 2024.
doi:10.1016/j.jcss.2024.103580
2024
-
Solving Mean-Payoff Games via Quasi Dominions
Joint work with M. Benerecetti and D. Dell'Erba on I&C.
Journal version of TACAS'20.
Accepted in January 2024.
doi:10.1016/j.ic.2024.105151
2023
-
Taming Strategy Logic: Non-Recurrent Fragments
Joint work with M. Benerecetti and A. Peron on I&C.
Journal version of TIME'22.
Accepted in August 2023.
doi:10.1016/j.ic.2023.105081
-
Alternating (In)Dependence-Friendly Logic
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica on APAL.
Accepted in June 2023.
doi:10.1016/j.apal.2023.103315
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica on TOCL.
Accepted in June 2022. First published online in October 2022.
doi:10.1145/3565365
2022
-
Satisfiability and Containment of Recursive SHACL
Joint work with P. Pareti and G. Konstantinidis on JOWS.
Journal version of ISWC'20.
Accepted in May 2022.
doi:10.1016/j.websem.2022.100721
2020
-
Robust Worst Cases for Parity Games Algorithms
Joint work with M. Benerecetti and D. Dell'Erba on I&C.
Journal version of GANDALF'17.
Accepted in February 2019. First published online in December 2019.
doi:10.1016/j.ic.2019.104501
2018
-
A Delayed Promotion Policy for Parity Games
Joint work with M. Benerecetti and D. Dell'Erba on I&C.
Journal version of GANDALF'16.
Accepted in January 2018.
doi:10.1016/j.ic.2018.09.005
-
Cycle Detection in Computation Tree Logic
Joint work with G. Fontaine, A. Murano, G. Perelli, and L. Sorrentino on I&C.
Journal version of GANDALF'16.
Accepted in January 2018.
doi:10.1016/j.ic.2018.09.007
-
Solving Parity Games via Priority Promotion
Joint work with M. Benerecetti and D. Dell'Erba on FMSD.
Journal version of CAV'16.
Accepted in January 2018.
doi:10.1007/s10703-018-0315-1
-
Reasoning about Graded Strategy Quantifiers
Joint work with V. Malvone, A. Murano, and L. Sorrentino on I&C.
Journal version of TIME'15.
Accepted in March 2017. First published online in October 2017.
doi:10.1016/j.ic.2017.08.010
-
Practical Verification of Multi-Agent Systems against SLK
Specifications
Joint work with P. Cermak, A. Lomuscio, and A. Murano on I&C.
Journal version of CAV'14.
Accepted in March 2017. First published online in September 2017.
doi:10.1016/j.ic.2017.09.011
2017
-
Reasoning About Strategies: On the Satisfiability Problem
Joint work with A. Murano, G. Perelli, and M.Y. Vardi on LMCS.
Partial journal version of FSTTCS'10 and CONCUR'12.
Accepted in November 2016. First published online in December 2016.
doi:10.23638/LMCS-13(1:9)2017
2016
-
Relentful Strategic Reasoning in Alternating-Time Temporal
Logic
Joint work with A. Murano and M.Y. Vardi on JLC.
Journal version of LPAR'10.
Accepted in August 2014. First published online in September 2014.
doi:10.1093/logcom/exu052
2015
-
Reasoning About Substructures and Games
Joint work with M. Benerecetti and A. Murano on TOCL.
Journal version of LICS'13.
Accepted in April 2015.
doi:10.1145/2757286
-
On Promptness in Parity Games
Joint work with A. Murano and L. Sorrentino on FI.
Journal version of LPAR'13.
Accepted in March 2015.
doi:10.3233/FI-2015-1235
2014
-
Reasoning About Strategies: On the Model-Checking Problem
Joint work with A. Murano, G. Perelli, and M.Y. Vardi on TOCL.
Partial journal version of FSTTCS'10 and CONCUR'12.
Accepted in June 2014.
doi:10.1145/2631917
-
Synthesis of Hierarchical Systems
Joint work with B. Aminof and A. Murano on SCP.
Journal version of FACS'11.
Accepted in July 2013. First published online in July 2013.
doi:10.1016/j.scico.2013.07.001
2012
-
Graded Computation Tree Logic
Joint work with A. Bianco and A. Murano on TOCL.
Journal version of LICS'09 and CSL'10.
Accepted in June 2011.
doi:10.1145/2287718.2287725
-
Quantitatively Fair Scheduling
Joint work with A. Bianco, M. Faella, and A. Murano on TCS.
Journal version of MFCS'09 and QAPL'10.
Accepted in June 2011. First published online in July 2011.
doi:10.1016/j.tcs.2011.06.029
2011
-
Exploring the Boundary of Half-Positionality
Joint work with A. Bianco, M. Faella, and A. Murano on AMAI.
Journal version of CLIMA'10.
Accepted in June 2011.
doi:10.1007/s10472-011-9250-1
Conference articles
2025
-
Bag Containment of Join-on-Free Queries
Joint work with G. Konstantinidis at ICDT'25.
To appear.
2024
-
Plan Logic
Joint work with D. Bellier, M. Benerecetti, and S. Pinchinat at FSTTCS'24.
doi:10.4230/LIPIcs.FSTTCS.2024.10
-
Model Checking Linear Temporal Properties on Polyhedral Systems
Joint work with M. Benerecetti and M. Faella at TIME'24.
doi:10.4230/LIPIcs.TIME.2024.16
-
Full Characterisation of Extended CTL*
Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at TIME'24.
doi:10.4230/LIPIcs.TIME.2024.15
-
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at ICALP'24.
doi:10.4230/LIPIcs.ICALP.2024.128
2023
-
From Quasi-Dominions to Progress Measures
Joint work with M. Benerecetti, D. Dell'Erba, and M. Faella in Lecture Notes Series of IMS NUS.
doi:10.1142/9789811278631_0007
-
Quantifying over Trees in Monadic Second-Order Logic
Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at LICS'23.
doi:10.1109/LICS56636.2023.10175832
2022
-
Taming Strategy Logic: Non-Recurrent Fragments
Joint work with M. Benerecetti and A. Peron at TIME'22.
Extended version in I&C'23.
doi:10.4230/LIPIcs.TIME.2022.14
2021
-
Expressing Structural Temporal Properties of Safety Critical Hierarchical
Systems
Joint work with M. Benerecetti, A. Peron, and L.L.L. Starace at QUATIC'21.
doi:10.1007/978-3-030-85347-1_26
2020
-
SHACL Satisfiability and Containment
Joint work with P. Pareti, G. Konstantinidis, and T.J. Norman at ISWC'20.
Extended version in JOWS'22.
doi:10.1007/978-3-030-62419-4_27
-
Solving Mean-Payoff Games via Quasi Dominions
Joint work with M. Benerecetti and D. Dell'Erba at TACAS'20.
Extended version in I&C'24.
doi:10.1007/978-3-030-45237-7_18
2019
-
On the Decidability of Linear Bounded Periodic Cyber-Physical
Systems
Joint work with R. Lanotte and M. Merro at HSCC'19.
doi:10.1145/3302504.3311797
-
Satisfiability in Strategy Logic can be Easier than Model
Checking
Joint work with E. Acar and M. Benerecetti at AAAI'19.
doi:10.1609/aaai.v33i01.33012638
-
Attacking Diophantus: Solving a Special Case of Bag Containment
Joint work with G. Konstantinidis at PODS'19.
doi:10.1145/3294052.3319689
2017
-
Robust Exponential Worst Cases for Divide-et-Impera Algorithms for Parity
Games
Joint work with M. Benerecetti and D. Dell'Erba at GANDALF'17.
Extended version in I&C'20.
doi:10.4204/EPTCS.256.9
-
The Priority Promotion Approach to Parity Games
Joint work with M. Benerecetti and D. Dell'Erba at ICTCS'17.
Extended version in FMSD'18.
issn:1613-0073
-
Reformulating Queries: Theory and Practice
Joint work with M. Benedikt, E.V. Kostylev, and E. Tsamoura at IJCAI'17.
doi:10.24963/ijcai.2017/116
-
Herbrand Property, Finite Quasi-Herbrand Models, and a Chandra-Merlin Theorem for
Quantified Conjunctive Queries
Joint work with S. Bova at LICS'17.
doi:10.1109/LICS.2017.8005073
2016
-
Improving Priority Promotion for Parity Games
Joint work with M. Benerecetti and D. Dell'Erba at HVC'16.
doi:10.1007/978-3-319-49052-6_8
-
A Delayed Promotion Policy for Parity Games
Joint work with M. Benerecetti and D. Dell'Erba at GANDALF'16.
Extended version in I&C'18.
doi:10.4204/EPTCS.226.3
-
Cycle Detection in Computation Tree Logic
Joint work with G. Fontaine, A. Murano, G. Perelli, and L. Sorrentino at GANDALF'16.
Extended version in I&C'18.
doi:10.4204/EPTCS.226.12
-
Solving Parity Games via Priority Promotion
Joint work with M. Benerecetti and D. Dell'Erba at CAV'16.
Extended version in FMSD'18.
doi:10.1007/978-3-319-41540-6_15
2015
-
On the Counting of Strategies
Joint work with V. Malvone, A. Murano, and L. Sorrentino at TIME'15.
Extended version in I&C'18.
doi:10.1109/TIME.2015.19
-
Binding Forms in First-Order Logic
Joint work with G. Perelli at CSL'15.
doi:10.4230/LIPIcs.CSL.2015.648
2014
-
A Behavioral Hierarchy of Strategy Logic
Joint work with A. Murano and L. Sauro at CLIMA'14.
doi:10.1007/978-3-319-09764-0_10
-
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic
Specifications
Joint work with P. Cermak, A. Lomuscio, and A. Murano at CAV'14.
Extended version in I&C'18.
doi:10.1007/978-3-319-08867-9_34
-
Strategy Games: A Renewed Framework
Joint work with A. Murano and L. Sauro at AAMAS'14.
isbn:978-1-4503-2738-1
2013
-
On Promptness in Parity Games
Joint work with A. Murano and L. Sorrentino at LPAR'13.
Extended version in FI'15.
doi:10.1007/978-3-642-45221-5_40
-
Substructure Temporal Logic
Joint work with M. Benerecetti and A. Murano at LICS'13.
Extended version in TOCL'15.
doi:10.1109/LICS.2013.43
-
On the Boundary of Behavioral Strategies
Joint work with A. Murano and L. Sauro at LICS'13.
doi:10.1109/LICS.2013.32
2012
-
What Makes ATL* Decidable? A Decidable Fragment of Strategy
Logic
Joint work with A. Murano, G. Perelli, and M.Y. Vardi at CONCUR'12.
Extended version in LMCS'17.
doi:10.1007/978-3-642-32940-1_15
2011
-
Synthesis of Hierarchical Systems
Joint work with B. Aminof and A. Murano at FACS'11.
Extended version in SCP'14.
doi:10.1007/978-3-642-35743-5_4
2010
-
Reasoning about Strategies
Joint work with A. Murano and M.Y. Vardi at FSTTCS'10.
Extended versions in TOCL'14 and LMCS'17.
doi:10.4230/LIPIcs.FSTTCS.2010.133
-
Graded Computation Tree Logic with Binary Coding
Joint work with A. Bianco and A. Murano at CSL'10.
Extended version in TOCL'12.
doi:10.1007/978-3-642-15205-4_13
-
Exploring the Boundary of Half Positionality
Joint work with A. Bianco, M. Faella, and A. Murano at CLIMA'10.
Extended version in AMAI'11.
doi:10.1007/978-3-642-14977-1_14
-
Relentful Strategic Reasoning in Alternating-Time Temporal
Logic
Joint work with A. Murano and M.Y. Vardi at LPAR'10.
Extended version in JLC'16.
doi:10.1007/978-3-642-17511-4_21
-
Quantitative Fairness Games
Joint work with A. Bianco, M. Faella, and A. Murano at QAPL'10.
Extended version in TCS'12.
doi:10.4204/EPTCS.28.4
2009
-
Balanced Paths in Colored Graphs
Joint work with A. Bianco, M. Faella, and A. Murano at MFCS'09.
Extended version in TCS'12.
doi:10.1007/978-3-642-03816-7_14
-
Graded Computation Tree Logic
Joint work with A. Bianco and A. Murano at LICS'09.
Extended version in TOCL'12.
doi:10.1109/LICS.2009.28
-
Branching-Time Temporal Logics with Minimal Model Quantifiers
Joint work with A. Murano at DLT'09.
doi:10.1007/978-3-642-02737-6_32
2008
-
Comparing Rule-Based Policies
Joint work with A.P. Bonatti at POLICY'08.
doi:10.1109/POLICY.2008.16
Workshop notes
2023
-
Plan Logic
Joint work with D. Bellier, M. Benerecetti, and S. Pinchinat at Highlights'23.
2021
-
Priority Promotion with Parysian Flair
Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak at Highlights'21.
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at Highlights'21.
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at LODE(ESSLLI)'21.
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at WAS(ESSLLI)'21.
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica at LC'21.
2019
-
Quasi Dominion Measures for Mean-Payoff Games
Joint work with M. Benerecetti and D. Dell'Erba at Highlights'19.
Note about TACAS'20.
-
Attacking Diophantus: Solving a Special Case of Bag Containment
Joint work with G. Konstantinidis at HDMS'19.
Note about PODS'19.
2017
-
Herbrand Property, Finite Quasi-Herbrand Models, and a Chandra-Merlin Theorem for Quantified Conjunctive Queries
Joint work with S. Bova at Highlights'17.
Note about LICS'17.
2015
-
Solving Parity Games via Priority Promotion
Joint work with M. Benerecetti and D. Dell'Erba at Highlights'15.
Note about CAV'16.
-
Reasoning about Graded Modalities in Strategy Logic
Joint work with V. Malvone, A. Murano, and L. Sorrentino at Highlights'15.
Note about TIME'15.
2014
-
On the Remarkable Features of Binding Forms
Joint work with G. Perelli at Highlights'14.
Note about CSL'15.
-
Beyond One-Goal Strategy Logic
Joint work with A. Murano and L. Sauro at Highlights'14.
Note about CLIMA'14.
-
On the Conjunctive and Disjunctive Fragments of Strategy Logic
Joint work with A. Murano and L. Sauro at LAMAS'14.
Note about LICS'13.
2013
-
On the Boundary of Behavioral Strategies
Joint work with A. Murano and L. Sauro at Highlights'13.
Note about LICS'13.
-
On Promptness in Parity Games
Joint work with A. Murano and L. Sorrentino at Highlights'13.
Note about LPAR'13.
2012
-
Substructure Temporal Logic
Joint work with M. Benerecetti and A. Murano at GAMES'12.
Note about LICS'13.
-
Strategy Logic Fragments
Joint work with A. Murano, G. Perelli, and M.Y. Vardi at GAMES'12.
Note about CONCUR'12.
-
Strategy Logic
Joint work with A. Murano and M.Y. Vardi at GAMES'12.
Note about FSTTCS'10.
-
The Strategy Logic Saga
Joint work with A. Murano, G. Perelli, L. Sauro, and M.Y. Vardi at GASICS'12.
Note about FSTTCS'10, CONCUR'12, and LICS'13.
2011
-
Synthesis of Hierarchical Systems from a Library
Joint work with B. Aminof and A. Murano at GAMES'11.
Note about FACS'11.
2010
-
Graded Computation Tree Logic
Joint work with A. Bianco and A. Murano at GAMES'10.
Note about LICS'09 and CSL'10.
-
Rlentful Strategic Reasoning in Alternating-Time Temporal Logic
Joint work with A. Murano and M.Y. Vardi at GAMES'10.
Note about LPAR'10.
2009
-
Balance Games on Colored Graphs
Joint work with A. Bianco, M. Faella, and A. Murano at GAMES'09.
Note about QAPL'10.
Technical reports
2024
-
Automata-Theoretic Characterisations of Branching-Time Temporal Logics
Technical report of ICALP'24.
Joint work with M. Benerecetti, L. Bozzelli, and A. Peron.
doi:10.48550/arXiv.2404.17421.
2023
-
Alternating (In)Dependence-Friendly Logic
Technical report of APAL'23.
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica.
doi:10.48550/arXiv.2304.11652.
-
Quantifying over Trees in Monadic Second-Order Logic
Technical report of LICS'23.
Joint work with M. Benerecetti, L. Bozzelli, and A. Peron.
doi:10.48550/arXiv.2304.11613.
2021
-
Satisfiability and Containment of Recursive SHACL
Technical report of JOWS'22.
Joint work with P. Pareti and G. Konstantinidis.
doi:10.48550/arXiv.2108.13063.
-
Priority Promotion with Parysian Flair
Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak.
doi:10.48550/arXiv.2105.01738.
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Technical report of TOCL'22.
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica.
doi:10.48550/arXiv.2104.06085.
2020
-
SHACL Satisfiability and Containment (Extended Paper)
Technical report of ISWC'20.
Joint work with P. Pareti, G. Konstantinidis, and T.J. Norman.
doi:10.48550/arXiv.2009.09806.
-
From Quasi Dominions to Progress Measures
Technical report of Lecture Notes Series of IMS NUS.
Joint work with M. Benerecetti, D. Dell'Erba, and M. Faella.
doi:10.48550/arXiv.2008.04232.
2019
-
Solving Mean-Payoff Games via Quasi Dominions
Technical report of TACAS'20.
Joint work with M. Benerecetti and D. Dell'Erba.
doi:10.48550/arXiv.1907.06264.
2014
-
On the Remarkable Features of Binding Forms
Technical report of CSL'15.
Joint work with G. Perelli.
doi:10.48550/arXiv.1404.1531.
-
MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications
Technical report of CAV'14.
Joint work with P. Cermak, A. Lomuscio, and A. Murano.
doi:10.48550/arXiv.1402.2948.
2012
-
A Decidable Fragment of Strategy Logic
Technical report of CONCUR'12.
Joint work with A. Murano, G. Perelli, and M.Y. Vardi.
doi:10.48550/arXiv.1202.1309.
2011
-
Reasoning About Strategies: On the Model-Checking Problem
Technical report of TOCL'14.
Joint work with A. Murano, G. Perelli, and M.Y. Vardi.
doi:10.48550/arXiv.1112.6275.
2008
-
Graded Computation Tree Logic
Technical report of LICS'09.
Joint work with A. Bianco and A. Murano.
-
Formal Policy Analysis Techniques for Comparison and Validation
Technical report of POLICY'08.
Joint work with A.P. Bonatti.
Theses
2011
-
Logics in Computer Science
Ph.D. thesis, Università degli Studi di Napoli Federico II, Italy, January, 2011.
2007
-
Branching-Time Temporal Logics (Theoretical Issues and a Computer Science Application)
M.Eng. thesis, Università degli Studi di Napoli Federico II, Italy, October, 2007.
2005
-
Sui Metodi e gli Algoritmi di Fattorizzazione [in Italian]
B.Eng. thesis, Università degli Studi di Napoli Federico II, Italy, September, 2005.