Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis

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]

Authors

Osbert Bastani

This author has not been identified. Look up 'Osbert Bastani' in Google

Jeevana Priya Inala

This author has not been identified. Look up 'Jeevana Priya Inala' in Google

Armando Solar-Lezama

This author has not been identified. Look up 'Armando Solar-Lezama' in Google