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