Solving Parity Games in Scala. - Antonio Di Stasio 001; Aniello Murano; Vincenzo Prignano; Loredana Sorrentino (FACS, 2014)

Imperfect-Information Games and Generalized Planning. - Giuseppe De Giacomo; Aniello Murano; Sasha Rubin; Antonio Di Stasio 001 (IJCAI, 2016)

Solving Parity Games Using an Automata-Based Algorithm. - Antonio Di Stasio 001; Aniello Murano; Giuseppe Perelli; Moshe Y. Vardi (CIAA, 2016)

Dynamic Escape Game. - Antonio Di Stasio 001; Paolo Domenico Lambiase; Vadim Malvone; Aniello Murano (AAMAS, 2018)

Solving Parity Games: Explicit vs Symbolic. - Antonio Di Stasio 001; Aniello Murano; Moshe Y. Vardi (CIAA, 2018)

Reasoning about LTL Synthesis over finite and infinite games. - Antonio Di Stasio 001 (2018)

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. - Giuseppe De Giacomo; Antonio Di Stasio 001; Francesco Fuggitti; Sasha Rubin (IJCAI, 2020)

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. - Giuseppe De Giacomo; Antonio Di Stasio 001; Moshe Y. Vardi; Shufang Zhu 001 (KR, 2020)

Synthesis with Mandatory Stop Actions. - Giuseppe De Giacomo; Antonio Di Stasio 001; Giuseppe Perelli; Shufang Zhu 001 (KR, 2021)

Improving parity games in practice. - Antonio Di Stasio 001; Aniello Murano; Vincenzo Prignano; Loredana Sorrentino (Ann. Math. Artif. Intell., 2021)

Explicit and Symbolic Approaches for Parity Games (Short Paper). - Antonio Di Stasio 001 (IPS/RiCeRcA/SPIRIT@AI*IA, 2022)

LTLf Synthesis Under Environment Specifications. - Antonio Di Stasio 001 (ICTCS, 2022)

Compositional Safety LTL Synthesis. - Suguman Bansal; Giuseppe De Giacomo; Antonio Di Stasio 001; Yong Li 031; Moshe Y. Vardi; Shufang Zhu 001 (VSTTE, 2022)

Finite-trace and generalized-reactivity specifications in temporal synthesis. - Giuseppe De Giacomo; Antonio Di Stasio 001; Lucas M. Tabajara; Moshe Y. Vardi; Shufang Zhu 001 (Formal Methods Syst. Des., 2022)

sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (EUMAS, 2023)

A Game Theoretic Approach to Attack Graphs. - Davide Catta; Antonio Di Stasio 001; Jean Leneutre; Vadim Malvone; Aniello Murano (ICAART (1), 2023)

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. - Ben Greenman; Siddhartha Prasad; Antonio Di Stasio 001; Shufang Zhu 001; Giuseppe De Giacomo; Shriram Krishnamurthi; Marco Montali; Tim Nelson; Milda Zizyte (FM (1), 2024)

LTLf synthesis under environment specifications for reachability and safety properties. - Benjamin Aminof; Giuseppe De Giacomo; Antonio Di Stasio 001; Hugo Francon; Sasha Rubin; Shufang Zhu 001 (Inf. Comput., 2025)