TY  - RPRT
TI  - A Transition System Abstraction Framework for Neural Network Dynamical System Models
AU  - Yejiang Yang
AU  - Zihao Mo
AU  - Hoang-Dung Tran
AU  - Weiming Xiang
PY  - 2024
UR  - https://arxiv.org/abs/2402.11739
ID  - 2402.11739
ER  -