A formal methods approach to interpretable reinforcement learning for robotic planning
{{output}}
Growing interest in reinforcement learning approaches to robotic planning and control raises concerns of predictability and safety of robot behaviors realized solely through learned control policies. In addition, formally defining reward functions for complex ... ...
