Lucas M. Tabajara

Identifiers

No identifiers captured yet.

Papers (3)

1. On-the-fly LTLf Synthesis under Partial Observability cs.LO · 2026 · author #5
2. Functional Synthesis via Input-Output Separation cs.LO · 2018 · author #3
3. Symbolic LTLf Synthesis cs.LO · 2017 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Moshe Y. Vardi 3 shared papers
• Dror Fried 2 shared papers
• Shufang Zhu 2 shared papers
• Supratik Chakraborty 2 shared papers
• Alexandre Duret-Lutz 1 shared papers
• Geguang Pu 1 shared papers
• Jianwen Li 1 shared papers
• Nadav Alon 1 shared papers