@misc{indiciae45f800d55547,
  title = {Model-Free Verification for Neural Network Controlled Systems},
  author = {Han Wang and Zuxun Xiong and Liqun Zhao and Antonis Papachristodoulou},
  year = {2024},
  url = {https://arxiv.org/abs/2312.08293},
  note = {Source identifier: 2312.08293}
}