| 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:
