Follow
Antonio Di Stasio
Antonio Di Stasio
Senior Research Associate, University of Oxford
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
G De Giacomo, A Di Stasio, F Fuggitti, S Rubin
IJCAI 2020, 2020
422020
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
G De Giacomo, A Di Stasio, MY Vardi, S Zhu
KR 2020, 2020
222020
Imperfect-Information Games and Generalized Planning.
G De Giacomo, A Murano, S Rubin, A Di Stasio
IJCAI, 1037-1043, 2016
212016
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
182016
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
G De Giacomo, A Di Stasio, LM Tabajara, M Vardi, S Zhu
162021
Solving parity games: Explicit vs symbolic
A Di Stasio, A Murano, MY Vardi
Implementation and Application of Automata: 23rd International Conference …, 2018
142018
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
132014
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
112022
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
62021
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
42023
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence 89, 551-574, 2021
42021
Dynamic escape game
A Di Stasio, V Malvone, PD Lambiase, A Murano
PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND …, 2018
32018
Reasoning about LTL Synthesis over finite and infinite games.
A Di Stasio
University of Naples Federico II, Italy, 2018
22018
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
Laboratorio ASTREA-Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione-Università degli Studi di Napoli Federico II
A Murano, S Rubin, L Sorrentino, B Maubert, D DELLA MONICA, ...
2016
The system can't perform the operation now. Try again later.
Articles 1–19