POMDPs under Probabilistic Semantics