25caef3a545a1fff2ff4055484f0e758-AuthorFeedback.pdf

We would like to begin by highlighting two contributions of the paper we feel remained unnoticed by R#2 and R#3. Due to its generality it is a powerful tool and is indeed central in all our analysis. RTDP is a well known and practical algorithm. RTDP required the algorithm designer to set a predefined level of accuracy ɛ. Reviewer #1: We thank the reviewer for his/her favorable review.