TY  - RPRT
TI  - Testing Autonomous Systems with Believed Equivalence Refinement
AU  - Chih-Hong Cheng
AU  - Rongjie Yan
PY  - 2021
UR  - https://arxiv.org/abs/2103.04578
ID  - 2103.04578
ER  -