We propose a framework for planning in unknown dynamic environments with probabilistic safety guarantees using conformal prediction. Particularly, we design model predictive controller (MPC) that uses i) trajectory predictions of the environment, and ii) prediction regions quantifying uncertainty predictions. To obtain regions, use prediction, statistical tool quantification, requires availabil...