The Adaptive Stress Testing Formulation