Sequence theories are an extension of theories of strings with an infini...
We study the problem of learning a finite union of integer (axis-aligned...
Parameterized synthesis offers a solution to the problem of constructing...
We propose a machine learning framework to synthesize reactive controlle...