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 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 |
| 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 |