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
Publications
5 items
A note on the reduction from LTLf to LTL
2026
Cited
0
Teaching LTL and ω-automata with Spot
2026
Cited
0
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
Co-authors
10 total
Thierry Géraud
Full professor with EPITA, Head of EPITA Research Laboratory (LRE)
Jan Strejček
Masaryk University
Philipp Schlehuber-Caissier
Associate Professor (Maître de Conférences), RST, Télécom SudParis
Adrien Pommellet
Associate professor in Computer Science, LRE, Epita
Jaco van de Pol
Professor of Computer Science, Aarhus University
Jan Křetínský
Masaryk University Brno; Technical University of Munich
Jean-Michel Couvreur
Unknown affiliation
David Parker
Professor of Computer Science, University of Oxford
