Antonio Di Stasio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | TIME | PDDL to DFA: A Symbolic Transformation for Effective Reasoning. | Giuseppe De Giacomo, Antonio Di Stasio, Gianmarco Parretti |
| 2024 | FM | Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. | Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte |
| 2023 | EUMAS | sc ltl | Benjamin Aminof, Giuseppe De Giacomo, Antonio Di Stasio, Hugo Francon, Sasha Rubin, Shufang Zhu |
| 2023 | ICAART | A Game Theoretic Approach to Attack Graphs. | Davide Catta, Antonio Di Stasio, Jean Leneutre, Vadim Malvone, Aniello Murano |
| 2021 | AINA | A Smart Road Application: The A2 Mediterranean Highway Project in Italy. | Ilaria Henke, Gennaro Nicola Bifulco, Armando Carten, Luigi Di Francesco, Antonio Di Stasio |
| 2021 | IJCAI | Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. | Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu |
| 2021 | KR | Synthesis with Mandatory Stop Actions. | Giuseppe De Giacomo, Antonio Di Stasio, Giuseppe Perelli, Shufang Zhu |
| 2020 | IJCAI | Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. | Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin |
| 2020 | KR | Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. | Giuseppe De Giacomo, Antonio Di Stasio, Moshe Y. Vardi, Shufang Zhu |
| 2016 | IJCAI | Imperfect-Information Games and Generalized Planning. | Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio |