PRISM-games 2.0: a tool for multi-objective strategy synthesis for stochastic games
We present a new release of PRISM-games, a tool for veri- fication and strategy synthesis for stochastic games. PRISM-games 2.0 significantly extends its functionality by supporting, for the first time: (i) long-run average (mean-payoff) and ratio reward objectives, e.g., to express energy consumpti...
| Автори: | , , |
|---|---|
| Формат: | Conference item |
| Опубліковано: |
Springer
2016
|