Pubblicazioni di Di Stasio Antonio

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

2020

De Giacomo Giuseppe, Di Stasio Antonio, Fuggitti Francesco, Rubin Sasha
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

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma