Lyapunov-Barrier Characterization of Robust Reach-Avoid-Stay Specifications for Hybrid Systems