Lucas M. Tabajara

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