Leslie Kaelbling on Resolvers and Agranulocytosis

Lexman interviews Leslie Kaelbling about her work with resolvers and Agranulocytosis. They discuss the effects of the Lariat algorithm on solutions and the importance of graphs in remote mapping.