@misc{indiciae4359b4579533,
  title = {Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics},
  author = {Long Pham and Jan Hoffmann},
  year = {2024},
  doi = {10.46298/lmcs-20(4:26)2024},
  url = {https://arxiv.org/abs/2309.01261},
  note = {Source identifier: 2309.01261}
}