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