Antonio Di Stasio
assegnista di ricerca
stanza:
B213
telefono:
+39 0677274012
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 |