xSRL: Safety-Aware Explainable Reinforcement Learning - Safety as a Product of Explainability. - Risal Shahriar Shefin; Md Asifur Rahman; Thai Le; Sarra Alqahtani (AAMAS, 2025)

Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration. - Tuan Le; Risal Shahriar Shefin; Debashis Gupta; Thai Le; Sarra Alqahtani (CoRR, 2025)