共 50 条
- [1] GAMES OF STOCHASTIC AUTOMATA IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1974, SMC4 (01): : 131 - 135
- [2] GAMES OF STOCHASTIC AUTOMATA DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1979, (08): : 663 - 667
- [6] Stochastic Games for Verification of Probabilistic Timed Automata FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 212 - 227
- [9] Cost vs. Time in Stochastic Games and Markov Automata DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015, 2015, 9409 : 19 - 34
- [10] Modal Stochastic Games Abstraction-Refinement of Probabilistic Automata MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, 2017, 10460 : 426 - 445