Advisory Temporal Logic Inference and Controller Design for Semiautonomous Robots | IEEE Journals & Magazine | IEEE Xplore