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…