TY  - RPRT
TI  - A Program Logic for Under-approximating Worst-case Resource Usage
AU  - Ziyue Jin
AU  - Di Wang
PY  - 2026
UR  - https://arxiv.org/abs/2502.11091
ID  - 2502.11091
ER  -