Leslie Kaelbling: Reinforcement Learning, Planning, and Robotics · Manolis Kellis · Sentinel