Antonio Di Stasio

According to our database, Antonio Di Stasio authored at least 17 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

CoRR, 2023

A Game Theoretic Approach to Attack Graphs.

Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

sc ltl_f Synthesis Under Environment Specifications for Reachability and Safety Properties.

Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

2022

Finite-trace and generalized-reactivity specifications in temporal synthesis.

Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu

Formal Methods Syst. Des., December, 2022

Compositional Safety LTL Synthesis.

Suguman Bansal, Giuseppe De Giacomo, Antonio Di Stasio, Yong Li, Moshe Y. Vardi, Shufang Zhu

Proceedings of the Verified Software. Theories, Tools and Experiments, 2022

LTLf Synthesis Under Environment Specifications.

Antonio Di Stasio

Proceedings of the 23rd Italian Conference on Theoretical Computer Science, 2022

Explicit and Symbolic Approaches for Parity Games (Short Paper).

Antonio Di Stasio

Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28, 2022

2021

Improving parity games in practice.

Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino

Ann. Math. Artif. Intell., 2021

Synthesis with Mandatory Stop Actions.

Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Two-Stage Technique for LTLf Synthesis Under LTL Assumptions.

Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces.

Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2018

Reasoning about LTL Synthesis over finite and infinite games.

Antonio Di Stasio

PhD thesis, 2018

Solving Parity Games: Explicit vs Symbolic.

Antonio Di Stasio, Aniello Murano, Moshe Y. Vardi

Proceedings of the Implementation and Application of Automata, 2018

Dynamic Escape Game.

Antonio Di Stasio, Paolo Domenico Lambiase, Vadim Malvone, Aniello Murano

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2016

Solving Parity Games Using an Automata-Based Algorithm.

Antonio Di Stasio, Aniello Murano, Giuseppe Perelli, Moshe Y. Vardi

Proceedings of the Implementation and Application of Automata, 2016

Imperfect-Information Games and Generalized Planning.

Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2014

Solving Parity Games in Scala.

Antonio Di Stasio, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014