Original title: Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
Translated title: Analysis of the Impact of Problem Solving Strategies using UPPAAL STRATEGO
Authors: Karásek, Filip ; Žádník, Martin (referee) ; Strnadel, Josef (advisor)
Document type: Bachelor's theses
Year: 2024
Language: cze
Publisher: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstract: [cze] [eng]

Keywords: modeling; problem-solving using Uppaal Stratego; simulation; strategies creation; strategy analysis; strategy impact assessment; timed automata; Uppaal; Uppaal SMC; Uppaal Stratego; analýza strategií; dopad strategií; modelování; simulace; Uppaal; Uppaal SMC; Uppaal Stratego; vytváření strategií; časované automaty; řešení problémů pomocí Uppaal Stratego

Institution: Brno University of Technology (web)
Document availability information: Fulltext is available in the Brno University of Technology Digital Library.
Original record: https://hdl.handle.net/11012/247826

Permalink: http://www.nusl.cz/ntk/nusl-619327


The record appears in these collections:
Universities and colleges > Public universities > Brno University of Technology
Academic theses (ETDs) > Bachelor's theses
 Record created 2024-06-22, last modified 2024-06-22


No fulltext
  • Export as DC, NUŠL, RIS
  • Share