@inproceedings{56, author = {Jun Liu and Pavithra Prabhakar}, title = {Switching control of dynamical systems from metric temporal logic specifications}, year = {2014}, journal = {Switching control of dynamical systems from metric temporal logic specifications}, doi = {http://dx.doi.org/10.1109/ICRA.2014.6907643}, }