Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Automata Learning"”.
-
Learning Mealy machines with local timers
… are not available for many applications. Active automata learning could close this gap, as it enables the automated inference of automaton models through interactions with a black-box system. Yet existing active learning methods for real-time systems often struggle to learn models in reasonable …
-
Data-Driven Pipeline for Learning Discrete behavioural Models of Cyber-Physical Systems
… discrete-event behavioural models called automata, while minimizing the need for ground truth about the data or the system that generated the logs. The pipeline consists of two recurring steps. In the discretization stage, high-dimensional time series data are converted into event traces …