Signal temporal logic-based neural network for driving task generation in Advanced Driver Assistance Systems | Synapse