@inproceedings {39,
	title = {Switching control of dynamical systems from metric temporal logic specifications},
	booktitle = {IEEE International Conference on Robotics and Automation (ICRA)},
	year = {2014},
	doi = {http://dx.doi.org/10.1109/ICRA.2014.6907643},
	author = {Jun Liu and Pavithra Prabhakar}
}
