3 papers
cs.LG2026
Flowcean - Model Learning for Cyber-Physical Systems
Maximilian Schmidt, Swantje Plambeck, Markus Knitt +4
Effective models of Cyber-Physical Systems (CPS) are crucial for their design and operation. Constructing such models is difficult and time-consuming due to the inherent complexity…
cs.AI2025
Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
Swantje Plambeck, Ali Salamati, Eyke Huellermeier +1
Cyber-Physical Systems (CPS) are complex systems that require powerful models for tasks like verification, diagnosis, or debugging. Often, suitable models are not available and man…
cs.FL2021
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…