Sökning: "UPPAAL STRATEGO"

Hittade 2 uppsatser innehållade orden UPPAAL STRATEGO.

  1. 1. Model Checked Reinforcement Learning For Multi-Agent Planning

    Kandidat-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Erik Wetterholm; [2023]
    Nyckelord :MALTA; UPPAAL; UPPAAL STRATEGO; TImed Games; Q-Learning; Timed Automata; Timed Games;

    Sammanfattning : 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. LÄS MER

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

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

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

    Sammanfattning : 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. LÄS MER