N. Alechina, T. Brázdil, G. De Giacomo, P. Felli, B. Logan, and M. Y. Vardi, “Unbounded Orchestrations of Transducers for Manufacturing”, AAAI, vol. 33, no. 01, pp. 2646-2653, Jul. 2019.