PRISM-games: A model checker for stochastic multi-player games (2013)výskyt výsledku
| Identifikační kód | RIV/00216224:14330/13:00068069 |
|---|---|
| Název v anglickém jazyce | PRISM-games: A model checker for stochastic multi-player games |
| Druh | D - Článek ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | I - Informatika |
| Obor | IN - Informatika |
| Rok uplatnění | 2013 |
| 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) David 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 PRISM-games, a model checker for stochastic multi-player games, which supports modelling, automated verification and strategy synthesis for probabilistic systems with competitive or co-operative behaviour. Models are described in a probabilistic extension of the Reactive Modules language and properties are expressed using rPATL, which extends the well-known logic ATL with operators to reason about probabilities, various reward-based measures, quantitative properties and precise bounds. The tool is based on the probabilistic model checker PRISM, benefiting from its existing user interface and simulator, whilst adding novel model checking algorithms for stochastic games, as well as functionality to synthesise optimal player strategies, exploreor export them, and verify other properties under the specified strategy. |
| Klíčová slova oddělená středníkem | model-checker; stochastic games |
| Stránka www, na které se nachází výsledek | http://www.prismmodelchecker.org/papers/tacas13.pdf |
| DOI výsledku | 10.1007/978-3-642-36742-7_13 |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | TACAS 2013 |
|---|---|
| ISBN | 9783642367410 |
| ISSN | 0302-9743 |
| Počet stran výsledku | 7 |
| Strana od-do | 185-191 |
| Název nakladatele | Springer |
| Místo vydání | Berlin, Heidelberg |
| Místo konání akce | Rome |
| Datum konání akce | 2013 |
| 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 | 2014 |
| Specifikace | RIV/00216224:14330/13:00068069!RIV14-MSM-14330___ |
| Datum poslední aktualizace výsledku | 29.05.2014 |
| Kontrolní číslo | 56537074 |
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Projekt podporovaný MŠMT v programu LG | LG13010 - Zastoupení ČR v European Research Consortium for Informatics and Mathematics (2013 - 2015) |
|---|---|
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |