A formal methods approach to interpretable reinforcement learning for robotic planning

Article Tools

• Email

  Thank you for your interest in spreading the word about Science Robotics.

  NOTE: We only request your email address so that the person you are recommending the page to knows that you wanted them to see it, and that it is not junk mail. We do not capture any email address.

  Your Email

  Your Name

  Send To

  Enter multiple addresses on separate lines or separate them with commas.

  You are going to email the following A formal methods approach to interpretable reinforcement learning for robotic planning

  Message Subject (Your Name) has forwarded a page to you from Science Robotics

  Message Body (Your Name) thought you would like to see this page from the Science Robotics web site.

  Your Personal Message

  Send Message
• Download Powerpoint
• Print
• Alerts

  Please log in to add an alert for this article.

  Log In with your AAAS ID

  Sign In to Email Alerts with your Email Address

  Email

  Log in
• Citation tools

  A formal methods approach to interpretable reinforcement learning for robotic planning

  By Xiao Li, Zachary Serlin, Guang Yang, Calin Belta

  Science Robotics18 Dec 2019

  A formal methods approach to reinforcement learning generates rewards from a formal language and guarantees safety.

  • Supplementary Materials

  Citation Manager Formats

  • BibTeX
  • Bookends
  • EasyBib
  • EndNote (tagged)
  • EndNote 8 (xml)
  • Medlars
  • Mendeley
  • Papers
  • RefWorks Tagged
  • Ref Manager
  • RIS
  • Zotero
• Share

  A formal methods approach to interpretable reinforcement learning for robotic planning

  By Xiao Li, Zachary Serlin, Guang Yang, Calin Belta

  Science Robotics18 Dec 2019

  A formal methods approach to reinforcement learning generates rewards from a formal language and guarantees safety.

  • Supplementary Materials

  Share This Article: Copy