Backpropagation for Parametric STL | IEEE Conference Publication | IEEE Xplore