Reinforcement Learning for Non-Deterministic Transition Systems With an Application to Symbolic Control | IEEE Journals & Magazine | IEEE Xplore