Mathieu Lehaut

17 papers A 1B 4C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata.
FoSSaCS
Mathieu Lehaut, Anca Muscholl, Nir Piterman
2026 J jnl
From Trees to Tree-Like: Distribution and Synthesis for Asynchronous Automata.
CoRR
Mathieu Lehaut, Anca Muscholl, Nir Piterman
2026 A conf
One-Clock Synthesis Problems.
STACS
Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski
2026 J jnl
One-clock synthesis problems.
CoRR
Slawomir Lasota, Mathieu Lehaut, Julie Parreaux, Radoslaw Piórkowski
2024 B conf
Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology.
ATVA
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2024 J jnl
Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology.
CoRR
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2024 — conf
Measuring the Gain of Reconfigurable Communication.
GandALF
Mathieu Lehaut, Nir Piterman
2024 J jnl
Round- and context-bounded control of dynamic pushdown systems.
Formal Methods Syst. Des.
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2024 — conf
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis.
FoSSaCS (1)
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2024 C conf
Synthesis for Prefix First-Order Logic on Data Words.
FORTE
Julien Grange, Mathieu Lehaut
2024 J jnl
Synthesis for prefix first-order logic on data words.
CoRR
Julien Grange, Mathieu Lehaut
2023 J jnl
First order synthesis for data words revisited.
CoRR
Julien Grange, Mathieu Lehaut
2023 J jnl
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL.
CoRR
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2020 B conf
Parameterized Synthesis for Fragments of First-Order Logic Over Data Words.
FoSSaCS
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2020 — —
Synthesis for parameterized systems. (Synthèse pour les systèmes paramétrés).
Mathieu Lehaut
2019 J jnl
Parameterized Synthesis for Fragments of First-Order Logic over Data Words.
CoRR
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
2018 B conf
Round-Bounded Control of Parameterized Systems.
ATVA
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder