Metric Interval Temporal Logic based Reinforcement Learning with Runtime Monitoring and Self-Correction | IEEE Conference Publication | IEEE Xplore