Mathieu Lehaut

According to our database, Mathieu Lehaut authored at least 12 papers between 2018 and 2026.

Collaborative distances:

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

2026

One-Clock Synthesis Problems.

Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski

Proceedings of the 43rd International Symposium on Theoretical Aspects of Computer Science, 2026

From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata.

Mathieu Lehaut, Anca Muscholl, Nir Piterman

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

2024

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

Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Formal Methods Syst. Des., June, 2024

Measuring the Gain of Reconfigurable Communication.

Mathieu Lehaut, Nir Piterman

Proceedings of the Proceedings Fifteenth International Symposium on Games, 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

Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology.

Daniel Hausmann, Mathieu Lehaut, Nir Piterman

Proceedings of the Automated Technology for Verification and Analysis, 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

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