TY  - RPRT
TI  - A Unifying Approach to Product Constructions for Quantitative Temporal Inference
AU  - Kazuki Watanabe
AU  - Sebastian Junges
AU  - Jurriaan Rot
AU  - Ichiro Hasuo
PY  - 2025
UR  - https://arxiv.org/abs/2407.10465
ID  - 2407.10465
ER  -