TY  - RPRT
TI  - Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration
AU  - Tuan Le
AU  - Risal Shefin
AU  - Debashis Gupta
AU  - Thai Le
AU  - Sarra Alqahtani
PY  - 2025
UR  - https://arxiv.org/abs/2506.03469
ID  - 2506.03469
ER  -