| Symbolic ltlf synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi arXiv preprint arXiv:1705.08426, 2017 | 131 | 2017 |
| BDD-based Boolean functional synthesis D Fried, LM Tabajara, MY Vardi Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 58 | 2016 |
| A Symbolic Approach to Safety ltl Synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 57 | 2017 |
| Hybrid compositional reasoning for reactive synthesis from finite-horizon specifications S Bansal, Y Li, L Tabajara, M Vardi Proceedings of the AAAI Conference on Artificial Intelligence 34 (06), 9766-9774, 2020 | 55 | 2020 |
| Partitioning techniques in LTLf synthesis LM Tabajara, MY Vardi 2019 International Joint Conference on Artificial Intelligence, 2019 | 32 | 2019 |
| Factored Boolean functional synthesis LM Tabajara, MY Vardi 2017 Formal Methods in Computer Aided Design (FMCAD), 124-131, 2017 | 30 | 2017 |
| Finite-trace and generalized-reactivity specifications in temporal synthesis G De Giacomo, A Di Stasio, L M Tabajara, M Vardi, S Zhu 30th International Conference on Artificial Intelligence, 2021 | 23 | 2021 |
| Functional synthesis via input–output separation S Chakraborty, D Fried, LM Tabajara, MY Vardi Formal Methods in System Design 60 (2), 228-258, 2022 | 20 | 2022 |
| LTLf synthesis under partial observability: From theory to practice LM Tabajara, MY Vardi arXiv preprint arXiv:2009.10875, 2020 | 14 | 2020 |
| Witnessing secure compilation KS Namjoshi, LM Tabajara Verification, Model Checking, and Abstract Interpretation: 21st …, 2020 | 13 | 2020 |
| On the Power of Automata Minimization in Reactive Synthesis S Zhu, LM Tabajara, G Pu, MY Vardi arXiv preprint arXiv:2008.06790, 2020 | 10 | 2020 |
| Model Checking Strategies from Synthesis over Finite Traces S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells International Symposium on Automated Technology for Verification and …, 2023 | 7 | 2023 |
| Runtime verification on fpgas with ltlf specifications T Tracy II, LM Tabajara, M Vardi, K Skadron # PLACEHOLDER_PARENT_METADATA_VALUE# 1, 36-46, 2020 | 6 | 2020 |
| Linear Temporal Logic–From Infinite to Finite Horizon LM Tabajara, MY Vardi International Symposium on Automated Technology for Verification and …, 2021 | 4 | 2021 |
| Adapting behaviors via reactive synthesis G Amram, S Bansal, D Fried, LM Tabajara, MY Vardi, G Weiss Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 4 | 2021 |
| ZDD Boolean Synthesis Y Lin, LM Tabajara, MY Vardi International Conference on Tools and Algorithms for the Construction and …, 2022 | 2 | 2022 |
| Leveraging collaboration: A methodology for the design of social problem-solving systems L Tabajara, M Prates, D Noble, L Lamb Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 1 …, 2013 | 2 | 2013 |
| BDD-based Boolean synthesis LM Tabajara Rice University, 2018 | 1 | 2018 |
| Dynamic Programming for Symbolic Boolean Realizability and Synthesis Y Lin, L Martinelli Tabajara, MY Vardi International Conference on Computer Aided Verification, 112-134, 2024 | | 2024 |
| On Strategies in Synthesis Over Finite Traces. S Bansal, Y Li, LM Tabajara, MY Vardi, A Wells CoRR, 2023 | | 2023 |
