Di Stasio, Antonio

3 publications

IJCAI 2021 Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu

IJCAI 2020 Pure-past Linear Temporal and Dynamic Logic on Finite Traces Giuseppe De Giacomo, Antonio Di Stasio, Francesco Fuggitti, Sasha Rubin

IJCAI 2016 Imperfect-Information Games and Generalized Planning Giuseppe De Giacomo, Aniello Murano, Sasha Rubin, Antonio Di Stasio