Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T13:44:40.858310Z
Paper Citation Record · LEDGER
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games
As of 8 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2505.21087.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
49 of 49 outbound references displayed
- verified exact0
- verified fuzzy41
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation c8483246-fe77-4e9f-8e5b-dc67218ef9af · outbound
This paper cites Value Iteration for Long-Run Average Reward in Markov Decision Processes.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Value Iteration for Long-Run Average Reward in Markov Decision Processes
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:50.231048Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d114cf6b-a086-420c-b546-a5e8ead2fddc · outbound
This paper cites MIT Press, April 2008.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games MIT Press, April 2008
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:50.091007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e871c4ee-75f6-411a-a748-254517c97ca7 · outbound
This paper cites Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:49.950641Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 28e450a5-02e8-452a-b353-9cb5da9e8c8f · outbound
This paper cites Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:49.804104Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f4882047-fafe-44e5-b34d-17cd0f719b34 · outbound
This paper cites Verification of Markov decision processes using learning algorithms.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Verification of Markov decision processes using learning algorithms
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:49.636195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c0e8b604-bfa0-4cea-bbd1-e6314ec22f38 · outbound
This paper cites Verification of Markov Decision Processes Using Learning Algorithms.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Verification of Markov Decision Processes Using Learning Algorithms
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:49.342670Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d40b625b-17e2-461c-90b3-081ffa7b2bec · outbound
This paper cites Termination criteria for solving concurrent safety and reachability games.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Termination criteria for solving concurrent safety and reachability games
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:49.013279Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 676485c5-3ddd-4e7e-8349-7799182e7218 · outbound
This paper cites Henzinger.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Henzinger
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:48.658129Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ae155c20-2eed-44d1-922a-747fd8c55a12 · outbound
This paper cites Strategy Improvement for Concurrent Reachability and Safety Games.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Strategy Improvement for Concurrent Reachability and Safety Games
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T13:44:36.387414Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a6dd8f0e-7a39-4b4b-95fa-da6ac04a65d0 · outbound
This paper cites Strat- egy improvement for concurrent reachability and turn-based stochastic safety games.Journal of computer and system sciences, 79(5):640–657, 2013.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Strat- egy improvement for concurrent reachability and turn-based stochastic safety games.Journal of computer and system sciences, 79(5):640–657, 2013
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:48.405134Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f30df480-44de-475c-bc03-ea75e70adca6 · outbound
This paper cites Henzinger.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Henzinger
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:48.174173Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 94ecd0d9-52bf-4264-b3a4-f96e029c9e0b · outbound
This paper cites The complexity of probabilistic verification.Journal of the ACM, 42, July 1995.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games The complexity of probabilistic verification.Journal of the ACM, 42, July 1995
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:47.934195Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 7480ea7c-5e6d-44d4-b625-bc0c24aaa994 · outbound
This paper cites an unresolved cited work.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T13:44:47.775946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 490b0636-25f5-436d-baa7-a99c68f8278f · outbound
This paper cites How to specify and verify the long-run average behaviour of probabilistic systems.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games How to specify and verify the long-run average behaviour of probabilistic systems
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:47.654301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e1378915-a9cf-4238-9bc3-75e0c557133c · outbound
This paper cites Concurrent omega-regular games.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Concurrent omega-regular games
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:47.522140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d2742b1a-dfb4-4bff-a179-e711ae8e5ede · outbound
This paper cites Concurrent reachability games.Theoretical Computer Science, 2007.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Concurrent reachability games.Theoretical Computer Science, 2007
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:47.357703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation a5bb2f72-a828-4f12-a8ad-a1cd85d7d8f1 · outbound
This paper cites Quantitative solution of omega- regular games.Journal of Computer and System Sciences, 68(2):374 – 397, 2004.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Quantitative solution of omega- regular games.Journal of Computer and System Sciences, 68(2):374 – 397, 2004
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:47.233526Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation ab8b61e0-b389-4db1-8acf-1a31d16972cf · outbound
This paper cites Value iteration for simple stochastic games: Stopping criterion and learning algorithm.Information and Computation, 2022.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Value iteration for simple stochastic games: Stopping criterion and learning algorithm.Information and Computation, 2022
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:47.035482Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8c7b698c-02a0-4a6e-9dfc-b1eea9814cad · outbound
This paper cites Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games, 2019.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games, 2019
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:46.848408Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 016a5e08-b668-41b3-914e-1d85aa63407e · outbound
This paper cites Recursive Concurrent Stochastic Games.Logical Methods in Computer Science, V olume 4, Issue 4, November 2008.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Recursive Concurrent Stochastic Games.Logical Methods in Computer Science, V olume 4, Issue 4, November 2008
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:46.639972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation c8464c16-ff04-4567-9439-d6d99877ee74 · outbound
This paper cites Everett.RECURSIVE GAMES, pages 47–78.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Everett.RECURSIVE GAMES, pages 47–78
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:46.465310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f4e55e2a-fef8-40fb-b772-102feec968b2 · outbound
This paper cites Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:46.316017Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation db8f3202-8954-4d78-8dff-cdcbcbe4773f · outbound
This paper cites Interval iteration algorithm for mdps and imdps.Theoretical Computer Science, 735:111–131, 2018.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Interval iteration algorithm for mdps and imdps.Theoretical Computer Science, 735:111–131, 2018
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:46.121679Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 98a64a01-24ea-4b0d-acb8-ec5a709c3a0e · outbound
This paper cites Interval Iteration Algorithm for MDPs and IMDPs.Theoretical Computer Science, 2018.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Interval Iteration Algorithm for MDPs and IMDPs.Theoretical Computer Science, 2018
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:45.969610Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b9e6627e-4c98-405d-a9ff-efb3d8d12736 · outbound
This paper cites The Complexity of Solving Reachability Games Using Value and Strategy Iteration.Theory of Computing Systems, 55, 2014.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games The Complexity of Solving Reachability Games Using Value and Strategy Iteration.Theory of Computing Systems, 55, 2014
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:45.782824Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation cba22320-3f88-4646-9d33-29f86ed3dacf · outbound
This paper cites Tsigaridas.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Tsigaridas
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:45.627693Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 2d66d208-8e3c-40e5-8624-166615077450 · outbound
This paper cites A Practitioner’s Guide to MDP Model Checking Algorithms.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games A Practitioner’s Guide to MDP Model Checking Algorithms
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:45.447722Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8ef0eaac-410d-4874-b5b3-06244710872b · outbound
This paper cites Hillier and Gerald J.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Hillier and Gerald J
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:45.278616Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation abf10d69-d58e-4362-bbe1-0e27007f094a · outbound
This paper cites Stop- ping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Stop- ping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:45.090533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 36370fea-f2a6-4d79-9686-2eaa10dac75b · outbound
This paper cites Comparison of algorithms for simple stochastic games.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Comparison of algorithms for simple stochastic games
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:44.854703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 4b074335-1900-44f7-97c2-3a586e4eaa7a · outbound
This paper cites an unresolved cited work.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Unresolved cited work
Reference 31
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T13:44:44.666425Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation bde78c1a-4d04-4af6-b37e-7f4ac23f8bd3 · outbound
This paper cites Automated verification of concurrent stochastic games.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Automated verification of concurrent stochastic games
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:44.454203Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b7c1aae7-6e4e-42d8-8821-65c265516e27 · outbound
This paper cites PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:44.258072Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 17a922ad-9895-466d-a260-288f25d31bd8 · outbound
This paper cites an unresolved cited work.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Unresolved cited work
Reference 34
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T13:44:44.057359Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation b12ab0da-954f-43a9-8139-e9469b045134 · outbound
This paper cites Cambridge University Press, June 2020.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Cambridge University Press, June 2020
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:43.899093Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 42142558-90ef-488b-8bf1-952f5bef16bb · outbound
This paper cites Non-Cooperative Games.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Non-Cooperative Games
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:43.724748Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 652ba57c-c0df-4105-900d-5274757ef7bd · outbound
This paper cites an unresolved cited work.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T13:44:43.546475Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e981bf78-af41-4899-b5e3-8e68cfa8ca56 · outbound
This paper cites New algorithms for solving zero-sum stochastic games.Mathematics of Operations Research, 46(1):255–267, 2021.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games New algorithms for solving zero-sum stochastic games.Mathematics of Operations Research, 46(1):255–267, 2021
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:43.373813Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation e4c69624-3df3-4554-8fbf-f1c2558f4a8d · outbound
This paper cites Parthasarathy.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Parthasarathy
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:43.209932Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation bf30433f-8c77-4f7d-bf36-28724a713ba9 · outbound
This paper cites an unresolved cited work.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T13:44:43.052400Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 847bb432-de31-4c3f-9f3b-056cfcf2fe19 · outbound
This paper cites Puterman.Markov Decision Processes: Discrete Stochastic Dynamic Programming.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Puterman.Markov Decision Processes: Discrete Stochastic Dynamic Programming
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:42.848330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation eee663a2-7cb5-4451-a86c-24cd9f8d1ae9 · outbound
This paper cites an unresolved cited work.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T13:44:42.627061Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 28d99a28-d577-4d4d-8a72-9130b3181a38 · outbound
This paper cites an unresolved cited work.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T13:44:42.462188Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation d9060246-a2cf-4b41-b9e0-44d6d1e2b240 · outbound
This paper cites Outline of a Mathematical Theory of Computation.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Outline of a Mathematical Theory of Computation
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:42.244516Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 8ab8b558-a6bf-435f-8038-cb4d7c82d766 · outbound
This paper cites Minimax Theorems and Their Proofs.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games Minimax Theorems and Their Proofs
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:42.005522Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 9bafc2a6-c395-41f6-b40f-f25b04111cc8 · outbound
This paper cites no state in X can depend on the outside.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games no state in X can depend on the outside
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:41.780593Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation f191796f-d231-464c-92e3-2d3eeadcb123 · outbound
This paper cites We prove that X is a maximal BEC inCvia structural induction.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games We prove that X is a maximal BEC inCvia structural induction
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:41.609445Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation 3248f29a-e304-463d-9b7a-5bb155b0aeef · outbound
This paper cites We need to show that X ∈FIND MBEC(G,C,U) holds.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games We need to show that X ∈FIND MBEC(G,C,U) holds
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:41.380807Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Observation bb35edb3-98da-4cf7-9d0d-22254f27ed2f · outbound
This paper cites 3) the set {s4, s3} does not constitute a BEC for the valuation U(s4) =U(s 3) =U(s 1) = 1 and U(s2) = 0.
Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games 3) the set {s4, s3} does not constitute a BEC for the valuation U(s4) =U(s 3) =U(s 1) = 1 and U(s2) = 0
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T13:44:41.244035Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.
Pith citing papers
No inbound Pith citation observations are available.