@misc{indiciae22aaa731d605,
  title = {Ro-To-Go! Robust Reactive Control with Signal Temporal Logic},
  author = {Roland Ilyes and Lara Brudermüller and Nick Hawes and Bruno Lacerda},
  year = {2026},
  url = {https://arxiv.org/abs/2503.05792},
  note = {Source identifier: 2503.05792}
}