TY  - RPRT
TI  - Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement
AU  - Jingyi Wang
AU  - Jun Sun
AU  - Shengchao Qin
AU  - Cyrille Jegourel
PY  - 2018
DO  - 10.1109/tse.2018.2886898
UR  - https://arxiv.org/abs/1610.06371
ID  - 1610.06371
ER  -