Essays about: "Automata learning"

Showing result 1 - 5 of 12 essays containing the words Automata learning.

1. 1. Cellular Automata as Synthetic Training Data : Exploring behavioural patterns of neural networks

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Onur Yüksel; [2023]
   Keywords : ;

   Abstract : On the highest heights of the third AI spring where the interest in AI research and industrial applications is booming, it’s worth taking a step back to reexplore the basics. With the spirit of data-centric-ai, we discuss the use of Cellular Automata as a resource for synthetic training data and explore how properties of CA rules relate to learning. READ MORE

3. 2. Model Checked Reinforcement Learning For Multi-Agent Planning

   University essay from Mälardalens universitet/Akademin för innovation, design och teknik

   Author : Erik Wetterholm; [2023]
   Keywords : MALTA; UPPAAL; UPPAAL STRATEGO; TImed Games; Q-Learning; Timed Automata; Timed Games;

   Abstract : Autonomous systems, or agents as they sometimes are called can be anything from drones, self-driving cars, or autonomous construction equipment. The systems are often given tasks of accomplishing missions in a group or more. This may require that they can work within the same area without colliding or disturbing other agents' tasks. READ MORE

4. 3. 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

5. 4. Implementing and Evaluating Automaton Learning Algorithms for a Software Testing Platform

   University essay from Högskolan i Halmstad/Akademin för informationsteknologi

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

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

6. 5. Automated regression test of a communication stack

   University essay from KTH/Maskinkonstruktion (Inst.)

   Author : Marthina Jönsson; [2015]
   Keywords : ;

   Abstract : This thesis investigates possible solutions for testing a communication stack. The communication stack is a part of a communication module at Scania CV AB which is called SCOMM. This module handles diagnostic communication over CAN and shall conform to CAN-related ISO standards. READ MORE