Round-Bounded Control of Parameterized Systems. - Benedikt Bollig; Mathieu Lehaut; Nathalie Sznajder (ATVA, 2018)

Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. - Béatrice Bérard; Benedikt Bollig; Mathieu Lehaut; Nathalie Sznajder (FoSSaCS, 2020)

Synthesis for parameterized systems. (Synthèse pour les systèmes paramétrés). - Mathieu Lehaut (2020)

Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. - Daniel Hausmann 001; Mathieu Lehaut; Nir Piterman (CoRR, 2023)

First order synthesis for data words revisited. - Julien Grange; Mathieu Lehaut (CoRR, 2023)

Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. - Daniel Hausmann 001; Mathieu Lehaut; Nir Piterman (ATVA, 2024)

Synthesis for Prefix First-Order Logic on Data Words. - Julien Grange; Mathieu Lehaut (FORTE, 2024)

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. - Daniel Hausmann 001; Mathieu Lehaut; Nir Piterman (FoSSaCS (1), 2024)

Measuring the Gain of Reconfigurable Communication. - Mathieu Lehaut; Nir Piterman (GandALF, 2024)

Round- and context-bounded control of dynamic pushdown systems. - Benedikt Bollig; Mathieu Lehaut; Nathalie Sznajder (Formal Methods Syst. Des., 2024)