TY  - RPRT
TI  - Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction
AU  - Zeyuan Jin
AU  - Mohammad Khajenejad
AU  - Sze Zheng Yong
PY  - 2020
UR  - https://arxiv.org/abs/2003.11662
ID  - 2003.11662
ER  -