Ferreira, T; Henry, L; Da Silva, RF; Silva, A; (2023) Conflict-Aware Active Automata Learning. In: Achilleos, A and Della Monica, D, (eds.) Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification. (pp. pp. 150-167). ArXiv: Ithaca, NY, USA.

Preview

Text Conflict Aware Active Automata Learning.pdf - Published Version Download (301kB) | Preview

Abstract

Active automata learning algorithms cannot easily handle conflict in the observation data (different outputs observed for the same inputs). This inherent inability to recover after a conflict impairs their effective applicability in scenarios where noise is present or the system under learning is mutating. We propose the Conflict-Aware Active Automata Learning (C AL) framework to enable handling conflicting information during the learning process. The core idea is to consider the so-called observation tree as a first-class citizen in the learning process. Though this idea is explored in recent work, we take it to its full effect by enabling its use with any existing learner and minimizing the number of tests performed on the system under learning, specially in the face of conflicts. We evaluate C AL in a large set of benchmarks, covering over 30 different realistic targets, and over 18,000 different scenarios. The results of the evaluation show that C AL is a suitable alternative framework for closed-box learning that can better handle noise and mutations.

Download activity - last month

Export as CSVXMLJSON

Download activity - last 12 months

Export as CSVXMLJSON

Downloads by country - last 12 months

Export as XMLCSVJSON

Archive Staff Only

View Item