Switching control of dynamical systems from metric temporal logic specifications.

Jun Liu, Pavithra Prabhakar

Browse the full ICRA paper archive.