Lucas M. Tabajara

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 23

Top Topics

Neural Learning

Symbolic Reasoning

Top Venues

Formal Methods Syst. Des.

Publications

Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
Dynamic Programming for Symbolic Boolean Realizability and Synthesis. CoRR (2024)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells
Model Checking Strategies from Synthesis over Finite Traces. ATVA (1) (2023)
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
Functional synthesis via input-output separation. Formal Methods Syst. Des. 60 (2) (2022)
Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi
ZDD Boolean Synthesis. TACAS (1) (2022)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-trace and generalized-reactivity specifications in temporal synthesis. Formal Methods Syst. Des. 61 (2) (2022)
Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi
On the Power of Automata Minimization in Temporal Synthesis. GandALF (2021)
Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu
Finite-Trace and Generalized-Reactivity Specifications in Temporal Synthesis. IJCAI (2021)
Gal Amram, Suguman Bansal, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi, Gera Weiss
Adapting Behaviors via Reactive Synthesis. CoRR (2021)
Lucas M. Tabajara, Moshe Y. Vardi
Linear Temporal Logic - From Infinite to Finite Horizon. ATVA (2021)
Kedar S. Namjoshi, Lucas M. Tabajara
Witnessing Secure Compilation. VMCAI (2020)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. AAAI (2020)
Lucas M. Tabajara, Moshe Y. Vardi
LTLf Synthesis under Partial Observability: From Theory to Practice. GandALF (2020)
Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron
Runtime Verification on FPGAs with LTLf Specifications. FMCAD (2020)
Kedar S. Namjoshi, Lucas M. Tabajara
Witnessing Secure Compilation. CoRR (2019)
Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi
Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications. CoRR (2019)
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
Functional Synthesis via Input-Output Separation. FMCAD (2018)
Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
Functional Synthesis via Input-Output Separation. CoRR (2018)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety LTL Synthesis. CoRR (2017)
Lucas M. Tabajara, Moshe Y. Vardi
Factored boolean functional synthesis. FMCAD (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. IJCAI (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
A Symbolic Approach to Safety ltl Synthesis. Haifa Verification Conference (2017)
Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi
Symbolic LTLf Synthesis. CoRR (2017)
Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi
BDD-Based Boolean Functional Synthesis. CAV (2) (2016)
Lucas M. Tabajara, Marcelo O. R. Prates, Diego Noble, Luís C. Lamb
Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems. HCOMP (2013)