A Formal Framework to Characterize Interpretability of Procedures
Reinforcement Learning: An Introduction