Mallik, K., Schmuck, A.-K., Soudjani, S., & Majumdar, R. (2019). Compositional Synthesis of Finite-State Abstractions. IEEE Transactions on Automatic Control, 64(6), 2629-2636. doi:10.1109/TAC.2018.2869740.