TY  - RPRT
TI  - Reachability for Multi-Priced Timed Automata with Positive and Negative Rates
AU  - Andrew Scoones
AU  - Mahsa Shirmohammadi
AU  - James Worrell
PY  - 2024
UR  - https://arxiv.org/abs/2407.18131
ID  - 2407.18131
ER  -