TY  - RPRT
TI  - Reasoning About Bounds in Weighted Transition Systems
AU  - Mikkel Hansen
AU  - Kim Guldstrand Larsen
AU  - Radu Mardare
AU  - Mathias Ruggaard Pedersen
PY  - 2018
DO  - 10.23638/lmcs-14(4:19)2018
UR  - https://arxiv.org/abs/1703.03346
ID  - 1703.03346
ER  -