Reinforcement Learning Journal, vol. 4, 2024, pp. 1759–1780.
Presented at the Reinforcement Learning Conference (RLC), Amherst Massachusetts, August 9–12, 2024.
In recent years, Deep Reinforcement Learning (DRL) has emerged as an effective approach to solving real-world tasks. However, despite their successes, DRL-based policies suffer from poor reliability, which limits their deployment in safety-critical domains. Various methods have been put forth to address this issue by providing formal safety guarantees. Two main approaches include shielding and verification. While shielding ensures the safe behavior of the policy by employing an external online component (i.e., a ``shield'') that overrides potentially dangerous actions, this approach has a significant computational cost as the shield must be invoked at runtime to validate every decision. On the other hand, verification is an offline process that can identify policies that are unsafe, prior to their deployment, yet, without providing alternative actions when such a policy is deemed unsafe. In this work, we present verification-guided shielding --- a novel approach that bridges the DRL reliability gap by integrating these two methods. Our approach combines both formal and probabilistic verification tools to partition the input domain into safe and unsafe regions. In addition, we employ clustering and symbolic representation procedures that compress the unsafe regions into a compact representation. This, in turn, allows to temporarily activate the shield solely in (potentially) unsafe regions, in an efficient manner. Our novel approach allows to significantly reduce runtime overhead while still preserving formal safety guarantees. We extensively evaluate our approach on two benchmarks from the robotic navigation domain, as well as provide an in-depth analysis of its scalability and completeness.
Davide Corsi, Guy Amir, Andoni Rodríguez, Guy Katz, César Sánchez, and Roy Fox. "Verification-Guided Shielding for Deep Reinforcement Learning." Reinforcement Learning Journal, vol. 4, 2024, pp. 1759–1780.
BibTeX:@article{corsi2024verification,
title={Verification-Guided Shielding for Deep Reinforcement Learning},
author={Corsi, Davide and Amir, Guy and Rodr{\'{i}}guez, Andoni and Katz, Guy and S{\'{a}}nchez, C{\'{e}}sar and Fox, Roy},
journal={Reinforcement Learning Journal},
volume={4},
pages={1759--1780},
year={2024}
}