Publications
doi: 10.1007/978-3-030-92124-8_5 Kerstin I. Eder, Wen-ling Huang, and Jan Peleska. Complete agent-driven model-based system testing for autonomous systems. In Marie Farrell and Matt Luckcuck, editors, [...] testing of safety-critical systems. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, and Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November [...] Joaquim Filipe, editors, MODELSWARD 2015 - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, ESEO, Angers, Loire Valley, France, 9-11 February, 2015., pages