Synthesis for Prefix First-Order Logic on Data Words.

Julien Grange, Mathieu Lehaut

Browse the full FORTE paper archive.