| Title | Synthesis of reactive switching protocols from temporal logic specifications |
| Publication Type | Journal Article |
| Year of Publication | 2013 |
| Authors | Liu, J., N. Ozay, U. Topcu, and R. M. Murray |
| Journal | IEEE Transactions on Automatic Control |
| Pagination | 1771–1785 |
| DOI | 10.1109/TAC.2013.2246095 |
Related files:
