Publications
- Listed on DBLP
- Slides of some recent talks
PGP Key
Teaching
Outils / Tools
- LTL2BA 1.3 : fast translation from LTL formulae to Büchi automata.
Version of 2020/06/10 - Graphs and Automata Simplified in TeX.
Version of 2024/02/12
Paul Gastin
Emeritus Professor, ENS Paris-Saclay
Mail: paul.gastin@lmf.cnrs.fr
Phone: +33 (0)1 81 87 54 58
Office: N/A, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France