Active Model Learning of Stochastic Reactive Systems.

Martin Tappler, Edi Muskardin, Bernhard Aichernig, Ingo Pill

    Publikation: Konferenzband/Beitrag in Buch/BerichtKonferenzartikelBegutachtung

    Abstract

    Black-box systems are inherently hard to verify. Many verification techniques, like model checking, require formal models as a basis. However, such models often do not exist, or they might be outdated. Active automata learning helps to address this issue by offering to automatically infer formal models from system interactions.Hence, automata learning has been receiving much attention in the verification community in recent years. This led to various efficiency improvements, paving the way towards industrial applications. Most research, however, has been focusing on deterministic systems. Here, we present an approach to efficiently learn models of stochastic reactive systems. Our approach adapts $L^*$-based learning for Markov decision processes, which we improve and extend to stochastic Mealy machines. Our evaluation demonstrates that we can reduce learning costs by a factor of up to $8.7$ in comparison to previous work.
    OriginalspracheEnglisch
    TitelSoftware Engineering and Formal Methods
    UntertitelLecture Notes in Computer Science (LNCS), volume 13085
    Seiten481-500
    Seitenumfang20
    DOIs
    PublikationsstatusVeröffentlicht - 2021

    Fingerprint

    Untersuchen Sie die Forschungsthemen von „Active Model Learning of Stochastic Reactive Systems.“. Zusammen bilden sie einen einzigartigen Fingerprint.

    Dieses zitieren