Search

Dr Antonio Di Stasio

Lecturer in Computer Science

School of Science & Technology Department of Computer Science

Contact details

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, February 2019

Employment

  • Senior Research Associate, University of Oxford, United Kingdom, January 2023 - July 2024
  • Postdoc, Sapienza University of Rome, Italy, June 2019 - December 2022

Publications

Publications by category

Chapters (3)

  • 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 9783319948119.
  • 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 9783319409450.
  • 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 9783319153162.

Conference papers and proceedings (14)

  • De Giacomo, G., Di Stasio, A. and Parretti, G. (2025). PDDL to DFA: A Symbolic Transformation for Effective Reasoning. 32nd International Symposium on Temporal Representation and Reasoning (TIME 2025) 27-29 August, London, UL.doi:10.4230/LIPIcs.TIME.2025.7
  • Greenman, B., Prasad, S., Di Stasio, A., Zhu, S., De Giacomo, G., Krishnamurthi, S.... Zizyte, M. Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. .doi:10.1007/978-3-031-71162-6_30
  • 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. $${\textsc {ltl}}_f$$ Synthesis Under Environment Specifications for Reachability and Safety Properties. .doi:10.1007/978-3-031-43264-4_17
  • Bansal, S., De Giacomo, G., Di Stasio, A., Li, Y., Vardi, M.Y. and Zhu, S. Compositional Safety LTL Synthesis. .doi:10.1007/978-3-031-25803-9_1
  • Di Stasio, A. (2022). Explicit and Symbolic Approaches for Parity Games. IPS 2022, RiCeRcA 2022, and SPIRIT 2022 28 November-2 December, Udine, Italy.
  • Di Stasio, A. (2022). LTLf Synthesis Under Environment Specifications. 23rd Italian Conference on Theoretical Computer Science 2022 7-9 September, Rome, Italy.
  • 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. (2020). Synthesis with Mandatory Stop Actions. 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021} 12 November 2020-18 November 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. Two-stage technique for ltlf synthesis under ltl assumptions. .
  • Di Stasio, A., Malvone, V., Lambiase, P.D. and Murano, A. Dynamic escape game. .
  • De Giacomo, G., Murano, A., Rubin, S. and Di Stasio, A. Imperfect-information games and generalized planning. .

Journal articles (3)