共 50 条
- [2] On Stochastic Games with Multiple Objectives MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2013, 2013, 8087 : 266 - 277
- [3] Stochastic Games with Disjunctions of Multiple Objectives ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (346): : 83 - 100
- [10] PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives International Journal on Software Tools for Technology Transfer, 2018, 20 : 195 - 210