Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic

Alex Beaudin, Hanna Krasowski, Eric Palanques-Tost +2

Signal Temporal Logic (STL) is increasingly used to describe interpretable objectives and constraints for optimal control and learning methods, especially when no target time serie…