Stochastic Real-Time Games with Qualitative Timed Automata Objectives

• Autoři: BRÁZDIL Tomáš; KRČÁL Jan; KŘETÍNSKÝ Jan; KUČERA Antonín; ŘEHÁK Vojtěch
• Rok publikování: 2010
• Druh: Článek ve sborníku
• Konference: CONCUR 2010 - Concurrency Theory
• Fakulta / Pracoviště MU: Fakulta informatiky
• Doi: http://dx.doi.org/10.1007/978-3-642-15375-4_15
• Obor: Informatika
• Klíčová slova: stochastic games; timed automata
• Popis: V článku se zkoumají hry nad stochastickými procesy s reálným časem, kde výherní kritérium je určeno časovým automatem. Je dokázáno, že pokud hráč Box má (nějakou) strategii, pomocí které dokáže zajistit svou výhru s pravděpodobností jedna proti libovolné strategii protihráče, pak má také výherní strategii, kterou lze konečně reprezentovat časovým automatem. Tento automat lze navíc algoritmicky sestrojit.

Související projekty

• Institut Teoretické Informatiky
• Vysoce paralelní a distribuované výpočetní systémy
• Nové možnosti automatické verifikace síťových protokolů
• Formální metody pro analýzu a verifikaci komplexních systémů
• Rozsáhlé výpočetní systémy: modely, aplikace a verifikace