Zibaeenejad, H. ., & Liu, J. . (2019). Auditor product and controller synthesis for non-deterministic transition systems with practical LTL specifications. IEEE Transactions on Automatic Control. https://doi.org/10.1109/TAC.2019.2953452