{"as_of":"2026-08-11T15:01:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7079b06851fc7068a98b177c2ce959cb518a11c3b61a96dd03dabfe5ce81e3b2","coverage":[{"denominator":27,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":27,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-10T13:48:05.851529Z","state":"measured"},{"denominator":27,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":27,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+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/2604.13377/citation-record","integrity":"/paper/2604.13377/integrity","json":"/paper/2604.13377/citation-record.json","paper":"/paper/2604.13377"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Temporal logic control for nonlinear stochastic systems under unknown disturbances","venue":null,"work_id":"7b876ec5-8abe-4577-a0dd-b92c6772adaa","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":1,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:4a10d2c301b526498aa2f8f20fefaba1725b72500f38fcbba1d5f58e2be8e0c2","observation_id":"ad3b16bc-93b5-4348-8831-bbf29190f595","resolution":{"observed_at":"2026-05-18T21:42:52.623098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-07T06:03:21.863661Z","title":"Approximate model checking of stochastic hybrid systems","venue":null,"work_id":"43ed169f-fe4f-4767-8919-6fe4d3647707","year":2010},"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":2,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:639dd65f8ed7b41016b4217efe4ba08512682872b1028e1dc4dd23c78e6ae025","observation_id":"48174169-9134-42d9-870e-b0b0ccb73d25","resolution":{"observed_at":"2026-05-18T21:42:52.605605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Formal verification and synthesis for discrete-time stochastic systems","venue":null,"work_id":"6816253c-9f65-4dd2-95f4-9612bf835dbe","year":2031},"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":3,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:f5e9fc94a5aa63d505171871cec8bb5c7146bec574dd6c7dd6432293c1e598dc","observation_id":"58f4aa32-719a-4a71-978e-da0a3611d7e7","resolution":{"observed_at":"2026-05-18T21:42:52.599061Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems","venue":null,"work_id":"ce5b834b-b5b8-4815-80ca-7bdfbc5e59a5","year":2019},"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":4,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:c8f2c22c349989edf2e0a42cbd1290737cf5d62e5b729250d63c0ab1a3ae689c","observation_id":"22ed63a2-ee95-48ae-8f01-3e50dbaf3746","resolution":{"observed_at":"2026-05-18T21:42:52.586220Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Formal control synthesis for stochastic neural network dynamic models","venue":null,"work_id":"6e5a2256-637b-49d7-b7f9-2b7aed35ffc3","year":2022},"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":5,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:3f86b57cea9f45d35b98f7db0318c78cab60ece874f58e8824dfb2c0754503f1","observation_id":"dad01dcd-19dc-43b3-8bd4-9ec664424d77","resolution":{"observed_at":"2026-05-18T21:42:52.596027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Abstraction-based synthesis for stochastic systems with omega-regular objectives","venue":null,"work_id":"f9ee3eb7-e97a-4b18-a08d-a396943eed3b","year":2022},"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":6,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:a5256b66f93e1e6e0a75b8422849ff40ffb5bdcf06f5e82c4474919fd1c99dc0","observation_id":"3faf8531-41c2-4ba1-89cc-0c972a8850a1","resolution":{"observed_at":"2026-05-18T21:42:52.589368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Safe learning for uncertainty-aware planning via interval mdp abstraction","venue":null,"work_id":"041a12a1-f11a-40e4-8ab4-71e6bcae3889","year":2022},"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":7,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:eb03d78fbd395acf964cb75782934a8b1f75c20a7f3bbf04673a3e33b92254c2","observation_id":"059bb1e3-8479-4c41-83fa-a18f73b9d338","resolution":{"observed_at":"2026-05-18T21:42:52.616967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction","venue":null,"work_id":"28d14bcc-3ebb-4b52-9a08-884c7e20bba9","year":2022},"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":8,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:ccfc9223d5908d15d3ac8d761b56593df2d36eecda3fcdcb0e991b1d28367e0c","observation_id":"7d0d7563-9116-4354-af6c-4cd92df6366d","resolution":{"observed_at":"2026-05-18T21:42:52.580007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances","venue":null,"work_id":"89d7c3b1-1ef4-4a6b-9e95-57a8ec6d021b","year":2024},"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":9,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:02fa52449a302d60dfa8e5849e1d16018e2e8c6ff380727337ce81caf655a261","observation_id":"3b565f45-9a89-485a-a190-94498c49e75d","resolution":{"observed_at":"2026-05-18T21:42:52.613494Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2508.15543","last_updated":"2025-09-02T11:38:13Z","snapshot_observed_at":"2026-08-05T17:50:49.215548Z","submitted_at":"2025-08-21T13:21:35Z","title":"Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics","version":2},"cited_work":{"arxiv_id":"2508.15543","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2508.15543","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Data-driven abstraction and synthesis for stochastic systems with unknown dynamics","venue":null,"work_id":"a38eb30c-4057-42b4-b0fe-8dcb85c9aa40","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":10,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"cited_paper":"/paper/2508.15543","citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:4ab7a9dfc67a1264909fd978a93144ab19c8006b0f6557d17d5ad495f15df307","observation_id":"ca1d6477-3359-402b-8cb3-ada4d18345c1","resolution":{"observed_at":"2026-05-11T11:36:02.281013Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Formal abstraction of general stochastic systems via noise partitioning","venue":null,"work_id":"20fd5019-82e4-4cc7-a396-409dcef55bf0","year":2023},"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":11,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:4d2c22ccf726824f9b6beed5df9408c97983a439c04eaf87cadebc7b4a745db4","observation_id":"6b35a1d3-03c8-4225-b0f2-492127957214","resolution":{"observed_at":"2026-05-18T21:42:52.592660Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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:24feadaa4cf5dc80b2735b5e377a8493b6e8ff3f36d242216e26b37513e002a1","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-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Efficient strategy synthesis for switched stochastic systems with dis- tributional uncertainty","venue":null,"work_id":"cc19962b-6f9f-46e8-9a89-9c825833292b","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":13,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:298dbe8fd38731974606879ff052fcc5814453146fc58577ce41978162620d4d","observation_id":"1b7d6ad5-6a03-4361-bd6c-50bea701776f","resolution":{"observed_at":"2026-05-18T21:42:52.602364Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Enhanc- ing data-driven stochastic control via bundled interval mdp","venue":null,"work_id":"831fc9ea-f30a-4e2e-9e9e-c32c2dc4b635","year":2069},"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":14,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:3d5b5587c13708ab0aa8ac411a872d85283ae0978a7fb65b1c46569cf3661cb6","observation_id":"75261326-b984-4b08-8594-977249ca7b28","resolution":{"observed_at":"2026-05-18T21:42:52.582769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes","venue":null,"work_id":"b759ab87-c7bd-471e-b2da-64db5509dbd0","year":2013},"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":15,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:9e738bdcd4eaa8a6c3f794f6c66ff9158f052b58ba71400c76c75b774530596d","observation_id":"182450a1-ba79-4458-802a-2020201108ed","resolution":{"observed_at":"2026-05-18T21:42:52.608895Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Linear temporal logic and linear dynamic logic on finite traces","venue":null,"work_id":"cf0c5bdc-e838-4b5d-96c6-f550055ec9bf","year":2013},"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":16,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:8119a71495d656ddc3c116c807eaf195957a2f8e696211a645bcd43c7813e8bc","observation_id":"19aab164-18cd-49fd-a372-8ed30246220c","resolution":{"observed_at":"2026-05-18T21:42:52.571176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Robust dynamic programming","venue":null,"work_id":"79de5e8c-d7f5-4f2e-8709-61a94e410df9","year":2005},"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":17,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:a4070b2236d31d0ca7ce21dc69801cc894015d40acfcceaaeeb0b9f4410364fa","observation_id":"637eac16-160f-4ba7-9acd-2697630833aa","resolution":{"observed_at":"2026-05-18T21:42:52.574107Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Linear temporal logic and linear dynamic logic on finite traces","venue":null,"work_id":"6dc96d1c-bfdb-4f3a-814d-a35b7e9e3526","year":2013},"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":18,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:47fc2506d3708e757431d9c8790ae6e7f6f0a91fc3025ac19ccbbe165af73a16","observation_id":"62f5b766-f18a-4add-9e77-e4da6aff1654","resolution":{"observed_at":"2026-05-18T21:42:52.620211Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Bertsekas and S","venue":null,"work_id":"0ba53ccc-dfb9-4a41-b189-2d32c6d621d1","year":1996},"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":19,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:7bda2d989065324a3eeb26ecda37b91a06a2e89714b97592b53390c9de7a673e","observation_id":"74ebacaf-a30c-4a82-a24f-692a93d76d2b","resolution":{"observed_at":"2026-05-18T21:42:52.567921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Bounded-parameter markov deci- sion processes","venue":null,"work_id":"f359cac3-6797-404b-9272-680c72d7179b","year":2000},"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":20,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:7f7c16a51f43c030d58bc42fdeabfb15c088a5d8c596bdcaca67cb3d84464d27","observation_id":"8666f582-caed-4bd5-adf8-c949d72054d3","resolution":{"observed_at":"2026-05-18T21:42:52.564644Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Robust control of uncertain markov decision processes with temporal logic specifications","venue":null,"work_id":"345f7ad2-4f6a-4ea4-a192-898bbe388ec8","year":2012},"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":21,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:04c9c1bed9091a0177e084779fa78521d298965ad58834b9ca0bff836fc4cb25","observation_id":"50daf979-0e64-43f4-8dc8-4dcde8eea1c9","resolution":{"observed_at":"2026-05-18T21:42:52.555990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2201.00655","last_updated":"2024-07-16T17:33:04Z","snapshot_observed_at":"2026-08-09T09:15:44.441888Z","submitted_at":"2021-12-31T05:10:05Z","title":"Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression","version":2},"cited_work":{"arxiv_id":"2201.00655","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2201.00655","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Formal verification of unknown dynamical systems via gaussian process regression","venue":null,"work_id":"bdc6955c-cc91-432e-86e8-ed9322f36883","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":22,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"cited_paper":"/paper/2201.00655","citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:7c1e9a7713bf60df0b4b5d2eb176583e19a333e3f6bff50d1a484d867c7f6c2a","observation_id":"61707753-8909-48de-9ab2-cadbd513c762","resolution":{"observed_at":"2026-05-11T11:36:02.255743Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2512.13940","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Data-driven control via conditional mean embeddings: Formal guarantees via uncertain mdp abstraction","venue":null,"work_id":"64a27c8a-0b61-43e9-acba-bcf504c6e594","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":23,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:76a05dc56806026e401546f784bb9076628b42564318317d58c9e8a76afe6dbf","observation_id":"1a7fb391-5233-49b0-aad0-236f499ac263","resolution":{"observed_at":"2026-05-11T11:36:02.269633Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Learning task specifications from demonstrations","venue":null,"work_id":"e8174f06-a3b9-402c-b99d-d4c7712547c4","year":2018},"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":24,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:add5105d3d689a5fc252f75be0c5277823fb7faa254ed349b30aff847fa01d56","observation_id":"07a869f5-3538-4169-9e89-08e58a6eed31","resolution":{"observed_at":"2026-05-18T21:42:52.561615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-07-09T08:56:06.601196Z","title":"Villaniet al.,Optimal transport: old and new","venue":null,"work_id":"c42ccd20-23e3-41be-b7ac-2e023144e833","year":2009},"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":25,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:801d26e44b39a6a4844c9663821c4dc12d7fd1d71022f39f082ebc95eeb94a9f","observation_id":"3da78fa1-6b33-4bab-b989-12a3a62a2d19","resolution":{"observed_at":"2026-05-18T21:42:52.552784Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Extension of range of functions","venue":null,"work_id":"c9235486-59fc-4c39-945e-32dc21708c52","year":1934},"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":26,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:a630ed1dbe528a7417630e4eb61c118552ad8998bf4057000c5ffb2f49e5395f","observation_id":"7e36a4d8-f42e-47da-8e71-f6201c19ee4d","resolution":{"observed_at":"2026-05-18T21:42:52.558827Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+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-06-05T21:23:00.469572Z","title":"Strategy synthe- sis for partially-known switched stochastic systems","venue":null,"work_id":"ee848402-78a5-4bb0-916d-8591bf494219","year":2021},"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":27,"source":"pdf_text","source_observed_at":"2026-05-10T13:48:05.851529Z"},"links":{"citing_paper":"/paper/2604.13377"},"observation_digest":"sha256:4e4a3f3920c384b4d1602e699987ec1bdf9d8bac6be5ab74454205f57c2ca147","observation_id":"e4bda2b9-3ee9-4e62-940d-aadc86b90b53","resolution":{"observed_at":"2026-05-18T21:42:52.576985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2604.13377","last_updated":"2026-04-15T00:54:35Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-07-06T23:01:23.771347Z","submitted_at":"2026-04-15T00:54:35Z","title":"On the Optimality of Uncertain MDP Abstractions"},"reference_resolution":{"displayed":27,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":0,"verified_exact":3,"verified_fuzzy":23},"total_outbound_references":27},"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-11T06:34:44.6726+00:00","source":"crossref"},{"observed_at":"2026-08-11T06:34:36.301508+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2604.13377."}