http://www.botball.org/
Here is a link to the software that it is programmed in - http://www.botball.org/educational-resources/ic.php
Here are the videos - http://www.botball.org/scrapbook/video_gallery.php