Robust Deep Reinforcement Learning Using Formal Verification. - Avraham Raviv; Shaiel Vistuch; Boaz Gurevich; Erel Dekel; Hillel Kugler (TASE, 2025)