Gist: A Solver for Probabilistic Games-Reference-Cited by-同舟云学术

Gist: A Solver for Probabilistic Games

Published:2010 Issue: Volume: Page:665-669
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Chatterjee Krishnendu,Henzinger Thomas A.,Jobstmann Barbara,Radhakrishna Arjun

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14295-6_57

Reference7 articles.

1. Chatterjee, K.: Stochastic ω-Regular Games. PhD thesis, UC Berkeley (2007)

2. Lecture Notes in Computer Science;K. Chatterjee,2008

3. Chatterjee, K., Henzinger, T.A., Jobstmann, B., Radhakrishna, A.: Gist: A solver for probabilistic games. CoRR, abs/1004.2367 (2010)

4. Chatterjee, K., Jurdziński, M., Henzinger, T.A.: Quantitative stochastic parity games. In: Ian Munro, J. (ed.) Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14. SIAM, Philadelphia (2004)

5. Gurevich, Y., Harrington, L.: Trees, automata, and games. In: STOC ’82: Proceedings of the fourteenth annual ACM symposium on Theory of computing, San Francisco, California, United States, pp. 60–65. ACM Press, New York (1982) ISBN: 0-89791-070-2, http://doi.acm.org/10.1145/800070.802177

Cited by 23 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Computing Adequately Permissive Assumptions for Synthesis;Tools and Algorithms for the Construction and Analysis of Systems;2023

2. Comparison of algorithms for simple stochastic games;Information and Computation;2022-11

3. Value iteration for simple stochastic games: Stopping criterion and learning algorithm;Information and Computation;2022-05

4. Optimistic and Topological Value Iteration for Simple Stochastic Games;Automated Technology for Verification and Analysis;2022

5. Symbolic Verification and Strategy Synthesis for Turn-Based Stochastic Games;Lecture Notes in Computer Science;2022