Scholar
Alexandre Duret-Lutz
Google Scholar ID: ftaim7AAAAAJ
LRE / EPITA
automata
model checking
LTL
reactive synthesis
Follow
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
Full professor with EPITA, Head of EPITA Research Laboratory (LRE)
Co-author 2
Co-author 3
Jan Strejček
Masaryk University
Co-author 5
Philipp Schlehuber-Caissier
Associate Professor (Maître de Conférences), RST, Télécom SudParis
Adrien Pommellet
Associate professor in Computer Science, LRE, Epita
Co-author 8
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up