Alexandre Duret-Lutz
Scholar

Alexandre Duret-Lutz

Google Scholar ID: ftaim7AAAAAJ
LRE / EPITA
automatamodel checkingLTLreactive synthesis
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,166
 
H-index
21
 
i10-index
48
 
Publications
20
 
Co-authors
23
list available
Contact
No contact links provided.
Publications
3 items
Fast Obligation Translation and Synthesis
2026
Cited
0
On-the-fly LTLf Synthesis under Partial Observability
2026
Cited
0
Engineering an LTLf Synthesis Tool
2025
Cited
0
Resume (English only)
Co-authors
23 total
Thierry Géraud
Thierry Géraud
Full professor with EPITA, Head of EPITA Research Laboratory (LRE)
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Jan Strejček
Jan Strejček
Masaryk University
Co-author 5
Co-author 5
Philipp Schlehuber-Caissier
Philipp Schlehuber-Caissier
Associate Professor (Maître de Conférences), RST, Télécom SudParis
Adrien Pommellet
Adrien Pommellet
Associate professor in Computer Science, LRE, Epita
Co-author 8
Co-author 8