TY  - RPRT
TI  - Hyper parametric timed CTL
AU  - Masaki Waga
AU  - Étienne André
PY  - 2024
UR  - https://arxiv.org/abs/2407.21321
ID  - 2407.21321
ER  -