Synthesizing Policies That Account For Human Execution Errors Caused By State-Aliasing In Markov Decision Processes