Concepedia

Lucas M. Tabajara

LM

5

Publications

161

Citations

5

H-Index

2017

Active since

Affiliations

Rice University(Current)

Lucas M. Tabajara is an author at Rice University specializing in formal verification, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationComputer EngineeringVerificationSoftware AnalysisSystems Engineering

Publications per year

2017–2020

5

Publications

5

Symbolic LTLf Synthesis

Shufang Zhu, Lucas M. Tabajara, Jianwen Li et al. · 2017 · 91 citations · Full text

Engineering, Verification, System Synthesis +17

Factored boolean functional synthesis

Lucas M. Tabajara, Moshe Y. Vardi · 2017 · 24 citations

Engineering, Boolean Function, Verification +16

Partitioning Techniques in LTLf Synthesis

Lucas M. Tabajara, Moshe Y. Vardi · 2019 · 19 citations · Full text

Engineering, Verification, Computer-aided Verification +18

Functional Synthesis via Input-Output Separation

Supratik Chakraborty, Dror Fried, Lucas M. Tabajara et al. · 2018 · 17 citations

Engineering, Boolean Function, Verification +18

Hybrid Compositional Reasoning for Reactive Synthesis from Finite-Horizon Specifications

Suguman Bansal, Yong Li, Lucas M. Tabajara et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 10 citations · Full text

Engineering, Computer Architecture, System Synthesis +17

Rows per page

1–5 of 5