Essays about: "UPPAAL STRATEGO"

Found 2 essays containing the words UPPAAL STRATEGO.

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