Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach | IEEE Journals & Magazine | IEEE Xplore