activity
20232026
most citedDistribution of Reconfiguration Languages maintaining Tree-like Communication Topology

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing cs.LOShow all

2 papers · 1 filter

cs.LO2024

Synthesis for prefix first-order logic on data words

Julien Grange, Mathieu Lehaut

We study the reactive synthesis problem for distributed systems with an unbounded number of participants interacting with an uncontrollable environment. Executions of those systems…

cs.LO2023

First order synthesis for data words revisited

Julien Grange, Mathieu Lehaut

We carry on the study of the synthesis problem on data words for fragments of first order logic, and delineate precisely the border between decidability and undecidability.