{"as_of":"2026-08-08T08:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:586532cb186d44b4095e648a013f36b5019cd0838ba0ecde811a241c36d97044","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T13:44:40.858310Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2505.21087/citation-record","integrity":"/paper/2505.21087/integrity","json":"/paper/2505.21087/citation-record.json","paper":"/paper/2505.21087"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:50.157344Z","title":"Value Iteration for Long-Run Average Reward in Markov Decision Processes","venue":null,"work_id":"9f1f5853-1698-4da3-8185-90e47794e7e5","year":2017},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:35.463475Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:21d77eb8385bc1b52a1da7ded1beff52f470896dbdd5ed8172b7d348309d08dd","observation_id":"c8483246-fe77-4e9f-8e5b-dc67218ef9af","resolution":{"observed_at":"2026-08-07T13:44:50.231048Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:50.034675Z","title":"MIT Press, April 2008","venue":null,"work_id":"e9ec83a0-3ff5-427b-85f8-fef0d476b011","year":2008},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:35.536104Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:290ac4e0933e8b7681963b18632d2f643d0c6d103af4a24faeedec0ce03f64a5","observation_id":"d114cf6b-a086-420c-b546-a5e8ead2fddc","resolution":{"observed_at":"2026-08-07T13:44:50.091007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:49.883175Z","title":"Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes","venue":null,"work_id":"ee5ff33e-a9ed-44e1-a2b1-a4322614d18d","year":2017},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:35.623201Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:d42174bf76b504938ce7160994c63cf3e172854035234f85c5b63a2fa2a5e1e2","observation_id":"e871c4ee-75f6-411a-a748-254517c97ca7","resolution":{"observed_at":"2026-08-07T13:44:49.950641Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:49.737656Z","title":"Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives","venue":null,"work_id":"450abeee-2a74-49ff-802e-465e3b813d4f","year":2023},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:35.787846Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:84c86212fe8a2c1eff95ba7aa6c52ffeba5040779366738e56206d11cae9497e","observation_id":"28e450a5-02e8-452a-b353-9cb5da9e8c8f","resolution":{"observed_at":"2026-08-07T13:44:49.804104Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:49.486865Z","title":"Verification of Markov decision processes using learning algorithms","venue":null,"work_id":"9dfb7b52-05d8-448f-a2e3-e4a6bb78c0b5","year":2014},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:35.917106Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:866ea1e0d7d4a9c40c19c8dd16be672f5ab6ea61e21a2c0a51dd2150379bc4e2","observation_id":"f4882047-fafe-44e5-b34d-17cd0f719b34","resolution":{"observed_at":"2026-08-07T13:44:49.636195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:49.212402Z","title":"Verification of Markov Decision Processes Using Learning Algorithms","venue":null,"work_id":"7f378158-81bd-4c90-818e-4313f3e63181","year":2014},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:35.998718Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:114731287fda7a63bc6265db71a90cdba664a50f2f4fbc12954229d2597b7739","observation_id":"c0e8b604-bfa0-4cea-bbd1-e6314ec22f38","resolution":{"observed_at":"2026-08-07T13:44:49.342670Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:48.789523Z","title":"Termination criteria for solving concurrent safety and reachability games","venue":null,"work_id":"2fed0a19-33ef-4778-a7ac-3e613542beda","year":2009},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.085573Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:c1e0b4080f76740a6ea4797294e821cf022244a6e8577a0ed1180a5988a32514","observation_id":"d40b625b-17e2-461c-90b3-081ffa7b2bec","resolution":{"observed_at":"2026-08-07T13:44:49.013279Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:48.548524Z","title":"Henzinger","venue":null,"work_id":"4ef1eef8-cf5b-4c7f-b15a-e350317903ed","year":2011},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.234563Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:87b1672701bd9c93da9deaac532608348dd55b500d2f02aa826d26c3728a1898","observation_id":"676485c5-3ddd-4e7e-8349-7799182e7218","resolution":{"observed_at":"2026-08-07T13:44:48.658129Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1201.2834","last_updated":"2012-06-30T18:04:54Z","snapshot_observed_at":"2026-08-01T16:21:27.527159Z","submitted_at":"2012-01-13T13:38:21Z","title":"Strategy Improvement for Concurrent Reachability and Safety Games","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1201.2834","snapshot_observed_at":"2026-08-07T13:44:36.387414Z","title":"Strategy improvement for concurrent reachability and safety games","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.387414Z"},"links":{"cited_paper":"/paper/1201.2834","citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:a3ba219692b266fa46253598581ea115e64879b6a881d60326181a49b0aafe3c","observation_id":"ae155c20-2eed-44d1-922a-747fd8c55a12","resolution":{"observed_at":"2026-08-07T13:44:36.387414Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:48.286407Z","title":"Strat- egy improvement for concurrent reachability and turn-based stochastic safety games.Journal of computer and system sciences, 79(5):640–657, 2013","venue":null,"work_id":"78403808-07a1-4925-9545-c2573505c4ca","year":2013},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.495418Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:c345a6812e98b633ae31fba8ce5c8e6daba3a9a2e53955713a175b1cc7a69c05","observation_id":"a6dd8f0e-7a39-4b4b-95fa-da6ac04a65d0","resolution":{"observed_at":"2026-08-07T13:44:48.405134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:48.041159Z","title":"Henzinger","venue":null,"work_id":"75804d09-b3ee-4e3a-9adb-d70b4cbe37ea","year":2008},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.580217Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:38e003cc8be211eef312558d6251f3d718ba370cd1e81536fb63d9b143d09a97","observation_id":"f30df480-44de-475c-bc03-ea75e70adca6","resolution":{"observed_at":"2026-08-07T13:44:48.174173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:47.842357Z","title":"The complexity of probabilistic verification.Journal of the ACM, 42, July 1995","venue":null,"work_id":"9c7b8a39-62c7-4829-854b-4f371511d669","year":1995},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.709496Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:75c1e732e6678def11d565f9e712104b2dc0a2f5f7b45feadd3c81a773ed4d9b","observation_id":"94ecd0d9-52bf-4264-b3a4-f96e029c9e0b","resolution":{"observed_at":"2026-08-07T13:44:47.934195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:47.717341Z","title":null,"venue":null,"work_id":"8b57ad2d-ebbc-4000-aca0-d4f082406364","year":2002},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.836398Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:2b22c596e1d692c8818aef72d9e10af5216f4232ef3f730a4fec06f04e70babe","observation_id":"7480ea7c-5e6d-44d4-b625-bc0c24aaa994","resolution":{"observed_at":"2026-08-07T13:44:47.775946Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:47.609151Z","title":"How to specify and verify the long-run average behaviour of probabilistic systems","venue":null,"work_id":"36bbf4c2-046a-4671-b905-6e47a6955487","year":1998},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:36.987009Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:502086efd80e304af9af4437a924b454685f1064eadcb265a0198278a61d0a79","observation_id":"490b0636-25f5-436d-baa7-a99c68f8278f","resolution":{"observed_at":"2026-08-07T13:44:47.654301Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:47.440813Z","title":"Concurrent omega-regular games","venue":null,"work_id":"42a7a4f2-6544-4c42-bf4c-73dd8e4efa8d","year":2000},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.105383Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:30a766a9eac874b16bee9501131c47fdd1a6eaabc0a61c97035ed1431b5e010b","observation_id":"e1378915-a9cf-4238-9bc3-75e0c557133c","resolution":{"observed_at":"2026-08-07T13:44:47.522140Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:47.298490Z","title":"Concurrent reachability games.Theoretical Computer Science, 2007","venue":null,"work_id":"cbf65967-6f82-4308-b858-9f6ea38ec800","year":2007},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.240001Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:46ca1b9146b9b8b2f93900018f398faef3947a07c687acc24cf698bd98705344","observation_id":"d2742b1a-dfb4-4bff-a179-e711ae8e5ede","resolution":{"observed_at":"2026-08-07T13:44:47.357703Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:47.144413Z","title":"Quantitative solution of omega- regular games.Journal of Computer and System Sciences, 68(2):374 – 397, 2004","venue":null,"work_id":"668ed6bf-0700-4fa5-b087-4571e9ec6225","year":2004},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.343548Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:261c450e9e0683ba40d982ab72d0077612ab827c9cadc3d9d05a3ffb501b5eb4","observation_id":"a5bb2f72-a828-4f12-a8ad-a1cd85d7d8f1","resolution":{"observed_at":"2026-08-07T13:44:47.233526Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:46.966116Z","title":"Value iteration for simple stochastic games: Stopping criterion and learning algorithm.Information and Computation, 2022","venue":null,"work_id":"e9a9ac6d-c14e-48d2-be50-41816932c23a","year":2022},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.454558Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:62f01f48d31e8b0230870b86c38013f786ad8082a70ba5747bba5a10c05a9066","observation_id":"ab8b61e0-b389-4db1-8acf-1a31d16972cf","resolution":{"observed_at":"2026-08-07T13:44:47.035482Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:46.745404Z","title":"Stopping Criteria for Value and Strategy Iteration on Concurrent Stochastic Reachability Games, 2019","venue":null,"work_id":"f8a55778-1194-467c-9601-69dbc90186e2","year":2019},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.531244Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:b2c39e94534c4f3eb1c5313b4e87676717c6371d02b3f790581dbd250f9657a1","observation_id":"8c7b698c-02a0-4a6e-9dfc-b1eea9814cad","resolution":{"observed_at":"2026-08-07T13:44:46.848408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:46.558149Z","title":"Recursive Concurrent Stochastic Games.Logical Methods in Computer Science, V olume 4, Issue 4, November 2008","venue":null,"work_id":"54e42e77-1448-4e6a-b925-2bd7543afa02","year":2008},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.607203Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:09848cbefb514f87746666cef935770efc961624597b10595c3a72a42b20c59d","observation_id":"016a5e08-b668-41b3-914e-1d85aa63407e","resolution":{"observed_at":"2026-08-07T13:44:46.639972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:46.383785Z","title":"Everett.RECURSIVE GAMES, pages 47–78","venue":null,"work_id":"a2bf4140-4c52-4090-8c65-618c90043a34","year":1957},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.724746Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:b41601db8208e80cdeaf1324cc70ab0fe54289489823f65d70ba53bcf125a25c","observation_id":"c8464c16-ff04-4567-9439-d6d99877ee74","resolution":{"observed_at":"2026-08-07T13:44:46.465310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:46.206338Z","title":"Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy","venue":null,"work_id":"457346e6-795e-46bd-b4ce-bb2bbb75204f","year":2013},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.824547Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:629a3f5968972b0ebe401cde6281646d28f2596483bc47d32c0e9728c68be8e9","observation_id":"f4e55e2a-fef8-40fb-b772-102feec968b2","resolution":{"observed_at":"2026-08-07T13:44:46.316017Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:46.051221Z","title":"Interval iteration algorithm for mdps and imdps.Theoretical Computer Science, 735:111–131, 2018","venue":null,"work_id":"46f02598-1014-4076-9181-59dbb623ec0e","year":2018},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.893845Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:ccf1209b29ed4edfb72e9afb02d8acdac0f7b7b90b89ab0ff05e056a58bc1ed7","observation_id":"db8f3202-8954-4d78-8dff-cdcbcbe4773f","resolution":{"observed_at":"2026-08-07T13:44:46.121679Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:45.901980Z","title":"Interval Iteration Algorithm for MDPs and IMDPs.Theoretical Computer Science, 2018","venue":null,"work_id":"22c9a378-08e1-47f9-a582-4f173c6043cd","year":2018},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:37.995123Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:fb09b9141b8b1e3424c096164816409eae14b0c1b897fb84aea23cd4704efea6","observation_id":"98a64a01-24ea-4b0d-acb8-ec5a709c3a0e","resolution":{"observed_at":"2026-08-07T13:44:45.969610Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:45.711026Z","title":"The Complexity of Solving Reachability Games Using Value and Strategy Iteration.Theory of Computing Systems, 55, 2014","venue":null,"work_id":"746c64d8-9bb9-445a-a526-f773cbd6ace2","year":2014},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.090053Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:85360efda128887a0fcfa0bdcc1f6eecd5148ac15f90ef77ea7ae6001bdf6a72","observation_id":"b9e6627e-4c98-405d-a9ff-efb3d8d12736","resolution":{"observed_at":"2026-08-07T13:44:45.782824Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:45.541933Z","title":"Tsigaridas","venue":null,"work_id":"8bbd4302-62cb-4124-bf38-173783d5d29d","year":2011},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.170561Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:de1b47efddc04670ee0612ae56a1cd0b4665878c689cfe7858ec50fc7e405e0f","observation_id":"cba22320-3f88-4646-9d33-29f86ed3dacf","resolution":{"observed_at":"2026-08-07T13:44:45.627693Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:45.363336Z","title":"A Practitioner’s Guide to MDP Model Checking Algorithms","venue":null,"work_id":"93cef9f9-71da-4ef1-ac3f-e31e9ecbf0b9","year":2023},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.238350Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:96277009ee375416a93aaa179ec054f8eb3953c52fdf6040aef7fb58af1c5c59","observation_id":"2d66d208-8e3c-40e5-8624-166615077450","resolution":{"observed_at":"2026-08-07T13:44:45.447722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:45.210310Z","title":"Hillier and Gerald J","venue":null,"work_id":"bb333f42-f00a-4766-94fc-e89dcd493c1e","year":2010},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.329107Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:25372729b938043a1fa0a756a3b3e7520d28367aa1ce057617427034fa8ea154","observation_id":"8ef0eaac-410d-4874-b5b3-06244710872b","resolution":{"observed_at":"2026-08-07T13:44:45.278616Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:44.993336Z","title":"Stop- ping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives","venue":null,"work_id":"014dbede-0e76-41d4-bbf4-83a5324aaec6","year":2023},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.411981Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:28ebebd3a49fc03d9d73d7d5f6ac2a842b1a447608d37321dd511395f615afac","observation_id":"abf10d69-d58e-4362-bbe1-0e27007f094a","resolution":{"observed_at":"2026-08-07T13:44:45.090533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:44.746804Z","title":"Comparison of algorithms for simple stochastic games","venue":null,"work_id":"e5271e11-3755-4934-af64-ec4954d36e6f","year":2022},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.495613Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:ec876e4eb4c91fec7f958f6fbeb00cf81e3283717eae6c4eedcd01c1fedabe86","observation_id":"36370fea-f2a6-4d79-9686-2eaa10dac75b","resolution":{"observed_at":"2026-08-07T13:44:44.854703Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:44.548058Z","title":null,"venue":null,"work_id":"500cf2f0-03cb-4e1d-99e3-a8fa0b9d40d9","year":1981},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.606894Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:aa9c8ec3114548be2113877d200fc7f1abd6850e4fe34d55b4784353359eb68d","observation_id":"4b074335-1900-44f7-97c2-3a586e4eaa7a","resolution":{"observed_at":"2026-08-07T13:44:44.666425Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:44.379965Z","title":"Automated verification of concurrent stochastic games","venue":null,"work_id":"7923ce38-6646-4694-bc93-389e2bace7e0","year":2018},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.723360Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:e9d4f38b7181101a9dbe785a8f6531f2b503d94ebc2c0e4524537e30a3d5c0bc","observation_id":"bde78c1a-4d04-4af6-b37e-7f4ac23f8bd3","resolution":{"observed_at":"2026-08-07T13:44:44.454203Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:44.144292Z","title":"PRISM-games 3.0: Stochastic Game Verification with Concurrency, Equilibria and Time","venue":null,"work_id":"d3166189-7166-434e-b558-5a31b7067ef2","year":2020},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.841877Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:240765d9e87e8a1c1142eb29048ffee578aaf58144b355d83ab8fc11a4507809","observation_id":"b7c1aae7-6e4e-42d8-8821-65c265516e27","resolution":{"observed_at":"2026-08-07T13:44:44.258072Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:43.986870Z","title":null,"venue":null,"work_id":"3adc6286-47fd-466c-961d-18067e4fda37","year":1998},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:38.952701Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:a6e836b143c445dc0381ae0fc924f475934746918e213bac07accbd77a9316bb","observation_id":"17a922ad-9895-466d-a260-288f25d31bd8","resolution":{"observed_at":"2026-08-07T13:44:44.057359Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:43.800101Z","title":"Cambridge University Press, June 2020","venue":null,"work_id":"bd3197e4-1a00-4cf5-b921-76e47af94599","year":2020},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.062792Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:e3ca7f997201df9fb88b19b0ed1d8753ad3e34fb4396767d62fbc5ed965fcb3f","observation_id":"b12ab0da-954f-43a9-8139-e9469b045134","resolution":{"observed_at":"2026-08-07T13:44:43.899093Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:43.625480Z","title":"Non-Cooperative Games","venue":null,"work_id":"236a994d-7334-4d9d-91a4-ae13b484f3d5","year":1951},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.159961Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:9f173daf1923b9639f7ea6813e491d7810471bca0820b4074b7c2916b493fd42","observation_id":"42142558-90ef-488b-8bf1-952f5bef16bb","resolution":{"observed_at":"2026-08-07T13:44:43.724748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:43.465354Z","title":null,"venue":null,"work_id":"93f74cbb-7379-4349-b5b1-6d6d36a8688c","year":1950},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.268809Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:eda99db07d02ac1239a7e802ad02428d0e8692105e6448f518c81f244e292f6a","observation_id":"652ba57c-c0df-4105-900d-5274757ef7bd","resolution":{"observed_at":"2026-08-07T13:44:43.546475Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:43.302043Z","title":"New algorithms for solving zero-sum stochastic games.Mathematics of Operations Research, 46(1):255–267, 2021","venue":null,"work_id":"9f6a1ec1-fa10-46e3-ab33-dcfd7ba0b325","year":2021},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.356832Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:9f316fdb823cc5166a9e95b7be725139715ac2d6a463325e02cde539a731616b","observation_id":"e981bf78-af41-4899-b5e3-8e68cfa8ca56","resolution":{"observed_at":"2026-08-07T13:44:43.373813Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:43.131842Z","title":"Parthasarathy","venue":null,"work_id":"fdf33c44-96ec-48fd-84e5-9c4fe54b395c","year":1973},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.513143Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:772b3018ef6d77ede3621354952d1cdd58862b006b3027c9f4115a248ba9f3a0","observation_id":"e4c69624-3df3-4554-8fbf-f1c2558f4a8d","resolution":{"observed_at":"2026-08-07T13:44:43.209932Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:42.940211Z","title":null,"venue":null,"work_id":"d8593e03-44bf-4ced-b4f4-05f2074fc116","year":2009},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.663071Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:e5cc02b0a83eb7029855c6305f989543fb20c9427a6fdb0021b0407265c4848d","observation_id":"bf30433f-8c77-4f7d-bf36-28724a713ba9","resolution":{"observed_at":"2026-08-07T13:44:43.052400Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:42.757585Z","title":"Puterman.Markov Decision Processes: Discrete Stochastic Dynamic Programming","venue":null,"work_id":"e9766cbb-9cc9-49d4-8dd9-4b7ee30d803c","year":2009},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.807658Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:ea42a288e0823fe786297e8dd58d3f6755f798e80ddf27df590c6bfd853ac454","observation_id":"847bb432-de31-4c3f-9f3b-056cfcf2fe19","resolution":{"observed_at":"2026-08-07T13:44:42.848330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:42.549191Z","title":null,"venue":null,"work_id":"1712fb60-59cb-4971-b71b-e56ad8f7fd4a","year":1991},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:39.937335Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:51dec088b83585e8ff32db2dc092a0c02a1e7a05fed0cd8b3dfc6a0dc62e45bc","observation_id":"eee663a2-7cb5-4451-a86c-24cd9f8d1ae9","resolution":{"observed_at":"2026-08-07T13:44:42.627061Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:42.372771Z","title":null,"venue":null,"work_id":"4cb8d550-bad6-4728-b342-c4060ea2d8b5","year":2020},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:40.053905Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:6a913fd157e4543a515d3e42c6953dfe34a8852d62b16576196da65a42cbf40a","observation_id":"28d99a28-d577-4d4d-8a72-9130b3181a38","resolution":{"observed_at":"2026-08-07T13:44:42.462188Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:42.131702Z","title":"Outline of a Mathematical Theory of Computation","venue":null,"work_id":"b8a2404c-1706-4d6d-89bb-44c6f0e9b799","year":1977},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:40.231379Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:c9d6b5774928a5e7ef6427d65263bd31f956c0628a94ebb936f2f179da372801","observation_id":"d9060246-a2cf-4b41-b9e0-44d6d1e2b240","resolution":{"observed_at":"2026-08-07T13:44:42.244516Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:41.899688Z","title":"Minimax Theorems and Their Proofs","venue":null,"work_id":"f343c4ad-4d57-43fb-a476-5354f3e0898a","year":1995},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:40.368216Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:1783c0236e185b05d19abdd51b82ce9616373475a258dba500c017b7900101bb","observation_id":"8ab8b558-a6bf-435f-8038-cb4d7c82d766","resolution":{"observed_at":"2026-08-07T13:44:42.005522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:41.688250Z","title":"no state in X can depend on the outside","venue":null,"work_id":"e1054a1a-b753-436b-8ebf-0cc3c5737238","year":2016},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:40.511252Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:b7a8dbbcbe601942b389de82ba4d9d284e15bba5815c2a17896a7486570caf02","observation_id":"9bafc2a6-c395-41f6-b40f-f25b04111cc8","resolution":{"observed_at":"2026-08-07T13:44:41.780593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:41.518754Z","title":"We prove that X is a maximal BEC inCvia structural induction","venue":null,"work_id":"d6ec1bcb-8fff-4e39-b467-c924e8c5ec63","year":null},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:40.620212Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:edac8931a2f50335424662c5517638eb5c3c6492b259d3b8e27c4a6932085dbd","observation_id":"f191796f-d231-464c-92e3-2d3eeadcb123","resolution":{"observed_at":"2026-08-07T13:44:41.609445Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:41.308357Z","title":"We need to show that X ∈FIND MBEC(G,C,U) holds","venue":null,"work_id":"b63634b9-5b35-487c-957f-7028774a58f1","year":null},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:40.704989Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:dd06a152934e72423633499d5a2d362fdf8934c45607db52c195e17e7e5de612","observation_id":"3248f29a-e304-463d-9b7a-5bb155b0aeef","resolution":{"observed_at":"2026-08-07T13:44:41.380807Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T13:44:41.150085Z","title":"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","venue":null,"work_id":"5a55b052-7fdc-42e2-972f-0f47e9c208c7","year":null},"citing_paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-07T13:44:40.858310Z"},"links":{"citing_paper":"/paper/2505.21087"},"observation_digest":"sha256:63061142e81c24c0c281e2777df8ead6f224aeab5b125973a7c2699625cc7131","observation_id":"bb35edb3-98da-4cf7-9d0d-22254f27ed2f","resolution":{"observed_at":"2026-08-07T13:44:41.244035Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.21087","last_updated":"2025-09-10T13:29:23Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T13:33:39.269714Z","submitted_at":"2025-05-27T12:13:47Z","title":"Stopping Criteria for Value Iteration on Concurrent Stochastic Reachability and Safety Games"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":8,"verified_exact":0,"verified_fuzzy":41},"total_outbound_references":49},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}