Switching control of dynamical systems from metric temporal logic specifications

Title Switching control of dynamical systems from metric temporal logic specifications
Author
Jun Liu
Pavithra Prabhakar
Year of Publication
2014
Conference Name
Switching control of dynamical systems from metric temporal logic specifications
DOI
http://dx.doi.org/10.1109/ICRA.2014.6907643
Download citation