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: