Verified Compositions of Neural Network Controllers for Temporal Logic Control Objectives