The formation of impact craters on planetary surfaces through collisions with asteroids, comets or other bodies.