The normal distribution CFD can be approximated using
$$F_X (x)=P[X≤x]=\frac{1}{2}-\frac{1}{π} \int^{\infty}_{0}\operatorname{Re}\left[\frac{e^{-iux}\phi_X (u)}{iu}\right]du$$
where the characteristic function is given by
$$ϕ_X (t)=e^{iμt-\frac{σ^2 t^2}{2}}$$
I confirmed the results using:
and
The charactereistic function for a bivariate normal distribution is given by
$$ϕ(t_1,t_2 )=e^{i(t_1 μ_1+t_2 μ_2)-\frac{1}{2} (σ_1^2 t_1^2+2ρσ_1 σ_2 t_1 t_2+σ_2^2 t_2^2)}$$
https://mathworld.wolfram.com/BivariateNormalDistribution.html
My question is whether a similar approximation for the CFD of a bivariate normal distribution exists, one which specifically makes use of the characteristic function? Ideally, an identity that will show how the characteristic function can be used to determine the CDF.
I have been looking, but couldn't find anything. Thanks