| Pure-Past Linear Temporal and Dynamic Logic on Finite Traces G De Giacomo, A Di Stasio, F Fuggitti, S Rubin IJCAI 2020, 2020 | 50 | 2020 |
| Two-Stage Technique for LTLf Synthesis Under LTL Assumptions G De Giacomo, A Di Stasio, MY Vardi, S Zhu KR 2020, 2020 | 25 | 2020 |
| Imperfect-Information Games and Generalized Planning. G De Giacomo, A Murano, S Rubin, A Di Stasio IJCAI, 1037-1043, 2016 | 20 | 2016 |
| Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis G De Giacomo, A Di Stasio, LM Tabajara, M Vardi, S Zhu | 19 | 2021 |
| Solving parity games using an automata-based algorithm A Di Stasio, A Murano, G Perelli, MY Vardi International Conference on Implementation and Application of Automata, 64-76, 2016 | 19 | 2016 |
| Solving parity games: Explicit vs symbolic A Di Stasio, A Murano, MY Vardi Implementation and Application of Automata: 23rd International Conference …, 2018 | 14 | 2018 |
| Solving parity games in scala A Di Stasio, A Murano, V Prignano, L Sorrentino International Conference on Formal Aspects of Component Software, 145-161, 2014 | 13 | 2014 |
| Compositional safety LTL synthesis S Bansal, G De Giacomo, A Di Stasio, Y Li, MY Vardi, S Zhu Working Conference on Verified Software: Theories, Tools, and Experiments, 1-19, 2022 | 12 | 2022 |
| Synthesis with mandatory stop actions G De Giacomo, A Di Stasio, G Perelli, S Zhu Proceedings of the International Conference on Principles of Knowledge …, 2021 | 6 | 2021 |
| A game theoretic approach to attack graphs D Catta, A Di Stasio, J Leneutre, V Malvone, A Murano ICAART 2023-15th International Conference on Agents and Artificial …, 2023 | 5 | 2023 |
| Improving parity games in practice A Di Stasio, A Murano, V Prignano, L Sorrentino Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021 | 5 | 2021 |
| Dynamic escape game A Di Stasio, V Malvone, PD Lambiase, A Murano PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND …, 2018 | 4 | 2018 |
| Reasoning about LTL Synthesis over finite and infinite games. A Di Stasio University of Naples Federico II, Italy, 2018 | 2 | 2018 |
| Finite-trace and generalized-reactivity specifications in temporal synthesis G De Giacomo, A Di Stasio, LM Tabajara, MY Vardi, S Zhu Formal Methods in System Design 61 (2), 139-163, 2022 | 1 | 2022 |
| Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic B Greenman, S Prasad, A Di Stasio, S Zhu, G De Giacomo, ... International Symposium on Formal Methods, 579-599, 2024 | | 2024 |
| LTL f Synthesis Under Environment Specifications for Reachability and Safety Properties B Aminof, G De Giacomo, A Di Stasio, H Francon, S Rubin, S Zhu European Conference on Multi-Agent Systems, 263-279, 2023 | | 2023 |
| Hugo Francon³ (), Sasha Rubin¹ (), and Shufang Zhu² (~) 1 Sapienza University of Rome, Rome, Italy benj@ forsyte. at 2 University of Oxford, Oxford, UK B Aminof¹, G De Giacomo¹, A Di Stasio Multi-Agent Systems: 20th European Conference, EUMAS 2023, Naples, Italy …, 2023 | | 2023 |
| LTLf Synthesis Under Environment Specifications. A Di Stasio ICTCS, 40-46, 2022 | | 2022 |
| Explicit and Symbolic Approaches for Parity Games A Di Stasio | | 2022 |
| LTLf Synthesis Under Environment Specifications (Short Paper) A Di Stasio ICTCS 2022, 2022 | | 2022 |
Giuseppe De GiacomoUniversity of Oxford & Sapienza Università di RomaVerified email at diag.uniroma1.it
