- Aminof, B., De Giacomo, G., Di Stasio, A., Francon, H., Rubin, S. and Zhu, S. (2025). ltl synthesis under environment specifications for reachability and safety properties. Information and Computation, 303, pp. 105255–105255. doi:10.1016/j.ic.2024.105255.
- De Giacomo, G., Di Stasio, A., Tabajara, L.M., Vardi, M.Y. and Zhu, S. (2022). Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods in System Design, 61(2-3), pp. 139–163. doi:10.1007/s10703-023-00413-2.
- Di Stasio, A., Murano, A., Prignano, V. and Sorrentino, L. (2021). Improving parity games in practice. Annals of Mathematics and Artificial Intelligence, 89(5-6), pp. 551–574. doi:10.1007/s10472-020-09721-3.
Contact details
Address
Northampton Square
London EC1V 0HB
United Kingdom
Personal links
About
Overview
Antonio Di Stasio is a Lecturer in the Department of Computer Science at City, St George’s, University of London. Additionally, he is an Associate Member of the Department of Computer Science at the University of Oxford. Before joining City, Antonio was a Senior Research Associate in the Department of Computer Science at the University of Oxford, where he collaborated with Prof. Giuseppe De Giacomo on the Advanced ERC project WhiteMech and was a Research Member of Common Room at Kellogg College.
Antonio earned his Ph.D. in Mathematical and Computer Science from the University of Napoli "Federico II" (Italy), under the supervision of Prof. Aniello Murano. During his Ph.D., he was also a visiting research scholar at Rice University, working under the guidance of Prof. Moshe Vardi.
Qualifications
- Ph.D. in Mathematical and Computer Science, University of Naples Federico II, Italy, Feb 2019
Employment
- Senior Research Associate, University of Oxford, Jan 2023 – Jul 2024
- Postdoc, Sapienza University of Rome, Jun 2019 – Dec 2022
Publications
Publications by category
Chapters (5)
- Greenman, B., Prasad, S., Di Stasio, A., Zhu, S., De Giacomo, G., Krishnamurthi, S. … Zizyte, M. (2025). Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. Lecture Notes in Computer Science (pp. 579–599). Springer Nature Switzerland. ISBN 978-3-031-71161-9.
- Bansal, S., De Giacomo, G., Di Stasio, A., Li, Y., Vardi, M.Y. and Zhu, S. (2023). Compositional Safety LTL Synthesis. Lecture Notes in Computer Science (pp. 1–19). Springer International Publishing. ISBN 978-3-031-25802-2.
- Di Stasio, A., Murano, A. and Vardi, M.Y. (2018). Solving Parity Games: Explicit vs Symbolic. Lecture Notes in Computer Science (pp. 159–172). Springer International Publishing. ISBN 978-3-319-94811-9.
- Di Stasio, A., Murano, A., Perelli, G. and Vardi, M.Y. (2016). Solving Parity Games Using an Automata-Based Algorithm. Lecture Notes in Computer Science (pp. 64–76). Springer International Publishing. ISBN 978-3-319-40945-0.
- Di Stasio, A., Murano, A., Prignano, V. and Sorrentino, L. (2015). Solving Parity Games in Scala. Lecture Notes in Computer Science (pp. 145–161). Springer International Publishing. ISBN 978-3-319-15316-2.
Conference papers and proceedings (11)
- Catta, D., Di Stasio, A., Leneutre, J., Malvone, V. and Murano, A. (2023). A Game Theoretic Approach to Attack Graphs. 15th International Conference on Agents and Artificial Intelligence 22-24 February. doi:10.5220/0011776900003393
- Aminof, B., De Giacomo, G., Di Stasio, A., Francon, H., Rubin, S. and Zhu, S. (2023). $${\textsc {ltl}}_f$$ Synthesis Under Environment Specifications for Reachability and Safety Properties. doi:10.1007/978-3-031-43264-4_17
- Di Stasio, A. (2022). Explicit and Symbolic Approaches for Parity Games. IPS 2022, RiCeRcA 2022, and SPIRIT 2022 28 Nov 2022 – 2 Dec 2022, Udine, Italy.
- Di Stasio, A. (2022). LTLf Synthesis Under Environment Specifications (Short Paper).
- De Giacomo, G., Di Stasio, A., M. Tabajara, L., Vardi, M. and Zhu, S. (2021). Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21} 19-27 August. doi:10.24963/ijcai.2021/255
- De Giacomo, G., Di Stasio, A., Perelli, G. and Zhu, S. (2021). Synthesis with Mandatory Stop Actions. 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021} 12 Nov 2020 – 18 Nov 2021. doi:10.24963/kr.2021/23
- De Giacomo, G., Di Stasio, A., Vardi, M.Y. and Zhu, S. (2020). Two-Stage Technique for LTLf Synthesis Under LTL Assumptions. 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020} 12-18 September. doi:10.24963/kr.2020/31
- De Giacomo, G., Stasio, A.D., Fuggitti, F. and Rubin, S. (2020). Pure-Past Linear Temporal and Dynamic Logic on Finite Traces. Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20} 11-17 July. doi:10.24963/ijcai.2020/690
- De Giacomo, G., Di Stasio, A., Vardi, M.Y. and Zhu, S. (2020). Two-stage technique for ltlf synthesis under ltl assumptions.
- Di Stasio, A., Malvone, V., Lambiase, P.D. and Murano, A. (2018). Dynamic escape game.
- De Giacomo, G., Murano, A., Rubin, S. and Di Stasio, A. (2016). Imperfect-information games and generalized planning.