@inproceedings{73,
  author = {Jun Liu and Necmiye Ozay and Ufuk Topcu and Richard Murray},
  title = {Switching protocol synthesis for temporal logic specifications},
  year = {2012},
  journal = {Switching protocol synthesis for temporal logic specifications},
  doi = {10.1109/ACC.2012.6315040},
}