Title | Switching protocol synthesis for temporal logic specifications |
Publication Type | Conference Paper |
Year of Publication | 2012 |
Authors | Liu, J., N. Ozay, U. Topcu, and R. M. Murray |
Conference Name | American Control Conference (ACC) |
DOI | 10.1109/ACC.2012.6315040 |
Related files: