How To Discretize Continuous State-Action Spaces in Q-Learning: A Symbolic Control Approach | IEEE Conference Publication | IEEE Xplore