• Home
  • Search
  • Verifiable and Interpretable Reinforcement Learning through Program Synthesis
  • Cite Icon9
  • https://doi.org/10.1609/aaai.v33i01.33019902Copy DOI Icon

Verifiable and Interpretable Reinforcement Learning through Program Synthesis

  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

We study the problem of generating interpretable and verifiable policies for Reinforcement Learning (RL). Unlike the popular Deep Reinforcement Learning (DRL) paradigm, in which the policy is represented by a neural network, the aim of this work is to find policies that can be represented in highlevel programming languages. Such programmatic policies have several benefits, including being more easily interpreted than neural networks, and being amenable to verification by scalable symbolic methods. The generation methods for programmatic policies also provide a mechanism for systematically using domain knowledge for guiding the policy search. The interpretability and verifiability of these policies provides the opportunity to deploy RL based solutions in safety critical environments. This thesis draws on, and extends, work from both the machine learning and formal methods communities.

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
  • 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
  • Conference Article
  • Citations19

Explaining Online Reinforcement Learning Decisions of Self-Adaptive Systems

  • Sep 01, 2022
  • Felix Feit +2
  • Book Chapter
  • Citations4

Nitty-Gritty of Deep Reinforcement Learning for the Healthcare Sector

  • Oct 18, 2023
  • Vaishnavi Kumari +5
  • 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
  • Conference Article
  • Citations1

Semifactual Explanations for Reinforcement Learning

  • Nov 24, 2024
  • Jasmina Gajcin +2
  • PDF
  • Research Article
  • Citations4

Feasibility Analysis and Application of Reinforcement Learning Algorithm Based on Dynamic Parameter Adjustment

  • Sep 22, 2020
  • Algorithms
  • Menglin Li +3
  • 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
  • Citations5

Deep imitation reinforcement learning with expert demonstration data

  • Oct 31, 2018
  • The Journal of Engineering
  • Menglong Yi +3
  • Book Chapter

TUTORIAL ON ARTIFICIAL NEURAL NETWORK

  • Dec 01, 2023
  • Loc Nguyen
  • Research Article
  • Citations38

Deep reinforcement learning for conservation decisions

  • Sep 14, 2022
  • Methods in Ecology and Evolution
  • Marcus Lapeyrolerie +3
  • Research Article
  • Citations2

Review of Smart Microgrid Platform Integrating AI and Deep Reinforcement Learning for Sustainable Energy Management

  • Jan 01, 2025
  • International Journal of Future Engineering Innovations
  • Chijioke Paul Agupugo +4
  • Research Article
  • Citations41

Machine Learning and Marketing: A Systematic Literature Review

  • Jan 01, 2022
  • IEEE Access
  • Vannessa Duarte +2
  • 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
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.