Antonio Di Stasio

22 papers A* 5A 1C 4Journal 5Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
LTLf synthesis under environment specifications for reachability and safety properties.
Inf. Comput.
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2025 C conf
PDDL to DFA: A Symbolic Transformation for Effective Reasoning.
TIME
Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti
2024 — conf
Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic.
FM (1)
Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte
2023 — conf
A Game Theoretic Approach to Attack Graphs.
ICAART (1)
Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano
2023 J jnl
LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.
CoRR
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2023 C conf
sc ltl
EUMAS
Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu
2022 — conf
Compositional Safety LTL Synthesis.
VSTTE
Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu
2022 — conf
Explicit and Symbolic Approaches for Parity Games (Short Paper).
IPS/RiCeRcA/SPIRIT@AI*IA
Antonio Di Stasio
2022 J jnl
Finite-trace and generalized-reactivity specifications in temporal synthesis.
Formal Methods Syst. Des.
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
2022 — conf
LTLf Synthesis Under Environment Specifications.
ICTCS
Antonio Di Stasio
2021 A* conf
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis.
IJCAI
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
2021 J jnl
Improving parity games in practice.
Ann. Math. Artif. Intell.
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
2021 A* conf
Synthesis with Mandatory Stop Actions.
KR
Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu
2020 A* conf
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.
IJCAI
Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin
2020 A* conf
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.
KR
Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu
2019 J jnl
Solving Parity Games Using An Automata-Based Algorithm.
CoRR
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2018 A conf
Dynamic Escape Game.
AAMAS
Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano
2018 — —
Reasoning about LTL Synthesis over finite and infinite games.
Antonio Di Stasio
2018 C conf
Solving Parity Games: Explicit vs Symbolic.
CIAA
Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi
2016 A* conf
Imperfect-Information Games and Generalized Planning.
IJCAI
Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio
2016 C conf
Solving Parity Games Using an Automata-Based Algorithm.
CIAA
Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi
2014 — conf
Solving Parity Games in Scala.
FACS
Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino