Quantitative Verification with Adaptive Uncertainty Reduction