Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1805.08328
Cited By
Verifiable Reinforcement Learning via Policy Extraction
22 May 2018
Osbert Bastani
Yewen Pu
Armando Solar-Lezama
OffRL
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Verifiable Reinforcement Learning via Policy Extraction"
50 / 167 papers shown
Title
InnateCoder: Learning Programmatic Options with Foundation Models
Rubens O. Moraes
Quazi Asif Sadmine
Hendrik Baier
Levi H. S. Lelis
OffRL
9
0
0
18 May 2025
Towards Cognitive Collaborative Robots: Semantic-Level Integration and Explainable Control for Human-Centric Cooperation
Jaehong Oh
17
0
0
02 May 2025
Model-Agnostic Policy Explanations with Large Language Models
Zhang Xi-Jia
Yue (Sophie) Guo
Shufei Chen
Simon Stepputtis
Matthew C. Gombolay
Katia Sycara
Joseph Campbell
LM&Ro
LRM
59
0
0
08 Apr 2025
Rule-Guided Reinforcement Learning Policy Evaluation and Improvement
Martin Tappler
Ignacio D. Lopez-Miguel
Sebastian Tschiatschek
Ezio Bartocci
66
0
0
13 Mar 2025
SySLLM: Generating Synthesized Policy Summaries for Reinforcement Learning Agents Using Large Language Models
Sahar Admoni
Omer Ben-Porat
Ofra Amir
LLMAG
54
0
0
13 Mar 2025
Policy-to-Language: Train LLMs to Explain Decisions with Flow-Matching Generated Rewards
Xinyi Yang
Liang Zeng
Heng Dong
Chao Yu
X. Wu
H. Yang
Yu Wang
Milind Tambe
Tonghan Wang
83
2
0
18 Feb 2025
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search
Emir Demirović
Christian Schilling
Anna Lukina
47
0
0
08 Jan 2025
Explainable Reinforcement Learning for Formula One Race Strategy
Devin Thomas
Junqi Jiang
Avinash Kori
Aaron Russo
Steffen Winkler
Stuart Sale
Joseph McMillan
Francesco Belardinelli
Antonio Rago
LRM
35
0
0
07 Jan 2025
SMOSE: Sparse Mixture of Shallow Experts for Interpretable Reinforcement Learning in Continuous Control Tasks
Mátyás Vincze
Laura Ferrarotti
Leonardo Lucio Custode
Bruno Lepri
Giovanni Iacca
MoE
OffRL
81
1
0
17 Dec 2024
SkillTree: Explainable Skill-Based Deep Reinforcement Learning for Long-Horizon Control Tasks
Yongyan Wen
Siyuan Li
Rongchang Zuo
Lei Yuan
Hangyu Mao
P. Liu
69
0
0
19 Nov 2024
Reinforcement Learning Gradients as Vitamin for Online Finetuning Decision Transformers
Kai Yan
Alex Schwing
Yu-xiong Wang
OffRL
OnRL
41
0
0
31 Oct 2024
RGMDT: Return-Gap-Minimizing Decision Tree Extraction in Non-Euclidean Metric Space
Jingdi Chen
Hanhan Zhou
Yongsheng Mei
Carlee Joe-Wong
Gina Adam
Nathaniel D. Bastian
Tian-Shing Lan
OffRL
30
0
0
21 Oct 2024
Interpretable end-to-end Neurosymbolic Reinforcement Learning agents
Nils Grandien
Quentin Delfosse
Kristian Kersting
OffRL
29
2
0
18 Oct 2024
Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces
Tales H. Carvalho
Kenneth Tjhia
Levi H. S. Lelis
42
7
0
16 Oct 2024
TL-PCA: Transfer Learning of Principal Component Analysis
Sharon Hendy
Yehuda Dar
166
1
0
14 Oct 2024
Optimizing Interpretable Decision Tree Policies for Reinforcement Learning
D. Vos
Sicco Verwer
OffRL
34
2
0
21 Aug 2024
Vanilla Gradient Descent for Oblique Decision Trees
Subrat Prasad Panda
B. Genest
Arvind Easwaran
Ponnuthurai Nagaratnam Suganthan
OffRL
29
1
0
17 Aug 2024
KnowPC: Knowledge-Driven Programmatic Reinforcement Learning for Zero-shot Coordination
Yin Gu
Qi Liu
Zhi Li
Kai Zhang
36
0
0
08 Aug 2024
Unveiling the Decision-Making Process in Reinforcement Learning with Genetic Programming
Manuel Eberhardinger
Florian Rupp
Johannes Maucher
S. Maghsudi
38
0
0
20 Jul 2024
Gradient Boosting Reinforcement Learning
Benjamin Fuhrer
Chen Tessler
Gal Dalal
OffRL
AI4CE
52
3
0
11 Jul 2024
Inductive Generalization in Reinforcement Learning from Specifications
Vignesh Subramanian
Rohit Kushwah
Subhajit Roy
Suguman Bansal
OffRL
41
0
0
05 Jun 2024
Synthesizing Programmatic Reinforcement Learning Policies with Large Language Model Guided Search
Max Liu
Chan-Hung Yu
Wei-Hsu Lee
Cheng-Wei Hung
Yen-Chun Chen
Shao-Hua Sun
55
4
0
26 May 2024
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
Ramya Ramalingam
Sangdon Park
Osbert Bastani
36
1
0
24 May 2024
Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search
Nicola Dainese
Matteo Merler
Minttu Alakuijala
Pekka Marttinen
LLMAG
44
9
0
24 May 2024
Interpretable and Editable Programmatic Tree Policies for Reinforcement Learning
Hector Kohler
Quentin Delfosse
R. Akrour
Kristian Kersting
Philippe Preux
62
14
0
23 May 2024
Dynamic Model Predictive Shielding for Provably Safe Reinforcement Learning
Arko Banerjee
Kia Rahmani
Joydeep Biswas
Işıl Dillig
49
2
0
22 May 2024
Searching for Programmatic Policies in Semantic Spaces
Rubens O. Moraes
Levi H. S. Lelis
40
4
0
08 May 2024
Towards a Research Community in Interpretable Reinforcement Learning: the InterpPol Workshop
Hector Kohler
Quentin Delfosse
Paul Festor
Philippe Preux
40
0
0
16 Apr 2024
Interpretable Modeling of Deep Reinforcement Learning Driven Scheduling
Boyang Li
Zhiling Lan
M. Papka
OffRL
23
0
0
24 Mar 2024
Distilling Reinforcement Learning Policies for Interpretable Robot Locomotion: Gradient Boosting Machines and Symbolic Regression
Fernando Acero
Zhibin Li
OffRL
38
1
0
21 Mar 2024
Go Beyond Black-box Policies: Rethinking the Design of Learning Agent for Interpretable and Verifiable HVAC Control
Zhiyu An
Xianzhong Ding
Wan Du
OffRL
AI4CE
38
8
0
29 Feb 2024
RL-GPT: Integrating Reinforcement Learning and Code-as-policy
Shaoteng Liu
Haoqi Yuan
Minda Hu
Yanwei Li
Yukang Chen
Shu Liu
Zongqing Lu
Jiaya Jia
LLMAG
48
16
0
29 Feb 2024
Reward Design for Justifiable Sequential Decision-Making
A. Sukovic
Goran Radanović
32
0
0
24 Feb 2024
XRL-Bench: A Benchmark for Evaluating and Comparing Explainable Reinforcement Learning Techniques
Yu Xiong
Zhipeng Hu
Ye Huang
Runze Wu
Kai Guan
...
Tianze Zhou
Yujing Hu
Haoyu Liu
Tangjie Lyu
Changjie Fan
OffRL
62
1
0
20 Feb 2024
BET: Explaining Deep Reinforcement Learning through The Error-Prone Decisions
Xiao Liu
Jie Zhao
Wubing Chen
Mao Tan
Yongxin Su
OffRL
FAtt
33
0
0
14 Jan 2024
Interpretable Concept Bottlenecks to Align Reinforcement Learning Agents
Quentin Delfosse
Sebastian Sztwiertnia
M. Rothermel
Wolfgang Stammer
Kristian Kersting
60
18
0
11 Jan 2024
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence
Justus Renkhoff
Ke-ke Feng
Marc Meier-Doernberg
Alvaro Velasquez
Houbing Herbert Song
34
8
0
06 Jan 2024
A Review of Communicating Robot Learning during Human-Robot Interaction
Soheil Habibian
Antonio Alvarez Valdivia
Laura H. Blumenschein
Dylan P. Losey
34
6
0
01 Dec 2023
Understanding Your Agent: Leveraging Large Language Models for Behavior Explanation
Xijia Zhang
Yue (Sophie) Guo
Simon Stepputtis
Katia Sycara
Joseph Campbell
LLMAG
LM&Ro
39
1
0
29 Nov 2023
RIDE: Real-time Intrusion Detection via Explainable Machine Learning Implemented in a Memristor Hardware Architecture
Jingdi Chen
Lei Zhang
Joseph Riem
Gina Adam
Nathaniel D. Bastian
Tian-Shing Lan
13
9
0
27 Nov 2023
Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines
Yu-An Lin
Chen-Tao Lee
Guanhui. Liu
Pu-Jen Cheng
Shao-Hua Sun
27
0
0
27 Nov 2023
Interpretable Reinforcement Learning for Robotics and Continuous Control
Rohan R. Paleja
Letian Chen
Yaru Niu
Andrew Silva
Zhaoxin Li
...
K. Chang
H. E. Tseng
Yan Wang
S. Nageshrao
Matthew C. Gombolay
39
7
0
16 Nov 2023
Assessing the Interpretability of Programmatic Policies with Large Language Models
Zahra Bashir
Michael Bowling
Levi H. S. Lelis
ELM
21
3
0
12 Nov 2023
Efficient Symbolic Policy Learning with Differentiable Symbolic Expression
Jiaming Guo
Rui Zhang
Shaohui Peng
Qi Yi
Xingui Hu
...
Zidong Du
Xishan Zhang
Ling Li
Qi Guo
Yunji Chen
OffRL
30
5
0
02 Nov 2023
Inverse Decision Modeling: Learning Interpretable Representations of Behavior
Daniel Jarrett
Alihan Huyuk
M. Schaar
AI4CE
22
27
0
28 Oct 2023
Learning a Hierarchical Planner from Humans in Multiple Generations
Leonardo Hernandez Cano
Yewen Pu
Robert D. Hawkins
Josh Tenenbaum
Armando Solar-Lezama
29
2
0
17 Oct 2023
Program Synthesis with Best-First Bottom-Up Search
Saqib Ameen
Levi H. S. Lelis
205
7
0
06 Oct 2023
Limits of Actor-Critic Algorithms for Decision Tree Policies Learning in IBMDPs
Hector Kohler
R. Akrour
Philippe Preux
OffRL
48
2
0
23 Sep 2023
Explaining Agent Behavior with Large Language Models
Xijia Zhang
Yue (Sophie) Guo
Simon Stepputtis
Katia Sycara
Joseph Campbell
LM&Ro
LLMAG
38
6
0
19 Sep 2023
Fidelity-Induced Interpretable Policy Extraction for Reinforcement Learning
Xiao Liu
Wubing Chen
Mao Tan
16
2
0
12 Sep 2023
1
2
3
4
Next