{"as_of":"2026-08-08T13:37:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:d5fbb8aa6dbfd9b456f448b9d49323c1ffbf74963740a7566020f1ddd890bda5","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T04:37:41.756252Z","state":"measured"},{"denominator":36,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":36,"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/2506.10377/citation-record","integrity":"/paper/2506.10377/integrity","json":"/paper/2506.10377/citation-record.json","paper":"/paper/2506.10377"},"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-07T04:37:42.407121Z","title":"Abramsky and A","venue":null,"work_id":"59f44b0f-f1b5-4099-8d2f-e31dedd490a6","year":1994},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.605231Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:d596148496f28fb5b9cc0d08bd320bfca9e803f9c5fd849a9286593519f5dd7a","observation_id":"b5f10e41-9771-4d71-ba07-8340154c84dd","resolution":{"observed_at":"2026-08-07T04:37:42.411656Z","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":"10.1007/978-3-031-75775-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Model checking markov chains as distribution transformers","venue":"Lecture notes in computer science","work_id":"81d8ec3c-d1d7-4952-9dff-6478313a0022","year":2024},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.610442Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:e30ec2a9fb259fa11076b7b7fecf34fde78c6a5f2d1fc26fc7f615118b05fceb","observation_id":"b41583cd-829f-4c2d-bfba-faf25cf20ba3","resolution":{"observed_at":"2026-08-07T04:37:42.395949Z","resolver_source":"doi","status":"verified_exact"},"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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.614803Z","title":"Akshay, Blaise Genest, and P","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.614803Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:4574975d759e89abf6920c8bacac78878d979a843b911efbe760a39388b2e60b","observation_id":"a51682e1-9dbd-4f28-8c39-32efd85bfc58","resolution":{"observed_at":"2026-08-07T04:37:41.614803Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.619484Z","title":"Akshay, Timos Antonopoulos, Joël Ouaknine, and James Worrell","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.619484Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:a834818a41edf4935d4ac0a1116625d6f7e45684bedf7bedde0d1e9aeeb724ce","observation_id":"d367b59b-0364-4b54-9b17-8783de239d80","resolution":{"observed_at":"2026-08-07T04:37:41.619484Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.624295Z","title":"Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and or e Z ikeli\\' c","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.624295Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:a8df7c2a7ae8402e6cf6d9e23f0f5fd9bee78a984d8023f095a8a8368f9ced55","observation_id":"e259bcab-1e1c-496e-bada-0b531976cd13","resolution":{"observed_at":"2026-08-07T04:37:41.624295Z","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":"10.24963/ijcai.2024/1","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.918882Z","title":"Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and or e Z ikeli\\' c","venue":null,"work_id":"d587deb0-b20d-4e84-8d24-5af865d01ee1","year":2024},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.628785Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:f481574202cb5b7dbe93017b2cd49296155a1dcb7cb0d5401e47004435a4176f","observation_id":"335e586f-a421-47a9-9dd8-fa1d6fba3482","resolution":{"observed_at":"2026-08-07T04:37:41.924678Z","resolver_source":"doi","status":"verified_exact"},"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-07T04:37:42.373662Z","title":"Akshay, Blaise Genest, and Nikhil Vyas","venue":null,"work_id":"f5c79019-6aec-430f-93d5-add9c9dfd1da","year":2018},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.633920Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:5d95d6bdd1c52f6fdfd25eb009aa444f7ef8f84e4bff6eeb953b03d3c1941c28","observation_id":"acf28f3c-46c0-447d-ab9f-eb7eb3b42736","resolution":{"observed_at":"2026-08-07T04:37:42.379364Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.638503Z","title":"Computational Complexity - A Modern Approach","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.638503Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:cade0dd15d64ab2249ca38cc718f2d04bd8374eb53064a33d836f9898e7b9cd8","observation_id":"c958b174-9dd5-4f84-b500-56f68c02113c","resolution":{"observed_at":"2026-08-07T04:37:41.638503Z","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-07T04:37:42.345678Z","title":"Ash and Catherine A","venue":null,"work_id":"a030cfa0-341e-466e-83a3-8f235e55d0a5","year":1999},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.642564Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:e2e29bad70e34540e3a024b3f1fbe1c4a2c3102a0a14e978577bb4c4ed047e88","observation_id":"b1fd9f75-22c7-4ee3-bc28-a0278aa3df95","resolution":{"observed_at":"2026-08-07T04:37:42.352197Z","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-07T04:37:42.328674Z","title":"Category Theory","venue":null,"work_id":"bfa9e0af-d18c-475e-b0a7-ddf59d350149","year":2006},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.646678Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:ea9910e210a548aa19844787b0cf3c1462253880d44ecf47363c7b74e372ffbc","observation_id":"2df8f098-dcd1-4776-9b00-93da92c3c6e5","resolution":{"observed_at":"2026-08-07T04:37:42.333608Z","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-07T04:37:42.312798Z","title":"Principles of model checking","venue":null,"work_id":"242d1ffb-f8e0-4f10-abda-6af08b1206e7","year":2008},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.651028Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:f3bf369e983a2f84124b0c190f9a3aa242948e552e3f5ebd7a2f6edc8057e0b8","observation_id":"4ed715e6-fab2-495b-aa5d-793e0a7cdfda","resolution":{"observed_at":"2026-08-07T04:37:42.317715Z","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-07T04:37:42.296791Z","title":"Pyomo-optimization modeling in python , volume 67","venue":null,"work_id":"26bf3717-48b4-4a3b-abfc-23675e33540e","year":2021},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.655633Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:6eec831349d9da4ba100ce9a9febc1023884c1916ddfc21ecaa814c8a7062b8a","observation_id":"00a7c161-7c3f-4a65-b4eb-02990019a356","resolution":{"observed_at":"2026-08-07T04:37:42.301685Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.660135Z","title":"Model checking mdps with a unique compact invariant set of distributions","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.660135Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:30b4eeba994cb8359c8b59865534e38083f58a6064bcb266074530d06cf69993","observation_id":"421e997a-5b45-4384-a55e-25d6f6790a96","resolution":{"observed_at":"2026-08-07T04:37:41.660135Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03796","last_updated":"2025-01-29T12:03:55Z","snapshot_observed_at":"2026-08-06T14:28:23.214994Z","submitted_at":"2024-08-07T14:20:28Z","title":"PolyQEnt: A Polynomial Quantified Entailment Solver","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03796","snapshot_observed_at":"2026-08-07T04:37:41.664105Z","title":"Polyqent: A polynomial quantified entailment solver","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.664105Z"},"links":{"cited_paper":"/paper/2408.03796","citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:f96885acbe066a896136ccbd556fc5b98e4d3813ac93d6ea4640d3550a54f42c","observation_id":"e8cb43eb-2e83-48af-bdba-d70889a4290f","resolution":{"observed_at":"2026-08-07T04:37:41.664105Z","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-07T04:37:42.282018Z","title":"Z3: An efficient smt solver","venue":null,"work_id":"6ad4a5ad-e321-41b0-9430-36c635a64434","year":2008},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.668306Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:ea6379547fc2201b2c8e5c6d7197012b541f5fdaa2648b27853e7addaa24eddb","observation_id":"342d5557-6574-4eea-9d05-33df8f7c8c2f","resolution":{"observed_at":"2026-08-07T04:37:42.286424Z","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-07T04:37:42.267245Z","title":"Limit synchronization in markov decision processes","venue":null,"work_id":"7a8e3a58-b870-48f0-82d7-9592cf55bd49","year":2014},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.672434Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:b30b435226d0af9b8ede4bf9f7d129e38ef05cbc184f971b12000e833fd370f1","observation_id":"4117495e-db80-4cdf-879d-8a4b30157497","resolution":{"observed_at":"2026-08-07T04:37:42.271922Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.676434Z","title":"Theorie der einfachen ungleichungen","venue":null,"work_id":null,"year":1902},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.676434Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:231594990dfe85dc29d8dd6cc42229a4d6bcbe6ac9ae613b5398af8d5db02f1c","observation_id":"c0d7c5f2-2e99-4685-92ac-bb6c27582740","resolution":{"observed_at":"2026-08-07T04:37:41.676434Z","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":"10.1007/s10703-011-0115-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.891843Z","title":"Antichains and compositional algorithms for ltl synthesis","venue":null,"work_id":"5fe558af-e19e-4a9f-b9b7-57d13ed47e76","year":2011},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.680468Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:3e64643b1b8d9987c0b8f84378d272c5497ee3777a83d270191ee32e4572d18b","observation_id":"f36b54e7-5f91-45e9-8098-d92aad490f40","resolution":{"observed_at":"2026-08-07T04:37:41.896701Z","resolver_source":"doi","status":"verified_exact"},"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-07T04:37:42.241172Z","title":"Pysmt: a solver-agnostic library for fast prototyping of smt-based algorithms","venue":null,"work_id":"e371c0f6-9bab-4adc-9bec-e7dfbef09378","year":2015},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.684536Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:b4b5113b1fe2fcaead3fab9257f0d10ce3bd10fff22953548972944dbf506f95","observation_id":"7ef93a09-3aa3-482c-a951-c01b26269428","resolution":{"observed_at":"2026-08-07T04:37:42.245752Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.688446Z","title":"Probabilistic automata on finite words: Decidable and undecidable problems","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.688446Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:e19335f42a82117bea1916d00674948b9ecfedd5598cd164ad0e71f81f4bd8cc","observation_id":"a51fb61d-6d2f-44b3-bfed-dd8e6958cfb4","resolution":{"observed_at":"2026-08-07T04:37:41.688446Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.692671Z","title":"Measurement-based verification of quantum markov chains","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.692671Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:bece1f2f60921239462a8da331a149d2c1a5b1748424d65f37aedc70effdf69f","observation_id":"36f26a65-2b3e-440c-8ee3-470f3f160ba2","resolution":{"observed_at":"2026-08-07T04:37:41.692671Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.696781Z","title":"Representing polynomials by positive linear functions on compact convex polyhedra","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.696781Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:d536dae371130fe4af4775413bbf0ddebe34f639ebd4e952a9dbd0157a5a54dc","observation_id":"8e3fbf88-ef15-4484-84fa-7b50c56031b0","resolution":{"observed_at":"2026-08-07T04:37:41.696781Z","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-07T04:37:42.213643Z","title":"Generic trace semantics via coinduction","venue":null,"work_id":"eb759b12-81ec-45e7-a4fd-72a52832568b","year":2007},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.700899Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:6193bdea654764e2ace4a9a27c7d267faa1da18d5d7c4e9576a908c6f8358a35","observation_id":"57ecccd7-cf80-4f6a-adfe-7b0fe460290f","resolution":{"observed_at":"2026-08-07T04:37:42.218479Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.704893Z","title":"The probabilistic model checker storm","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.704893Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:d11b245e0c831b74060eac6ae2b6d10c1ef82909aa318dc82a91331c82994d3d","observation_id":"f43411fd-0b52-40b5-8cc9-52bde84c8e50","resolution":{"observed_at":"2026-08-07T04:37:41.704893Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.709170Z","title":"Introduction to Coalgebra: Towards Mathematics of States and Observation , volume 59 of Cambridge Tracts in Theoretical Computer Science","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.709170Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:47355e1f3c1c004955b4329d808c838df746cecfe3c297b9a3e3d4514303d9d6","observation_id":"4b8d7792-d535-41f8-87ff-23c97bc70d17","resolution":{"observed_at":"2026-08-07T04:37:41.709170Z","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-07T04:37:42.198227Z","title":"Reasoning about mdps as transformers of probability distributions","venue":null,"work_id":"194585ff-c03f-434e-bd69-e5cc46f6dc1e","year":2010},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.713433Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:e1637cca435dec1dc9ed5637011923018ecad5c28072e4a424588efccda3a88f","observation_id":"6cc57141-3295-434a-8e6e-86b4fa0b533f","resolution":{"observed_at":"2026-08-07T04:37:42.202785Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.717802Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.717802Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:d8f55a45ccc4618b0326bb68f59e62596663b6f0a4e7ca3fc7cc06c1c43af3e4","observation_id":"e5be2f44-0b02-4034-af28-d3a70a360d92","resolution":{"observed_at":"2026-08-07T04:37:41.717802Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.722170Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.722170Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:0014ab88a959a2ab3121a407e6edd27b979ccda31164eb36b89ab9dc99e128ee","observation_id":"a155b799-b4c3-4dbd-95c2-c221a410cc36","resolution":{"observed_at":"2026-08-07T04:37:41.722170Z","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-07T04:37:42.183272Z","title":"Mac Lane","venue":null,"work_id":"2fad923b-a02e-4985-9baa-f04c3716cf17","year":1998},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.727170Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:224ff3224181291f00d127e99562131f9a35b1ad329e90be85add82ee6410b2a","observation_id":"10f3dc7d-dd99-4a42-821b-bcc0b5572fcf","resolution":{"observed_at":"2026-08-07T04:37:42.188133Z","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-07T04:37:42.167577Z","title":"Glpk (gnu linear programming kit)","venue":null,"work_id":"993e70be-6b11-4069-b566-df201ad3df8f","year":2008},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.731229Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:c3f507e46661e981734979dccde86717631b2737742102a1a96e141ae88e705c","observation_id":"eba536c3-c063-40c8-a387-d2f1c8bf7b64","resolution":{"observed_at":"2026-08-07T04:37:42.172372Z","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-07T04:37:42.152070Z","title":"Decision problems for linear recurrence sequences","venue":null,"work_id":"43ac8e57-c10f-4dc8-9e7b-05d268e8ed16","year":2012},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.735663Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:378ae020e72c09072fb311fec523c473ccc9ba2581ccfe94c612f0588c33950e","observation_id":"a46c4c65-8f27-4722-b640-0cea5052cbd3","resolution":{"observed_at":"2026-08-07T04:37:42.156958Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.739564Z","title":"On linear recurrence sequences and loop termination","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.739564Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:a1f3973804a7ac83992dac8b1c432f71e6f80d3f98f556cfd293343cb0bafcf1","observation_id":"38b244c7-1bf5-4925-aa4c-236855b77a73","resolution":{"observed_at":"2026-08-07T04:37:41.739564Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.743893Z","title":"Papadimitriou","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.743893Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:bc5fb75d6644e312d66a42fba5e38179bbc38f20d0c6860497dff62c3e4ad218","observation_id":"6f80a0d2-b774-47c1-b422-40549746793b","resolution":{"observed_at":"2026-08-07T04:37:41.743893Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.747921Z","title":"Puterman","venue":null,"work_id":null,"year":1994},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.747921Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:e2c246b231c9f0184c4a184e85ef5d3d8e5ff96504f1e7de228e5d17c45b7a40","observation_id":"28b9b07c-7242-492d-b532-e15d9f4d41e5","resolution":{"observed_at":"2026-08-07T04:37:41.747921Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.751993Z","title":"Ranking and repulsing supermartingales for reachability in randomized programs","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.751993Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:3571395f49afccd4d38fb393f99f6e2c3f1f70c643c5b004a228bdc30e5d2bae","observation_id":"e9731ce8-c5d2-4300-887b-3fc75c6c32e3","resolution":{"observed_at":"2026-08-07T04:37:41.751993Z","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":"10.1007/s11633-021-1278-z","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T04:37:41.788921Z","title":"Optimal policies for quantum markov decision processes","venue":null,"work_id":"fc3a28c1-8531-4a99-92af-1ff2901e8d6b","year":2021},"citing_paper":{"arxiv_id":"2506.10377","last_updated":"2025-07-24T12:26:19Z","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)","version":2},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T04:37:41.756252Z"},"links":{"citing_paper":"/paper/2506.10377"},"observation_digest":"sha256:6c12be2b94fbcdf60b060c1fa6a1ad991ef76c899c91cf1e03ff82f068bb531e","observation_id":"6312cd64-9a9c-42e1-818e-bbd11d34e42c","resolution":{"observed_at":"2026-08-07T04:37:41.795653Z","resolver_source":"doi","status":"verified_exact"},"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":"2506.10377","last_updated":"2025-07-24T12:26:19Z","latest_version":2,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-07T04:25:34.284260Z","submitted_at":"2025-06-12T06:05:38Z","title":"Chance and Mass Interpretations of Probabilities in Markov Decision Processes (Extended Version)"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":18,"verified_exact":4,"verified_fuzzy":14},"total_outbound_references":36},"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 36 of 36 outbound references and 0 inbound Pith citation observations for arXiv:2506.10377."}