@article {111,
	title = {Auditor product and controller synthesis for non-deterministic transition systems with practical LTL specifications},
	journal = {IEEE Transactions on Automatic Control},
	year = {2019},
	doi = {10.1109/TAC.2019.2953452},
	author = {M. Hadi Zibaeenejad and Jun Liu}
}
