Oct, 2023

冲突感知主动自动机学习

TL;DRConflicts in observation data pose a challenge for active automata learning algorithms, but the Conflict-Aware Active Automata Learning (C3AL) framework addresses this by considering the observation tree as a first-class citizen during the learning process, enabling better handling of noise and mutations.