Dependable, Multi-Robot Cooperative Tasking in Uncertain and Dynamic Environments Submitted by Hai Lin on Sun, 02/14/2016 - 21:15 Formal design coordination Hybrid control University of Notre Dame University of Denver CPS Domains Robotics Education Foundations Control 2015 National CPS PI Meeting 2015 Academia