Seminars

SMT-based Reactive Synthesis

October 18, 2012

Node Packing in Grid Graphs

January 12, 2012

Active Object Recognition

April 13, 2011

Tool Use Learning in Robots

January 27, 2011

2008

Computer Vision and Seeing

November 19, 2008