TY  - RPRT
TI  - Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Guaranteed State Estimation
AU  - Mohammad Khajenejad
AU  - Sze Zheng Yong
PY  - 2024
DO  - 10.1109/tac.2023.3250515
UR  - https://arxiv.org/abs/2103.08638
ID  - 2103.08638
ER  -