@misc{indiciae933d23f8ee03,
  title = {Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic},
  author = {Alex Beaudin and Hanna Krasowski and Eric Palanques-Tost and Calin Belta and Murat Arcak},
  year = {2026},
  url = {https://arxiv.org/abs/2607.08899},
  note = {Source identifier: 2607.08899}
}