Parameterized Synthesis for Fragments of First-Order Logic Over Data Words.

Batrice Brard, Benedikt Bollig, Mathieu Lehaut, Nathalie Sznajder

Browse the full FOSSACS paper archive.