Small test suites for active automata learning
A bottleneck in modern active automata learning is to test whether a hypothesized Mealy
machine correctly describes the system under learning. The search space for possible …
machine correctly describes the system under learning. The search space for possible …
[PDF][PDF] Logs and Models in Engineering Complex Embedded Production Software Systems
N Yang - 2023 - research.tue.nl
Embedded systems are an essential part of production and manufacturing, providing a strict
control and automation of the processes to ensure the quality of final products. One can find …
control and automation of the processes to ensure the quality of final products. One can find …
[PDF][PDF] Tackling the Far Output Distinction Problem
T Woldu, F Vaandrager, J Rot - 2023 - cs.ru.nl
Active automata learning is a technique used to learn models using membership/
equivalence queries. Active learning consists of two phases, namely the exploration phase …
equivalence queries. Active learning consists of two phases, namely the exploration phase …