Essays about: "Register automata"

Found 2 essays containing the words Register automata.

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

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Marco Dei Rossi; [2021]
    Keywords : Automata learning; SL*; Register automata; RALib; Lateral State Manager; Automata learning; SL*; Register automata; RALib; LSM; Automata learning; SL*; Register automata; RALib; LSM;

    Abstract : 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. READ MORE

  3. 2. Learning Cache Replacement Policies using Register Automata

    University essay from Institutionen för informationsteknologi

    Author : Guillem Rueda Cebollero; [2013]
    Keywords : ;

    Abstract : Processors are a basic unit of the computer which accomplish the mission of processing data stored in the memory. Large memories are required to process a big amount of data. Not all data is required at the same time, few data is required faster than other. READ MORE