Dynamic Coverage Verification in Mobile Sensor Networks via Switched Higher Order Laplacians | part of Robotics: Science and Systems III | MIT Press books | IEEE Xplore