Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis.

Osbert Bastani Jeevana Priya Inala Armando Solar-Lezama

Published in: xxAI@ICML (2020)

Keyphrases

program synthesis
reinforcement learning
function approximation
information retrieval
dynamic programming
markov decision processes
recursive programs
database
data mining
multi agent
natural language
sufficient conditions
machine learning algorithms
inductive logic programming