SOTAVerified

Co-Activation Graph Analysis of Safety-Verified and Explainable Deep Reinforcement Learning Policies

2025-01-06Code Available1· sign in to hype

Dennis Gross, Helge Spieker

Code Available — Be the first to reproduce this paper.

Reproduce

Code

Abstract

Deep reinforcement learning (RL) policies can demonstrate unsafe behaviors and are challenging to interpret. To address these challenges, we combine RL policy model checking--a technique for determining whether RL policies exhibit unsafe behaviors--with co-activation graph analysis--a method that maps neural network inner workings by analyzing neuron activation patterns--to gain insight into the safe RL policy's sequential decision-making. This combination lets us interpret the RL policy's inner workings for safe decision-making. We demonstrate its applicability in various experiments.

Tasks

Reproductions