Sun, F. ., Ozay, N. ., Wolff, E. M., & Murray, R. M. (2014). Efficient control synthesis for augmented finite transition systems with an application to switching protocols. Efficient Control Synthesis for Augmented Finite Transition Systems With an Application to Switching Protocols. Presented at the. https://doi.org/http://dx.doi.org/10.1109/ACC.2014.6859428