@misc{indiciae01d5bf15ba36,
  title = {A Program Logic for Under-approximating Worst-case Resource Usage},
  author = {Ziyue Jin and Di Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2502.11091},
  note = {Source identifier: 2502.11091}
}