  Cyber Physical Systems (CPSs) are often black box systems for which no exact
model exists. Automata learning allows to build abstract models of CPSs and is
used in several scenarios, i.e. simulation, monitoring, and test case
generation. Real time localization systems (RTLSs) are an example of
particularly complex and often safety critical CPSs. We present a procedure for
automatic test case generation with automata learning and apply this approach
in a case study to a localization system.
