Název: Analýza dopadu strategií řešení problémů pomocí UPPAAL STRATEGO
Překlad názvu: Analysis of the Impact of Problem Solving Strategies using UPPAAL STRATEGO
Autoři: Karásek, Filip ; Žádník, Martin (oponent) ; Strnadel, Josef (vedoucí práce)
Typ dokumentu: Bakalářské práce
Rok: 2024
Jazyk: cze
Nakladatel: Vysoké učení technické v Brně. Fakulta informačních technologií
Abstrakt: [cze] [eng]

Klíčová slova: 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; modeling; problem-solving using Uppaal Stratego; simulation; strategies creation; strategy analysis; strategy impact assessment; timed automata; Uppaal; Uppaal SMC; Uppaal Stratego

Instituce: Vysoké učení technické v Brně (web)
Informace o dostupnosti dokumentu: Plný text je dostupný v Digitální knihovně VUT.
Původní záznam: https://hdl.handle.net/11012/247826

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-619327


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Vysoké učení technické v Brně
Vysokoškolské kvalifikační práce > Bakalářské práce
 Záznam vytvořen dne 2024-06-22, naposledy upraven 2024-06-22.


Není přiložen dokument
  • Exportovat ve formátu DC, NUŠL, RIS
  • Sdílet