Alexandre Duret-Lutz

Identifiers

• name variant Alexandre Duret-Lutz 0.60 · backfill

Papers (3)

1. Fast Obligation Translation and Synthesis cs.FL · 2026 · author #1
2. On-the-fly LTLf Synthesis under Partial Observability cs.LO · 2026 · author #3
3. Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking cs.LO · 2011 · author #1

Mentions

• 1106.5700 #1 · backfill · confidence 0.70 Alexandre Duret-Lutz

Frequent Coauthors

• Moshe Y. Vardi 2 shared papers
• Shufang Zhu 2 shared papers
• Denis Poitrenaud 1 shared papers
• Dror Fried 1 shared papers
• Giuseppe De Giacomo 1 shared papers
• Kais Klai 1 shared papers
• Lucas M. Tabajara 1 shared papers
• Marcin Jurdzinski 1 shared papers
• Nadav Alon 1 shared papers
• Nir Piterman 1 shared papers
• Supratik Chakraborty 1 shared papers
• Yann Thierry-Mieg 1 shared papers