I was reading LaValle\'s backward value interation but, completely failed to understand the example 2.9, which is mentioned in the text, works.
Would someone be able
