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
2014
-
Proceedings 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 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
2022
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica on TOCL.
doi:10.1016/10.1145/3565365.
-
Satisfiability and Containment of Recursive SHACL
Joint work with P. Pareti and G. Konstantinidis on JOWS.
Journal version of ISWC'20.
doi:10.1016/j.websem.2022.100721.
2019
-
Robust Worst Cases for Parity Games Algorithms
Joint work with M. Benerecetti and D. Dell'Erba on I&C.
Journal version of GANDALF'17.
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.
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.
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.
doi:10.1007/s10703-018-0315-1.
2017
-
Reasoning about Graded Strategy Quantifiers
Joint work with V. Malvone, A. Murano, and L. Sorrentino on I&C.
Journal version of TIME'15.
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.
doi:10.1016/j.ic.2017.09.011
2016
-
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.
doi:10.23638/LMCS-13(1:9)2017
2015
-
Reasoning About Substructures and Games
Joint work with M. Benerecetti and A. Murano on TOCL.
Journal version of LICS'13.
doi:10.1145/2757286
-
On Promptness in Parity Games
Joint work with A. Murano and L. Sorrentino on FI.
Journal version of LPAR'13.
doi:10.3233/FI-2015-1235
2014
-
Relentful Strategic Reasoning in Alternating-Time Temporal Logic
Joint work with A. Murano and M.Y. Vardi on JLC.
Journal version of LPAR'10.
doi:10.1093/logcom/exu052
-
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.
doi:10.1145/2631917
2013
-
Synthesis of Hierarchical Systems
Joint work with B. Aminof and A. Murano on SCP.
Journal version of FACS'11.
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.
doi:10.1145/2287718.2287725
2011
-
Quantitatively Fair Scheduling
Joint work with A. Bianco, M. Faella, and A. Murano on TCS.
Journal version of MFCS'09 and QAPL'10.
doi:10.1016/j.tcs.2011.06.029
-
Exploring the Boundary of Half-Positionality
Joint work with A. Bianco, M. Faella, and A. Murano on AMAI.
Journal version of CLIMA'10.
doi:10.1007/s10472-011-9250-1
Conference articles
2023
-
Quantifying over Trees in Monadic Second-Order Logic
Joint work with M. Benerecetti, L. Bozzelli, and A. Peron at LICS'23.
To appear.
2022
-
Taming Strategy Logic: Non-Recurrent Fragments
Joint work with M. Benerecetti and A. Peron at TIME'22.
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.
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.
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'19.
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.
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'17.
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'17.
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'16.
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'13.
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'16.
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'14.
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'11.
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'11.
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
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
2023
-
Alternating (In)Dependence-Friendly Logic
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica.
-
Quantifying over Trees in Monadic Second-Order Logic
Technical report of LICS'23.
Joint work with M. Benerecetti, L. Bozzelli, and A. Peron.
2021
-
Priority Promotion with Parysian Flair
Joint work with M. Benerecetti, D. Dell'Erba, S. Schewe, and D. Wojtczak.
-
Good-for-Game QPTL: An Alternating Hodges Semantics
Technical report of TOCL'22.
Joint work with D. Bellier, M. Benerecetti, and D. Della Monica.
2020
-
SHACL Satisfiability and Containment (Extended Paper)
Technical report of ISWC'20.
Joint work with P. Pareti, G. Konstantinidis, and T.J. Norman.
-
From Quasi Dominions to Progress Measures
Joint work with M. Benerecetti, D. Dell'Erba, and M. Faella.
2019
-
Solving Mean-Payoff Games via Quasi Dominions
Technical report of TACAS'20.
Joint work with M. Benerecetti and D. Dell'Erba.
2014
-
On the Remarkable Features of Binding Forms
Technical report of CSL'15.
Joint work with G. Perelli.
-
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.
2012
-
A Decidable Fragment of Strategy Logic
Technical report of CONCUR'12.
Joint work with A. Murano, G. Perelli, and M.Y. Vardi.
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.
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.