Finding Failures in High-Fidelity Simulation using Adaptive Stress Testing and the Backward Algorithm | IEEE Conference Publication | IEEE Xplore