Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games-Reference-Cited by-同舟云学术

Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games

Published:2020 Issue: Volume: Page:349-371
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Phalakarn Kittiphon,Takisaka Toru,Haas Thomas,Hasuo Ichiro

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-53291-8_19

Reference26 articles.

1. Lecture Notes in Computer Science;D Andersson,2009

2. Ashok, P., Kretinsky, J., Weininger, M.: Approximating values of generalized-reachability stochastic games. CoRR abs/1908.05106 (2019). http://arxiv.org/abs/1908.05106

3. Lecture Notes in Computer Science;P Ashok,2019

4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)

5. Lecture Notes in Computer Science;T Brázdil,2014

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

1. Compositional Value Iteration with Pareto Caching;Lecture Notes in Computer Science;2024

2. Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

3. A Practitioner’s Guide to MDP Model Checking Algorithms;Tools and Algorithms for the Construction and Analysis of Systems;2023

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

5. Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games;Computer Aided Verification;2020