Practical Stutter-Invariance Checks for ω-Regular Languages. - Thibaud Michaud; Alexandre Duret-Lutz (SPIN, 2015)

Spot 2.0 - A Framework for LTL and omega -Automata Manipulation. - Alexandre Duret-Lutz; Alexandre Lewkowicz; Amaury Fauchille; Thibaud Michaud; Etienne Renault; Laurent Xu (ATVA, 2016)

Derived-Term Automata of Weighted Rational Expressions with Quotient Operators. - Akim Demaille; Thibaud Michaud (ICTAC, 2017)

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results. - Swen Jacobs; Nicolas Basset; Roderick Bloem; Romain Brenguier; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Thibaud Michaud; Guillermo A. Pérez 001; Jean-François Raskin; et al. (SYNT@CAV, 2017)

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results. - Swen Jacobs; Roderick Bloem; Maximilien Colange; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; Felix Klein 001; Michael Luttenberger; Philipp J. Meyer; Thibaud Michaud; Mouhammad Sakr; Salomon Sickert; et al. (CoRR, 2019)

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021. - Swen Jacobs; Guillermo A. Pérez 001; Remco Abraham; Véronique Bruyère; Michaël Cadilhac; Maximilien Colange; Charly Delfosse; Tom van Dijk; Alexandre Duret-Lutz; Peter Faymonville; Bernd Finkbeiner; Ayrat Khalimov 001; et al. (Int. J. Softw. Tools Technol. Transf., 2024)