Lucas M. Tabajara

According to our database, Lucas M. Tabajara authored at least 19 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Dynamic Programming for Symbolic Boolean Realizability and Synthesis.

Yi Lin, Lucas Martinelli Tabajara, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

On Strategies in Synthesis Over Finite Traces.

Suguman Bansal, Yong Li, Lucas Martinelli Tabajara, Moshe Y. Vardi, Andrew M. Wells

CoRR, 2023

Model Checking Strategies from Synthesis over Finite Traces.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi, Andrew M. Wells

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

Finite-trace and generalized-reactivity specifications in temporal synthesis.

Giuseppe De Giacomo, Antonio Di Stasio, Lucas M. Tabajara, Moshe Y. Vardi, Shufang Zhu

Formal Methods Syst. Des., December, 2022

Functional synthesis via input-output separation.

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

Formal Methods Syst. Des., April, 2022

ZDD Boolean Synthesis.

Yi Lin, Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

On the Power of Automata Minimization in Temporal Synthesis.

Shufang Zhu, Lucas M. Tabajara, Geguang Pu, Moshe Y. Vardi

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Adapting Behaviors via Reactive Synthesis.

Gal Amram, Suguman Bansal, Dror Fried, Lucas Martinelli Tabajara, Moshe Y. Vardi, Gera Weiss

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Linear Temporal Logic - From Infinite to Finite Horizon.

Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

LTLf Synthesis under Partial Observability: From Theory to Practice.

Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Proceedings 11th International Symposium on Games, 2020

Witnessing Secure Compilation.

Kedar S. Namjoshi, Lucas M. Tabajara

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Runtime Verification on FPGAs with LTLf Specifications.

Tommy Tracy II, Lucas M. Tabajara, Moshe Y. Vardi, Kevin Skadron

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications.

Suguman Bansal, Yong Li, Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Partitioning Techniques in LTLf Synthesis.

Lucas Martinelli Tabajara, Moshe Y. Vardi

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2017

Symbolic LTLf Synthesis.

Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A Symbolic Approach to Safety ltl Synthesis.

Shufang Zhu, Lucas M. Tabajara, Jianwen Li, Geguang Pu, Moshe Y. Vardi

Proceedings of the Hardware and Software: Verification and Testing, 2017

Factored boolean functional synthesis.

Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

BDD-Based Boolean Functional Synthesis.

Dror Fried, Lucas M. Tabajara, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2013

Leveraging Collaboration: A Methodology for the Design of Social Problem-Solving Systems.

Lucas M. Tabajara, Marcelo O. R. Prates, Diego Noble, Luís C. Lamb

Proceedings of the First AAAI Conference on Human Computation and Crowdsourcing, 2013