PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. (Q59612511)
Jump to navigation
Jump to search
scientific article published on 29 November 2017
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives. |
scientific article published on 29 November 2017 |
Statements
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives (English)
Marta Kwiatkowska
David Parker
Clemens Wiltsche
29 November 2017
1 reference
Identifiers
1 reference
28 January 2021