Lucas M. Tabajara

2 papers in the IJCAI proceedings

IJCAI 2021

Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis

with Giuseppe De Giacomo, Antonio Di Stasio, Moshe Vardi, Shufang Zhu

doi:10.24963/ijcai.2021/255

Details PDF

IJCAI 2017

Symbolic LTLf Synthesis

with Shufang Zhu, Jianwen Li, Geguang Pu, Moshe Y. Vardi

doi:10.24963/ijcai.2017/189

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings