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

Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama

Browse the full ICML paper archive.