Sökning: "Automaton learning algorithms"

Hittade 3 uppsatser innehållade orden Automaton learning algorithms.

  1. 1. Automatically Learning Register Automata from MATLAB Code : A case study in autonomous driving

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Marco Dei Rossi; [2021]
    Nyckelord :Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

    Sammanfattning : The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. LÄS MER

  3. 2. Implementing and Evaluating Automaton Learning Algorithms for a Software Testing Platform

    Master-uppsats, Högskolan i Halmstad/Akademin för informationsteknologi

    Författare :Mohsen Khosravi Bakhtiari; [2015]
    Nyckelord :Automaton learning algorithms; software testing; machine learning; computational learning; DFA; الگوریتم های یادگیری . تست نرم افزار . یادگیری ماشینی;

    Sammanfattning : The Software Reliability group at KTH-CSC has designed and built a novel test platform LBTest for black-box requirements testing of reactive and embedded software systems (e.g. web servers, automobile control units, etc). LÄS MER

  4. 3. Automated software testing : Evaluation of Angluin's L* algorithm and applications in practice

    Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Maximilian Czerny; [2014]
    Nyckelord :;

    Sammanfattning : Learning-based testing can ensure software quality without a formal documentation or maintained specification of the system under test. Therefore, an automaton learning algorithm is the key component to automatically generate e�?cient test cases for black-box systems. LÄS MER