Home » Users » Antonio Di Stasio

Antonio Di Stasio

Membro di

Ultime pubblicazioni

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis on IJCAI 2021
Improving parity games in practice on ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE 2021
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces on IJCAI 2020
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions on Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning 2020
Dynamic escape game on Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2018
Solving parity games: Explicit vs symbolic on Implementation and Application of Automata 2018
Imperfect-information games and generalized planning on Proceedings of the twenty-fifth international joint conference on artificial intelligence 2016
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma