| Title | Auditor product and controller synthesis for non-deterministic transition systems with practical LTL specifications |
| Publication Type | Journal Article |
| Year of Publication | 2019 |
| Authors | M. Zibaeenejad, H., and J. Liu |
| Journal | IEEE Transactions on Automatic Control |
| DOI | 10.1109/TAC.2019.2953452 |
