TY  - RPRT
TI  - Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
AU  - Long Pham
AU  - Jan Hoffmann
PY  - 2024
DO  - 10.46298/lmcs-20(4:26)2024
UR  - https://arxiv.org/abs/2309.01261
ID  - 2309.01261
ER  -