Automatic Verification of Competitive Stochastic Systems (2012)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/12:00064717 |
|---|---|
| Název v anglickém jazyce | Automatic Verification of Competitive Stochastic Systems |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 1 |
| Počet tvůrců celkem | 5 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Taolue Chen (státní příslušnost: CN - Čínská lidová republika) Vojtěch Forejt (státní příslušnost: CZ - Česká republika, domácí tvůrce: A, vedidk: 2477912) Marta Kwiatkowska (státní příslušnost: PL - Polská republika) Dave Parker (státní příslušnost: GB - Spojené království Velké Británie a Severního Irska) Aistis Simaitis (státní příslušnost: LT - Litevská republika) |
| Popis výsledku v anglickém jazyce | We present automatic verification techniques for the modelling and analysis of probabilistic systems that incorporate competitive behaviour. These systems are modelled as turn-based stochastic multi-player games, in which the players can either collaborate or compete in order to achieve a particular goal. We define a temporal logic called rPATL for expressing quantitative properties of stochastic multi-player games. This logic allows us to reason about the collective ability of a set of players to achieve a goal relating to the probability of an event's occurrence or the expected amount of cost/reward accumulated. We give a model checking algorithm for verifying properties expressed in this logic and implement the techniques in a probabilistic model checker, based on the PRISM tool. |
| Klíčová slova oddělená středníkem | stochastic games; branching time logics; multi-agent systems |
| Stránka www, na které se nachází výsledek | http://www.prismmodelchecker.org/papers/tacas12.pdf |
| DOI výsledku | 10.1007/978-3-642-28756-5_22 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference |
|---|---|
| ISBN | 9783642287558 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 15 |
| Strana od-do | 315-330 |
| Název nakladatele | Springer |
| Místo vydání | Berlin, Heidelberg |
| Místo konání akce | Tallinn |
| Datum konání akce | 2012 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
Ostatní informace o výsledku
| Předkladatel | Masarykova univerzita / Fakulta informatiky |
|---|---|
| Dodavatel | MSM - Ministerstvo školství, mládeže a tělovýchovy (MŠMT) |
| Rok sběru | 2013 |
| Specifikace | RIV/00216224:14330/12:00064717!RIV13-MSM-14330___ |
| Datum poslední aktualizace výsledku | 09.08.2013 |
| Kontrolní číslo | 43451625 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LA | LA09016 - Účast ČR v European Research Consortium for Informatics and Mathematics (ERCIM) (2009 - 2012) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |