TY - RPRT TI - Testing and verification of neural-network-based safety-critical control software: A systematic literature review AU - Jin Zhang AU - Jingyue Li PY - 2020 DO - 10.1016/j.infsof.2020.106296 UR - https://arxiv.org/abs/1910.06715 ID - 1910.06715 ER -