Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning | IEEE Conference Publication | IEEE Xplore