Antonio Di Stasio

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 17

Top Topics

Linear Temporal Logic

Weighted Majority

Top Venues

Publications

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
Synthesis Under Environment Specifications for Reachability and Safety Properties. EUMAS (2023)
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties. CoRR (2023)
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
A Game Theoretic Approach to Attack Graphs. ICAART (1) (2023)
Antonio Di Stasio
LTLf Synthesis Under Environment Specifications. ICTCS (2022)
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
Compositional Safety LTL Synthesis. VSTTE (2022)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61 (2) (2022)
Antonio Di Stasio
Explicit and Symbolic Approaches for Parity Games (Short Paper). IPS/RiCeRcA/SPIRIT@AI*IA (2022)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI (2021)
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
Improving parity games in practice. Ann. Math. Artif. Intell. 89 (5-6) (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
Synthesis with Mandatory Stop Actions. KR (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. KR (2020)
Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI (2020)
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Solving Parity Games Using An Automata-Based Algorithm. CoRR (2019)
Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano
Dynamic Escape Game. AAMAS (2018)
Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi
Solving Parity Games: Explicit vs Symbolic. CIAA (2018)
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio
Imperfect-Information Games and Generalized Planning. IJCAI (2016)
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
Solving Parity Games Using an Automata-Based Algorithm. CIAA (2016)
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
Solving Parity Games in Scala. FACS (2014)