Antonio Di Stasio
Antonio Di Stasio
Post-doctoral researcher, Sapienza University of Rome
Verifierad e-postadress på diag.uniroma1.it - Startsida
Titel
Citeras av
Citeras av
År
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
162016
Imperfect-Information Games and Generalized Planning.
G De Giacomo, A Murano, S Rubin, A Di Stasio
IJCAI, 1037-1043, 2016
162016
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
102014
Solving parity games: Explicit vs symbolic
A Di Stasio, A Murano, MY Vardi
International Conference on Implementation and Application of Automata, 159-172, 2018
82018
Pure-Past Linear Temporal and Dynamic Logic on Finite Traces
G De Giacomo, A Di Stasio, F Fuggitti, S Rubin
IJCAI 2020, 2020
32020
Dynamic escape game
A Di Stasio, PD Lambiase, V Malvone, A Murano
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
12018
Improving parity games in practice
A Di Stasio, A Murano, V Prignano, L Sorrentino
Annals of Mathematics and Artificial Intelligence, 1-24, 2021
2021
Two-Stage Technique for LTLf Synthesis Under LTL Assumptions
G De Giacomo, A Di Stasio, MY Vardi, S Zhu
KR 2020, 2020
2020
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
2018
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–10