As is well known, there is no explicit formula for $\int_{-\infty}^\infty step(t−x)\cdot e^{−t^2/2}dt=\int_x^\infty e^{−t^2/2} dt$ for generic $x,$ where $step(z)$ is the step function, $step(z)=1$ for $z>0,$ $step(z)=0$ for $z<0.$
Is there a "nice" family of functions $s_\alpha:{\mathbb R}\to [0,1]$ which converge to $step$ as $\alpha\to 0$ and such that $\int_{-\infty}^\infty s_\alpha(t−x)⋅e^{−t^2/2} dt$ can be computed explicitly for generic $x$ and $\alpha$?
If not then perhaps a single function $s$ which is a "reasonable" approximation of $step$ for which the above integral can be computed for a generic $x$?