Learning Agile Quadrotor Flight in Restricted Environments with Safety Guarantees | IEEE Journals & Magazine | IEEE Xplore