Continuous Optimization-Based Task and Motion Planning with Signal Temporal Logic Specifications for Sequential Manipulation | IEEE Conference Publication | IEEE Xplore