Mathieu Lehaut

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 10

Top Topics

Expressive Power

Connectionist Learning

Propositional Logic

Top Venues

Formal Methods Syst. Des.

Publications

Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) (2024)
Julien Grange, Mathieu Lehaut
Synthesis for Prefix First-Order Logic on Data Words. FORTE (2024)
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Round- and context-bounded control of dynamic pushdown systems. Formal Methods Syst. Des. 62 (1) (2024)
Julien Grange, Mathieu Lehaut
Synthesis for prefix first-order logic on data words. CoRR (2024)
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. CoRR (2023)
Julien Grange, Mathieu Lehaut
First order synthesis for data words revisited. CoRR (2023)
Mathieu Lehaut, Nir Piterman
Measuring the Gain of Reconfigurable Communication. CoRR (2023)
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Parameterized Synthesis for Fragments of First-Order Logic Over Data Words. FoSSaCS (2020)
Béatrice Bérard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Parameterized Synthesis for Fragments of First-Order Logic over Data Words. CoRR (2019)
Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder
Round-Bounded Control of Parameterized Systems. ATVA (2018)