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