TY  - RPRT
TI  - Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
AU  - Marcelo Forets
AU  - Daniel Freire
AU  - Christian Schilling
PY  - 2022
DO  - 10.1109/memocode51338.2020.9314994
UR  - https://arxiv.org/abs/2006.12325
ID  - 2006.12325
ER  -