NSF-BSF grant titled “Provably High-Quality Robot Inspection Planning-Theory and Application” was awarded together with Prof. Ron Alterovitz from UNC.