@misc{indiciae819380394b2d,
  title = {Complete Agent-driven Model-based System Testing for Autonomous Systems},
  author = {Kerstin I. Eder and Wen-ling Huang and Jan Peleska},
  year = {2021},
  doi = {10.4204/eptcs.348.4},
  url = {https://arxiv.org/abs/2110.12586},
  note = {Source identifier: 2110.12586}
}