Osbert Bastani, Jeevana Priya Inala, Armando Solar-Lezama. Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis. In Andreas Holzinger, Randy Goebel, Ruth Fong, Taesup Moon, Klaus-Robert Müller, Wojciech Samek, editors, xxAI - Beyond Explainable AI - International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers. Volume 13200 of Lecture Notes in Computer Science, pages 207-228, Springer, 2020. [doi]
Abstract is missing.