Barrier-Certified Adaptive Reinforcement Learning With Applications to Brushbot Navigation | IEEE Journals & Magazine | IEEE Xplore