1. O. Bastani , J. P. Inala , and A. Solar-Lezama . " Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis." In: xxAI - Beyond Explainable AI: International Workshop , Held in Conjunction with ICML 2020 , July 18, 2020 , Vienna, Austria, Revised and Extended Papers. Ed. by A. Holzinger, R. Goebel, R. Fong, T. Moon, K.-R. Müller, and W. Samek. Lecture Notes in Computer Science. Springer , 2022, pp. 207 -- 228 . doi: 10.j5zn. O. Bastani, J. P. Inala, and A. Solar-Lezama. "Interpretable, Verifiable, and Robust Reinforcement Learning via Program Synthesis." In: xxAI - Beyond Explainable AI: International Workshop, Held in Conjunction with ICML 2020, July 18, 2020, Vienna, Austria, Revised and Extended Papers. Ed. by A. Holzinger, R. Goebel, R. Fong, T. Moon, K.-R. Müller, and W. Samek. Lecture Notes in Computer Science. Springer, 2022, pp. 207--228. doi: 10.j5zn.
2. Systematic Literature Review: XAI and Clinical Decision Support;Connolly T. M.;IGI Global,2023