Lucas Martinelli Tabajara

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Connectionist Learning

Program Synthesis

Behavior Analysis

Boolean Queries

Top Venues

Publications

Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CAV (3) (2024)
Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells
On Strategies in Synthesis Over Finite Traces. CoRR (2023)
Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CAV (1) (2021)
Lucas Martinelli Tabajara, Moshe Y. Vardi
Partitioning Techniques in LTLf Synthesis. IJCAI (2019)