TY  - RPRT
TI  - Automata Learning for Automated Test Generation of Real Time Localization Systems
AU  - Swantje Plambeck
AU  - Jakob Schyga
AU  - Johannes Hinckeldeyn
AU  - Jochen Kreutzfeldt
AU  - Görschwin Fey
PY  - 2021
UR  - https://arxiv.org/abs/2105.11911
ID  - 2105.11911
ER  -