Follow
Antonio Di Stasio
Antonio Di Stasio
Post-doctoral researcher, Sapienza University of Rome
Verified email at diag.uniroma1.it - Homepage
Title
Cited by
Cited by
Year
Imperfect-Information Games and Generalized Planning.
G De Giacomo, A Murano, S Rubin, A Di Stasio
IJCAI, 1037-1043, 2016
192016
Solving parity games using an automata-based algorithm
AD Stasio, A Murano, G Perelli, MY Vardi
International Conference on Implementation and Application of Automata, 64-76, 2016
182016
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
G De Giacomo, A Di Stasio, F Fuggitti, S Rubin
IJCAI 2020, 2020
142020
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
G De Giacomo, A Di Stasio, MY Vardi, S Zhu
KR 2020, 2020
112020
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
112014
Solving parity games: Explicit vs symbolic
AD Stasio, A Murano, MY Vardi
International Conference on Implementation and Application of Automata, 159-172, 2018
102018
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis
G De Giacomo, A Di Stasio, LM Tabajara, M Vardi, S Zhu
72021
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
22021
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence 89 (5), 551-574, 2021
22021
Dynamic escape game
A Di Stasio, PD Lambiase, V Malvone, A Murano
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
12018
LTLf Synthesis Under Environment Specifications (Short Paper)
A Di Stasio
ICTCS 2022, 2022
2022
Solving Parity Games Using An Automata-Based Algorithm
A Di Stasio, A Murano, G Perelli, MY Vardi
arXiv preprint arXiv:1910.13765, 2019
2019
Reasoning about LTL Synthesis over finite and infinite games.
A Di Stasio
University of Naples Federico II, Italy, 2018
2018
LTLf Synthesis Under Environment Specifications
A Di Stasio
Compositional Safety LTL Synthesis
S Bansal, G De Giacomo, A Di Stasio, Y Li, MY Vardi, S Zhu
The system can't perform the operation now. Try again later.
Articles 1–15