Computing descent direction of MTL robustness for non-linear systems | IEEE Conference Publication | IEEE Xplore