• Home
  • Search
  • Deep Reinforcement Learning Verification: A Survey
  • Cite Icon46
  • https://doi.org/10.1145/3596444Copy DOI Icon

Deep Reinforcement Learning Verification: A Survey

Show More
  • Abstract
  • Highlights & Summary
  • PDF
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Deep reinforcement learning (DRL) has proven capable of superhuman performance on many complex tasks. To achieve this success, DRL algorithms train a decision-making agent to select the actions that maximize some long-term performance measure. In many consequential real-world domains, however, optimal performance is not enough to justify an algorithm’s use—for example, sometimes a system’s robustness, stability, or safety must be rigorously ensured. Thus, methods for verifying DRL systems have emerged. These algorithms can guarantee a system’s properties over an infinite set of inputs, but the task is not trivial. DRL relies on deep neural networks (DNNs). DNNs are often referred to as “black boxes” because examining their respective structures does not elucidate their decision-making processes. Moreover, the sequential nature of the problems DRL is used to solve promotes significant scalability challenges. Finally, because DRL environments are often stochastic, verification methods must account for probabilistic behavior. To address these complications, a new subfield has emerged. In this survey, we establish the foundations of DRL and DRL verification, define a taxonomy for DRL verification methods, describe approaches for dealing with stochasticity, characterize considerations related to writing specifications, enumerate common testing tasks/environments, and detail opportunities for future research.

Loading PDF

Similar Papers
  • Research Article
  • Citations6

Break through the limits of learning by machines

  • Sep 20, 2016
  • Chinese Science Bulletin
  • Zhongzhi Shi
  • Research Article
  • Citations1

DDPG Agent to Swing Up and Balance Cart- Pole System

  • Apr 09, 2021
  • International Journal of Advanced Research in Science, Communication and Technology
  • Buvanesh Pandian V
  • PDF
  • Research Article
  • Citations5

Deep imitation reinforcement learning with expert demonstration data

  • Oct 31, 2018
  • The Journal of Engineering
  • Menglong Yi +3
  • Research Article
  • Citations13

Adaptive Broad Deep Reinforcement Learning for Intelligent Traffic Light Control

  • Sep 01, 2024
  • IEEE Internet of Things Journal
  • Ruijie Zhu +5
  • Book Chapter
  • Citations4

Nitty-Gritty of Deep Reinforcement Learning for the Healthcare Sector

  • Oct 18, 2023
  • Vaishnavi Kumari +5
  • Conference Article
  • Citations16

An Adaptive Control Method for Arterial Signal Coordination Based on Deep Reinforcement Learning

  • Oct 01, 2019
  • Peng Chen +2
  • PDF
  • Research Article
  • Citations38

Deep Reinforcement Learning Unleashing the Power of AI in Decision-Making

  • Feb 02, 2024
  • Journal of Artificial Intelligence General science (JAIGS) ISSN:3006-4023
  • Jeff Shuford
  • PDF
  • Research Article
  • Citations22

A Review of Mobile Robot Path Planning Based on Deep Reinforcement Learning Algorithm

  • Dec 01, 2021
  • Journal of Physics: Conference Series
  • Yanwei Zhao +2
  • Research Article

Autonomous Driving Control Strategy Based on Deep Reinforcement Learning

  • Jan 13, 2025
  • Applied and Computational Engineering
  • Liangjun Yang
  • Research Article
  • Citations4

Leveraging deep reinforcement learning for design space exploration with multi-fidelity surrogate model

  • Jun 25, 2024
  • Journal of Engineering Design
  • Haokun Li +5
  • Research Article
  • Citations54

Energy efficient task scheduling based on deep reinforcement learning in cloud environment: A specialized review

  • Oct 14, 2023
  • Future Generation Computer Systems
  • Huanhuan Hou +2
  • Research Article
  • Citations1

Deep Reinforcement Learning for irrigation optimization: Advantages, opportunities, and challenges

  • Dec 01, 2025
  • Agricultural Water Management
  • Jiamei Liu +8
  • Research Article
  • Citations57

A new ensemble deep graph reinforcement learning network for spatio-temporal traffic volume forecasting in a freeway network

  • Jan 29, 2022
  • Digital Signal Processing
  • Pan Shang +5
  • Research Article
  • Citations1

Broad Critic Deep Actor Reinforcement Learning for Continuous Control.

  • Sep 01, 2025
  • IEEE transactions on neural networks and learning systems
  • Shiron Thalagala +3
  • Research Article
  • Citations31

Deep Reinforcement Learning for Online Resource Allocation in IoT Networks: Technology, Development, and Future Challenges

  • Jun 01, 2023
  • IEEE Communications Magazine
  • Peng Cheng +5
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.