CS373: new class "Artificial Intelligence for Robotics"