Lyapunov-Like Conditions for Tight Exit Probability Bounds through Comparison Theorems for SDEs | IEEE Conference Publication | IEEE Xplore