Safety in learned controllers

Safety constraints for learned controllers with known dynamics.