@article{60,
  author = {Jun Liu and Necmiye Ozay and Ufuk Topcu and Richard Murray},
  title = {Synthesis of reactive switching protocols from temporal logic specifications},
  year = {2013},
  journal = {IEEE Transactions on Automatic Control},
  pages = {1771\textendash1785},
  doi = {http://dx.doi.org/10.1109/TAC.2013.2246095},
}