Mathieu Lehaut

According to our database, Mathieu Lehaut authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Round- and context-bounded control of dynamic pushdown systems.

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Formal Methods Syst. Des., June, 2024

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis.

Daniel Hausmann, Mathieu Lehaut, Nir Piterman

Proceedings of the Foundations of Software Science and Computation Structures, 2024

Synthesis for Prefix First-Order Logic on Data Words.

Julien Grange, Mathieu Lehaut

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

First order synthesis for data words revisited.

Julien Grange, Mathieu Lehaut

CoRR, 2023

Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL.

Daniel Hausmann, Mathieu Lehaut, Nir Piterman

CoRR, 2023

Measuring the Gain of Reconfigurable Communication.

Mathieu Lehaut, Nir Piterman

CoRR, 2023

2020

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

Mathieu Lehaut

PhD thesis, 2020

Parameterized Synthesis for Fragments of First-Order Logic Over Data Words.

Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Proceedings of the Foundations of Software Science and Computation Structures, 2020

2018

Round-Bounded Control of Parameterized Systems.

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Proceedings of the Automated Technology for Verification and Analysis, 2018