Provable Sim-to-real Transfer in Continuous Domain with Partial Observations