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
Synthesis with Mandatory Stop Actions on KR 2021 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
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma