An Anytime Algorithm for Chance Constrained Stochastic Shortest Path Problems and Its Application to Aircraft Routing | IEEE Conference Publication | IEEE Xplore