@article{completeagentdrivenmodelbasedsystem, title = {Complete Agent-driven Model-based System Testing for Autonomous Systems}, author = {Kerstin I. Eder and Wen-ling Huang and Jan Peleska}, year = {2021}, eprint = {2110.12586}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2110.12586v1}, }