We present Multiple Scenario Verifiable Reinforcement Learning via Policy Extraction
(MSVIPER), a new method for policy distillation to decision trees for improved robot …