Sven Koenig: Progress on Multi-Robot Path Finding CMU RI Seminar