Real-Time Symbolic Dynamic Programming