Safety in learned controllers

Safety constraints for learned controllers with known dynamics.
Check all of our work