Assured Learning-Based Optimal Control subject to Timed Temporal Logic Constraints | IEEE Conference Publication | IEEE Xplore