{"as_of":"2026-08-10T17:59:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:1cbb97c247ec4c46664de83d27494f9c5fae8094e1ab53737880412eb35de4c8","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:53:53.126685Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":2,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":2,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-13T21:47:55.704455Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":1,"source":"arxiv_reference","source_observed_at":"2026-08-05T02:28:24.338817Z","state":"measured"}],"external_citation_measurements":[{"count":0,"observed_at":"2026-08-05T02:28:24.338817Z","source":"arxiv_reference"}],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"cited_work":{"arxiv_id":"2507.02213","doi":"10.48550/arxiv.2507.02213","metadata_source":"arxiv_reference","pith_arxiv_id":"2507.02213","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gracia and M","venue":"ArXiv.org","work_id":"7a9a002a-4628-4e46-916d-847324b07b6c","year":2025},"citing_paper":{"arxiv_id":"2604.01372","last_updated":"2026-04-04T05:25:50Z","snapshot_observed_at":"2026-07-06T22:51:35.522923Z","submitted_at":"2026-04-01T20:31:37Z","title":"Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-13T21:47:55.704455Z"},"links":{"cited_paper":"/paper/2507.02213","citing_paper":"/paper/2604.01372"},"observation_digest":"sha256:b097b646d34a8a60e86e846a646ff009fa89cd814c1843fd7b6bc628619f79e7","observation_id":"0a400dfd-2d9b-4e26-9190-0b0405ffb90e","resolution":{"observed_at":"2026-05-13T21:48:18.944932Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"cited_work":{"arxiv_id":"2507.02213","doi":"10.48550/arxiv.2507.02213","metadata_source":"arxiv_reference","pith_arxiv_id":"2507.02213","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Gracia and M","venue":"ArXiv.org","work_id":"7a9a002a-4628-4e46-916d-847324b07b6c","year":2025},"citing_paper":{"arxiv_id":"2604.13377","last_updated":"2026-04-15T00:54:35Z","snapshot_observed_at":"2026-07-06T23:01:23.771347Z","submitted_at":"2026-04-15T00:54:35Z","title":"On the Optimality of Uncertain MDP Abstractions","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"cited_paper":"/paper/2507.02213","citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:ea7f4c75b10661c9792291757d8c34f0f4f9b3ea5c79ecd65117b1ad9e9fb76b","observation_id":"161ece4d-864f-4716-be08-ee4bbcebe72e","resolution":{"observed_at":"2026-05-11T11:36:02.263850Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.02213/citation-record","integrity":"/paper/2507.02213/integrity","json":"/paper/2507.02213/citation-record.json","paper":"/paper/2507.02213"},"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-06T20:53:56.964913Z","title":"Formal control synthesis for stochastic neural network dynamic models","venue":null,"work_id":"71e61b1d-bd20-4b80-b626-c10f2967a76c","year":2022},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:50.802764Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:1cdfd2ae3d1d57ceed191ae04f4e7c4f4d21123fc012ae75e041e26a03762841","observation_id":"347ff60a-378a-414a-8796-828cb3514de6","resolution":{"observed_at":"2026-08-06T20:53:57.039016Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:56.840570Z","title":"Set propagation techniques for reachability analysis","venue":null,"work_id":"8745c40d-da54-4407-b9d7-d2be1042017d","year":2021},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:50.885863Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:45c10f345044ec2c9e7888d03f1a7fffa96157cb8941a0a8c1b193c938f35a8e","observation_id":"5c25cf48-c4a5-4a5f-8d5c-683b8091227e","resolution":{"observed_at":"2026-08-06T20:53:56.908228Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2406.00826","last_updated":"2025-07-18T07:33:46Z","snapshot_observed_at":"2026-08-09T12:05:49.244855Z","submitted_at":"2024-06-02T18:19:19Z","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","version":4},"cited_work":{"arxiv_id":"2406.00826","doi":null,"metadata_source":"pith","pith_arxiv_id":"2406.00826","snapshot_observed_at":"2026-08-06T20:53:53.942054Z","title":"Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates","venue":"cs.LG","work_id":"b1589233-876a-46aa-a2c8-ebac859eb16c","year":2024},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:50.951229Z"},"links":{"cited_paper":"/paper/2406.00826","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:cd520a74884975dd54c53d12d6f331ac76a797b429d8ed34be7126d52abf5433","observation_id":"d4a4a76f-56e0-4f7e-8a42-0e46e35c0830","resolution":{"observed_at":"2026-08-06T20:53:54.025877Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:56.700190Z","title":"Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty","venue":null,"work_id":"a4d855cc-e391-4151-9bfe-0e8259a5528b","year":2023},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.001728Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:37c7e7fb335dce28dc8bede4ae760e2b00d9ba0042022a0e225c88734b8c4a9d","observation_id":"f349cbc8-6629-4605-998c-edb60bde3bfa","resolution":{"observed_at":"2026-08-06T20:53:56.767748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:56.570951Z","title":"Sampling-based robust control of autonomous systems with non-gaussian noise","venue":null,"work_id":"518eb971-19f6-4606-a8bf-1529c60c0f56","year":2022},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.053677Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:20d842649bb38ae6c3a327c927a99733b1db15bf6cc807964636b5164880422a","observation_id":"952fcf7e-575d-4384-be8e-08fc8b266ea3","resolution":{"observed_at":"2026-08-06T20:53:56.638878Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:56.462507Z","title":"Stochastic optimal control: the discrete-time case, volume 5","venue":null,"work_id":"fbfbe59a-8922-4960-a223-947b237ed5dc","year":1996},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.143196Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:01cadf48e638a41426b093d020a805f26716590de0786a9a5730fb84a6eb39fe","observation_id":"143d93aa-bcc6-44f4-bf0a-141f6c0b3de2","resolution":{"observed_at":"2026-08-06T20:53:56.504759Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:56.299878Z","title":"Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems","venue":null,"work_id":"9977d58c-2aea-4044-b2f1-90f13cd11927","year":2019},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.217501Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:32a26fcc22167e8d44e1a7ef5b98933a352da92adce8bfeed7fabf700520cfc9","observation_id":"a3778d6a-ddfd-4bd0-acaa-bdcd9b82201a","resolution":{"observed_at":"2026-08-06T20:53:56.386427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:56.143369Z","title":"A learner-verifier framework for neural network controllers and certificates of stochastic systems","venue":null,"work_id":"edef49c8-f6e1-4c57-b485-ff4531da1462","year":2023},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.277506Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:c4c0635ac8d9699c41fa279f5b99150b957f44ed994d87eab307b3ff4fa27977","observation_id":"27210078-20fb-420f-bd48-6f4ecad16c88","resolution":{"observed_at":"2026-08-06T20:53:56.216722Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.08344","last_updated":"2024-04-12T09:20:23Z","snapshot_observed_at":"2026-08-09T12:06:15.433166Z","submitted_at":"2024-04-12T09:20:23Z","title":"Data-driven Interval MDP for Robust Control Synthesis","version":1},"cited_work":{"arxiv_id":"2404.08344","doi":null,"metadata_source":"pith","pith_arxiv_id":"2404.08344","snapshot_observed_at":"2026-08-06T20:53:53.756415Z","title":"Data-driven Interval MDP for Robust Control Synthesis","venue":"eess.SY","work_id":"79cf6412-86e8-43f2-8750-5ee4a8c1d2c9","year":2024},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.355238Z"},"links":{"cited_paper":"/paper/2404.08344","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:db890c48ca22a94c3373bf20394b8e149b89f18f07213814eba432c944b2236d","observation_id":"1dcf359c-ef64-471a-95d4-14ad6099df36","resolution":{"observed_at":"2026-08-06T20:53:53.836330Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:55.996668Z","title":"Efficient verification for stochastic mixed monotone systems","venue":null,"work_id":"6901a85b-bf9b-4695-a3e2-9e8a9acffa1c","year":2018},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.424387Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:63bc3c9d845ea89e307a5e0ba0f8fa354f1cd70d33d0b1f41770c4efff5abbe4","observation_id":"9de6088e-6928-4bd9-89eb-2e57dd2cef80","resolution":{"observed_at":"2026-08-06T20:53:56.043866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:55.839779Z","title":"Abstraction-based synthesis for stochastic systems with omega-regular objectives","venue":null,"work_id":"356886b3-9863-4092-b210-659eed0a6e16","year":2022},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.480532Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:43ba23236649f0f0def790699b49a7a3c2cfbb87383ab2012df4bf9fea3bc137","observation_id":"dca61c4e-88e7-4d28-b377-f84c9b76de81","resolution":{"observed_at":"2026-08-06T20:53:55.901381Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:55.689653Z","title":"Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes","venue":null,"work_id":"b6c33096-88ef-4be4-8689-8e6c9bf265b2","year":2013},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.566416Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:1f0cc883536da3d6f5aa113ea62be4f85803335bd38dd5b6246ee46c1a8a784c","observation_id":"e81c6987-bb91-4150-bf36-417296799f97","resolution":{"observed_at":"2026-08-06T20:53:55.758574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:55.546124Z","title":"Bounded- parameter markov decision processes.Artificial Intelligence, 122(1-2):71–109, 2000","venue":null,"work_id":"f22d0d69-cf3d-4cc8-9db8-56fdc8619194","year":2000},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.653875Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:af901302b62e6dc2c0fe0306e476ae3fc1ffcaabd61353e02329adf0d174e49c","observation_id":"019e6398-b71e-44a1-89ce-7c333065d998","resolution":{"observed_at":"2026-08-06T20:53:55.607869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:55.394965Z","title":"Efficientstrategysynthesisfor switched stochastic systems with distributional uncertainty","venue":null,"work_id":"3743e765-1343-4d00-aba4-a89e78d4b867","year":2025},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.726880Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:513469c51ac6f2569b7539747b8c8a1d3c2a8a708b1182e1151a8082f60fc993","observation_id":"8478c159-8b76-4476-a225-ba64ff74cba9","resolution":{"observed_at":"2026-08-06T20:53:55.456626Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:55.247990Z","title":"Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances","venue":null,"work_id":"c0f3e624-6e36-4dcf-a01f-0f08955f1c7c","year":null},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.789144Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:be33443101fabb4fccd4129e2badce03ae25b67868cab7138fa4337ce6b6372b","observation_id":"4f059c7c-bbd7-4cc1-91fd-0f708688941c","resolution":{"observed_at":"2026-08-06T20:53:55.301934Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.11343","last_updated":"2025-04-27T05:46:41Z","snapshot_observed_at":"2026-08-04T08:08:45.766794Z","submitted_at":"2024-12-15T23:55:55Z","title":"Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.11343","snapshot_observed_at":"2026-08-06T20:53:51.869134Z","title":"Temporal logic control for nonlinear stochastic systems under unknown disturbances","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.869134Z"},"links":{"cited_paper":"/paper/2412.11343","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:c43a27b80d2affd19b089d87b3ccb15ac93a24afa9521eb9f5ddcb1fa6a9f6fa","observation_id":"eb861261-0f8a-42c9-9fe5-c1498a98d3e1","resolution":{"observed_at":"2026-08-06T20:53:51.869134Z","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-06T20:53:55.113015Z","title":"Formal verification and synthesis for discrete-time stochastic systems","venue":null,"work_id":"c95f14df-c417-4aa6-adfc-ec58410d5133","year":2015},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:51.933050Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:da790b0a349b3f1163a9d0c45eb7f2bb4f26ed9b209b440cf173cd40cb7e3bfd","observation_id":"da1c5e05-38f6-45f3-a146-2e49541e2cae","resolution":{"observed_at":"2026-08-06T20:53:55.173044Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2310.01802","last_updated":"2025-05-24T18:56:26Z","snapshot_observed_at":"2026-08-09T17:23:55.100142Z","submitted_at":"2023-10-03T05:19:55Z","title":"A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.01802","snapshot_observed_at":"2026-08-06T20:53:52.008212Z","title":"A unifying perspective for safety of stochastic systems: From barrier functions to finite abstractions","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.008212Z"},"links":{"cited_paper":"/paper/2310.01802","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:a13a536682fc0286c3f70899582d1b8f8b4ba3ca35b98e6fb1a802ad948aa2c9","observation_id":"dd78bf49-1051-456b-9027-178c37564473","resolution":{"observed_at":"2026-08-06T20:53:52.008212Z","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-06T20:53:54.918051Z","title":"Formal and efficientsynthesisforcontinuous-timelinearstochastichybrid processes","venue":null,"work_id":"fcbf0fe0-8267-4f35-9cff-40a9eea8fa68","year":2020},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.090917Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:4e7f1247cfb49602f1ce4ae830347655a1567ae3e915a82946e4a0e5504fc60e","observation_id":"e6b77254-2103-4900-bde8-c56d644d5002","resolution":{"observed_at":"2026-08-06T20:53:54.996779Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:54.725914Z","title":"Constructing mdp abstractions using data with formal guarantees.IEEEControlSystemsLetters , 7:460–465, 2022","venue":null,"work_id":"cbf5abfa-15cc-4c63-a4df-86b9642ac332","year":2022},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.158759Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:bbec1497bd2df188d8ef7213c0df78222a54b192078da972bd9c153f26822cea","observation_id":"229a3cb0-d9cd-48a9-9f96-d076f53b26c3","resolution":{"observed_at":"2026-08-06T20:53:54.830926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2411.11803","last_updated":"2025-03-07T09:19:59Z","snapshot_observed_at":"2026-07-06T19:52:07.342252Z","submitted_at":"2024-11-18T18:17:36Z","title":"Scalable control synthesis for stochastic systems via structural IMDP abstractions","version":2},"cited_work":{"arxiv_id":"2411.11803","doi":null,"metadata_source":"pith","pith_arxiv_id":"2411.11803","snapshot_observed_at":"2026-08-06T20:53:53.513558Z","title":"Scalable control synthesis for stochastic systems via structural IMDP abstractions","venue":"eess.SY","work_id":"eb641d86-3d58-4a44-af61-8ff7512c1aaa","year":2024},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.228105Z"},"links":{"cited_paper":"/paper/2411.11803","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:c5a055f278eca781bb93e173a035a7b1fffb2f840da5bfd1238ac80988133cc8","observation_id":"936b444e-834d-4ef8-a7c6-8e62dc41ab3a","resolution":{"observed_at":"2026-08-06T20:53:53.617711Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:54.515064Z","title":"Intervalmdp","venue":null,"work_id":"990365e8-2c5e-4476-8f40-3fdfc39c12f3","year":2024},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.338797Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:f5b576f4549786d64f16a46a067b514fcb3177b0bcc27fef65f46ec17a02efb1","observation_id":"cc6415dd-f614-4cc9-99ef-22fb7a55a75b","resolution":{"observed_at":"2026-08-06T20:53:54.611581Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.06662","last_updated":"2024-10-09T08:17:29Z","snapshot_observed_at":"2026-08-03T14:37:12.036782Z","submitted_at":"2024-10-09T08:17:29Z","title":"A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.06662","snapshot_observed_at":"2026-08-06T20:53:52.435560Z","title":"Adata-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.435560Z"},"links":{"cited_paper":"/paper/2410.06662","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:1d73511e68ab4d248c9b30004528719e3bbf965ec1b1479f480fb7263bfcebc2","observation_id":"09ce8264-3403-45fc-b79f-faa15079c716","resolution":{"observed_at":"2026-08-06T20:53:52.435560Z","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-06T20:53:54.372552Z","title":"Safety guarantees for neural network dynamic systems via stochastic barrier functions","venue":null,"work_id":"4c3579ba-51fa-4b80-9418-8c6ed17e5a2d","year":2022},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.528566Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:5d46dae5f3076ee79c22b51a88e9641336bbf37f40abe93c1a9bcc39452541be","observation_id":"6456e3af-399a-437c-abe5-dae271a3b972","resolution":{"observed_at":"2026-08-06T20:53:54.435054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-07-06T20:15:45.334609Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"cited_work":{"arxiv_id":"2501.01191","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.01191","snapshot_observed_at":"2026-08-06T20:53:53.342148Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","venue":"eess.SY","work_id":"79a4e1a8-d97c-43c2-99b0-e1871bf80692","year":2025},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.599449Z"},"links":{"cited_paper":"/paper/2501.01191","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:1c0063cb6f5106ef68d0004ee5cff1cd695d23dcf76ed177203cbf60eb6cf683","observation_id":"e0efe3d5-f4f0-4e6c-ab37-f89b2b295aba","resolution":{"observed_at":"2026-08-06T20:53:53.402712Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2111.10330","last_updated":"2023-09-09T20:27:19Z","snapshot_observed_at":"2026-07-06T12:10:16.997623Z","submitted_at":"2021-11-19T17:22:51Z","title":"Data-driven verification and synthesis of stochastic systems via barrier certificates","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.10330","snapshot_observed_at":"2026-08-06T20:53:52.683141Z","title":"Data-driven verification and synthesis of stochasticsystemsthroughbarriercertificates","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.683141Z"},"links":{"cited_paper":"/paper/2111.10330","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:486f56850cc7fb2fe57884ca32daf002bfc13ad74fa2a90de565f3f4371006a4","observation_id":"47a45cc0-7ea1-4214-b32d-d634dece972c","resolution":{"observed_at":"2026-08-06T20:53:52.683141Z","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-06T20:53:54.244035Z","title":"Formal abstraction of general stochastic systems via noise partitioning.IEEE Control Systems Letters, 2023","venue":null,"work_id":"1aab0626-9b75-4514-a69c-18dfdd3ce98d","year":2023},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.844211Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:1d54b5681b2566ae9cb44682c40a5b4abcf48e6db53d130e504154c7f2c691f4","observation_id":"1c5ad492-934e-44cb-815a-aaeec1012822","resolution":{"observed_at":"2026-08-06T20:53:54.291173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-06T20:53:54.104531Z","title":"Planning under risk and knightian uncertainty","venue":null,"work_id":"57c2be61-e2d1-4d82-bb36-c8418e7ea236","year":2007},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:52.965767Z"},"links":{"citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:0584787929c1719f56e1cebf19a60c6b882a6406bb80aaa15d0c3bba8bd5f065","observation_id":"36305c68-0787-4fe6-86e0-71189aa0d229","resolution":{"observed_at":"2026-08-06T20:53:54.161365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2502.19603","last_updated":"2025-02-26T22:38:29Z","snapshot_observed_at":"2026-08-07T17:44:44.282998Z","submitted_at":"2025-02-26T22:38:29Z","title":"Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.19603","snapshot_observed_at":"2026-08-06T20:53:53.126685Z","title":"Planning with linear temporal logic specifications: Handling quantifiable and unquantifiable uncertainty.arXiv preprint arXiv:2502.19603, 2025","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T20:53:53.126685Z"},"links":{"cited_paper":"/paper/2502.19603","citing_paper":"/paper/2507.02213"},"observation_digest":"sha256:0df03e8a4005e0013902e4cf951fabaf542bc7f9b31c19af374f49c0d6961a12","observation_id":"22849e22-952f-409d-a0e6-c0e5319dd231","resolution":{"observed_at":"2026-08-06T20:53:53.126685Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.02213","last_updated":"2025-07-03T00:27:47Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-10T02:00:19.731078Z","submitted_at":"2025-07-03T00:27:47Z","title":"Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":5,"verified_exact":4,"verified_fuzzy":20},"total_outbound_references":29},"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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 2 inbound Pith citation observations for arXiv:2507.02213."}