Use of the theory of random functions to assess the reliability of roof control by smooth caving onto yielding chain pillars