Multi-objective dynamic programming with limited precision