Continuous Motion Planning with Temporal Logic Specifications using Deep Neural Networks