paper-with-me

Papers

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

2025-01-06 · Dennis Gross, Helge Spieker

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.

📄 PDF Abstract BibTeX arXiv:2501.03142

Code (1)

lava-lab/cool-mc 공식 구현 pytorch

Tasks

Decision MakingDeep Reinforcement LearningReinforcement Learning (RL)Sequential Decision Making

Similar Papers 제목 키워드 기반

Scalable Synthesis of Formally Verified Neural Value Function for Hamilton-Jacobi Reachability Analysis

2024-07-30 · Yujie Yang, Hanjiang Hu, Tianhao Wei, Shengbo Eben Li 외

Hamilton-Jacobi (HJ) reachability analysis provides a formal method for guaranteeing safety in constrained control problems. It synthesizes a value function to represent a long-term safe set called feasible region. Early…

Quadratic Characterizations for Reachability Analysis of Neural Networks

2026-05-19 · Elias Khalife, Mazen Farhood, Pierre-Loic Garoche arxiv

Quadratic constraints (QCs) are widely used to characterize nonlinearities and uncertainties, but generic analytical characterizations can be conservative on bounded domains. This paper develops a framework for construct…

Observer-Based Safety Monitoring of Nonlinear Dynamical Systems with Neural Networks via Quadratic Constraint Approach

2024-11-15 · Tao Wang, Yapeng Li, Zihao Mo, Wesley Cooke 외

The safety monitoring for nonlinear dynamical systems with embedded neural network components is addressed in this paper. The interval-observer-based safety monitor is developed consisting of two auxiliary neural network…

Dual Explanations via Subgraph Matching for Malware Detection

2025-04-29 · Hossein Shokouhinejad, Roozbeh Razavi-Far, Griffin Higgins, Ali A. Ghorbani

Interpretable malware detection is crucial for understanding harmful behaviors and building trust in automated security systems. Traditional explainable methods for Graph Neural Networks (GNNs) often highlight important …

Malware AnalysisMalware Detection

A Graph-Enhanced Defense Framework for Explainable Fake News Detection with LLM

2026-04-08 · Bo Wang, Jing Ma, Hongzhan Lin, Zhiwei Yang 외 arxiv

Explainable fake news detection aims to assess the veracity of news claims while providing human-friendly explanations. Existing methods incorporating investigative journalism are often inefficient and struggle with brea…

Explanation GenerationFake News Detection