A learning-based approach to stochastic optimal control under reach-avoid constraint (Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control)