Barbara Jobstmann, Rishabh Singh
The traditional synthesis question given a specification asks for the automatic construction of a system that satisfies the specification, whereas often there exists a preference order among the different systems that satisfy the given specification. Under ...
Assoc Computing Machinery2015