Practical "Paritizing" of Emerson-Lei Automata. - Florian Renkin; Alexandre Duret-Lutz; Adrien Pommellet (ATVA, 2020)

From Spot 2.0 to Spot 2.10: What's New? - Alexandre Duret-Lutz; Etienne Renault; Maximilien Colange; Florian Renkin; Alexandre Gbaguidi Aisse; Philipp Schlehuber-Caissier; Thomas Medioni; Antoine Martin; Jérôme Dubois; Clément Gillard; Henrich Lauko (CAV (2), 2022)

Effective Reductions of Mealy Machines. - Florian Renkin; Philipp Schlehuber-Caissier; Alexandre Duret-Lutz; Adrien Pommellet (FORTE, 2022)

Practical Applications of the Alternating Cycle Decomposition. - Antonio Casares; Alexandre Duret-Lutz; Klara J. Meyer; Florian Renkin; Salomon Sickert (TACAS (2), 2022)

Improvements to ltlsynt. - Florian Renkin; Philipp Schlehuber; Alexandre Duret-Lutz; Adrien Pommellet (CoRR, 2022)

Transformations d'ω-automates pour la synthèse de systèmes réactifs. (Transformations of ω-automata for the synthesis of reactive systems). - Florian Renkin (2022)

Dissecting ltlsynt. - Florian Renkin; Philipp Schlehuber-Caissier; Alexandre Duret-Lutz; Adrien Pommellet (Formal Methods Syst. Des., 2022)

The Mealy-machine reduction functions of Spot. - Florian Renkin; Philipp Schlehuber-Caissier; Alexandre Duret-Lutz; Adrien Pommellet (Sci. Comput. Program., 2023)

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)