PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-017-0476-z Full text (OA) OpenAlex

Authors 0

Author list not loaded yet.

Cited by 8 stored of 45

Stochastic games with lexicographic objectives
2023 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

5

citations
Stochastic Games with Disjunctions of Multiple Objectives
2021 Electronic Proceedings in Theoretical Computer Science article Computer Science Formal Methods in Verification Open access

2

citations
Stochastic Games with Disjunctions of Multiple Objectives (Technical Report)
2021 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

1

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 other Computer Science Formal Methods in Verification Open access

1

citations
Multi-objective Optimization of Long-run Average and Total Rewards
2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

13

citations
Approximating Values of Generalized-Reachability Stochastic Games
2020 Proceedings - Symposium on Logic in Computer Science conference-paper Computer Science Formal Methods in Verification Open access

10

citations
Approximating Values of Generalized-Reachability Stochastic Games
2020 RWTH Publications (RWTH Aachen) conference-paper Computer Science Formal Methods in Verification Open access

14

citations
Stochastic Games with Lexicographic Reachability-Safety Objectives
2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

20

citations

8 results

PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives

Authors 0

Cited by 8 stored of 45

References 0