@misc{indiciaefdde9f794f0c,
  title = {Optimization under uncertainty: understanding orders and testing programs with specifications},
  author = {Patrik Jansson and Nicola Botta and Tim Richter},
  year = {2026},
  url = {https://arxiv.org/abs/2503.18561},
  note = {Source identifier: 2503.18561}
}