Tabajara, Lucas M.

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

AAAI 2020 Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

IJCAI 2017 Symbolic LTLf Synthesis Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi