robot reasoning labs from 2012 reu