Sampling-based Approximate Optimal Control Under Temporal Logic Constraints (Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control)