Verification-Guided Falsification for Safe RL via Explainable Abstraction and Risk-Aware Exploration

Tuan Le, Risal Shefin, Debashis Gupta +2

Ensuring the safety of reinforcement learning (RL) policies in high-stakes environments requires not only formal verification but also interpretability and targeted falsification.…