Advanced search

Showing result 1 - 5 of 20 essays matching the above criteria.

  1. 1. 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

  3. 2. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING

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

    Author : Blerta Vuthaj; [2023]
    Keywords : ;

    Abstract : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. READ MORE

  4. 3. Reasoning about Moving Target Defense in Attack Modeling Formalisms

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

    Author : Gabriel Ballot; [2022]
    Keywords : Timed Model checking; Cyber Security; Threat Modeling; Moving Target Defense; Tidsinställd modellkontroll; Cybersäkerhet; Hotmodellering; Moving Target Defense;

    Abstract : Since 2009, Moving Target Defense (MTD) has become a new paradigm of defensive mechanism that frequently changes the state of the target system to confuse the attacker. This frequent change is costly and leads to a trade-off between misleading the attacker and disrupting the quality of service. READ MORE

  5. 4. A Modeling Language for Timed Automata

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

    Author : Ernst Widerberg; [2021]
    Keywords : ;

    Abstract : This work details the design and implementation of a modeling language for timed automata. The primary intended use of the language TML is as an interface to controller synthesis system m2mc, which is being developed in a current KTH/Chalmers research project. READ MORE

  6. 5. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

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

    Author : Vasja Çollaku; Paolo Shestani; [2019]
    Keywords : UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

    Abstract : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. READ MORE