Pubblicazioni di Di Stasio Antonio
2022
Bansal Suguman, De Giacomo Giuseppe, Di Stasio Antonio, Li Yong, Vardi Moshe Y., Zhu Shufang
Compositional Safety LTL Synthesis. Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022 2022: 1-19
2021
De Giacomo Giuseppe, Di Stasio Antonio, Tabajara Lucas M., Vardi Moshe, Zhu Shufang
Di Stasio Antonio, Murano Aniello, Prignano Vincenzo, Sorrentino. Loredana
Improving parity games in practice. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2021: -
De Giacomo Giuseppe, Di Stasio Antonio, Perelli Giuseppe, Zhu Shufang
Synthesis with Mandatory Stop Actions. KR 2021 2021: -
2020
De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. IJCAI 2020: 4959-4965
De Giacomo Giuseppe, Di Stasio Antonio, Vardi Moshe, Zhu Shufang
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020: 304-314
2018
Di Stasio A., Malvone V., Lambiase P. D., Murano A.
Dynamic escape game. Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018: 1806-1808
Di Stasio A., Murano A., Vardi M. Y.
Solving parity games: Explicit vs symbolic. Implementation and Application of Automata 2018: 159-172
2016
DE GIACOMO Giuseppe, Murano Aniello, Rubin Sasha, Di Stasio Antonio
Imperfect-information games and generalized planning. Proceedings of the twenty-fifth international joint conference on artificial intelligence 2016: 1037-1043
Di Stasio A., Murano A., Perelli G., Vardi M. Y.
Solving parity games using an automata-based algorithm. Implementation and Application of Automata 2016: 64-76
2015
DI STASIO ANTONIO, Aniello Murano, Vincenzo Prignano, Loredana Sorrentino
Solving Parity Games in Scala. Formal Aspects of Component Software 2015: 145-161