Automata Learning for Automated Test Generation of Real Time Localization Systems

Swantje Plambeck, Jakob Schyga, Johannes Hinckeldeyn +2

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 scenario…