この資料をSMS送信: Symbolic Dynamic Programming for First-order POMDPs