Code for RRL (https://sites.google.com/view/abstractions4rl) - View it on GitHub