Pubblicazioni di Di Stasio Antonio
2021
DE GIACOMO Giuseppe, DI STASIO Antonio, Tabajara Lucas M., Vardi Moshe, Zhu Shufang
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI 2021: 1852-1858
DI STASIO Antonio, Murano Aniello, Prignano Vincenzo, Sorrentino. Loredana
Improving parity games in practice. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2021: 551-574
DE GIACOMO Giuseppe, DI STASIO Antonio, Perelli Giuseppe, Zhu Shufang
Synthesis with Mandatory Stop Actions. KR2021 Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning 2021: 237-246
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
Guidi A
Les conclusions ‘galliardes’ du Secrétaire florentin : esprit de finesse, initiative et efficacité politique dans l'activité pratique de Machiavel. Être homme de 'lettres': secrétaires et politique culturelle au Cinquecento : -
Giresini L, Andreini M, De Falco A, Puppio Ml, Sassu M
Structural protection after landslide phenomena: a case study in Northern Italy. Proceeding of the 4th CEUP2015 (Int. Conf. on Civil Engineering and Urban Planning) : -