Antonio Di Stasio

2 papers in the IJCAI proceedings

IJCAI 2021

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

with Giuseppe De Giacomo, Lucas M. Tabajara, Moshe Vardi, Shufang Zhu

doi:10.24963/ijcai.2021/255

Details PDF

IJCAI 2020

Pure-Past Linear Temporal and Dynamic Logic on Finite Traces

with Giuseppe De Giacomo, Francesco Fuggitti, Sasha Rubin

doi:10.24963/ijcai.2020/690

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings