Robotic Information Gathering With Reinforcement Learning Assisted by Domain Knowledge: An Application to Gas Source Localization | IEEE Journals & Magazine | IEEE Xplore