Přednáška pro odbornou veřejnost v rámci habilitačního řízení RNDr. Tomáše Brázdila, Ph.D.
V úterý 26. 3. 2013 od 14 hod v posluchárně D2 proběhne přednáška pro odbornou
veřejnost v rámci habilitačního řízení RNDr. Tomáše Brázdila, Ph.D.
Název: Analýza her s čítači
Abstrakt: Hry s čítači jsou přirozeným modelem kontrolovatelných systémů, které
operují s různými zdroji (např. palivo nebo energie baterií) v antagonistickém
prostředí. Cílem formální analýzy takového systému je syntéza kontrolního
mechanismu, který zajistí, že zdroje nebudou vyčerpány a systém bude mít
očekávanou funkcionalitu. Hra s čítači vyjadřuje zdroje pomocí sady
celočíselných nezáporných čítačů. Kontrolní mechanismus a prostředí systému
odpovídají dvěma antagonistickým hráčům, kteří opakovanými volbami přechodů mění
hodnoty čítačů a vnitřní stav systému. Formálně jsou hry s čítači speciálním
případem tahových her dvou hráčů na orientovaných grafech s nekonečně mnoha
vrcholy. V přednášce budou popsány základní vlastnosti těchto her společně s
analýzou složitosti jejich řešení. Dále budou představeny speciální podtřídy
her, které zachovávají důležité vlastnosti z hlediska modelování systémů a
zároveň umožňují efektivní analýzu.
Všichni zájemci jsou zváni.