Optimizing Parameters of Signal Temporal Logic Formulas with Local Search | IEEE Conference Publication | IEEE Xplore