De Giacomo, G., Vardi, M., Felli, P., Alechina, N., & Logan, B. (2018). Synthesis of Orchestrations of Transducers for Manufacturing. Proceedings of the AAAI Conference on Artificial Intelligence, 32(1). https://doi.org/10.1609/aaai.v32i1.12094