{"as_of":"2026-08-11T09:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:013ffaafc1559927395b387e02f43d44aefb9c9a8b2f346740fa444d5715c552","coverage":[{"denominator":65,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":65,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T22:46:05.745194Z","state":"measured"},{"denominator":66,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":66,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-11T06:34:44.6726+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T20:53:52.599449Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-06T20:53:53.342148Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","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:6ca3d8ae5c5fe95c81a245dd7f49f5cdbda97de5b8fe97ce8f9abceeedb13321","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-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"}}],"links":{"evidence":"/evidence","html":"/paper/2501.01191/citation-record","integrity":"/paper/2501.01191/integrity","json":"/paper/2501.01191/citation-record.json","paper":"/paper/2501.01191"},"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-10T22:46:06.822400Z","title":"Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems","venue":null,"work_id":"b367fa8c-bf28-4d53-9487-db7733084620","year":2008},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.443224Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:9187666290129fb1c82d9cbce9aa8164c63f10d33e504c10519e0c1d33773f7b","observation_id":"42a295d9-4e47-46c4-9311-3669d8c418a8","resolution":{"observed_at":"2026-08-10T22:46:06.826762Z","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-08-10T22:46:06.809664Z","title":"Stochastic omega-regular verification and control with supermartingales","venue":null,"work_id":"06086f08-6af6-4856-827d-84d8d4f5deda","year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.448590Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:71256834f3295bd0ca6f8631846923536b2f35ad990e7f757967ed36ef09d744","observation_id":"f19286dd-6b91-4780-bc32-0416ce543f2d","resolution":{"observed_at":"2026-08-10T22:46:06.813842Z","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-08-10T22:46:06.795542Z","title":"Set propagation techniques for reachability analysis","venue":null,"work_id":"c1e49f73-ff98-4bd2-9c5b-16852f2b9654","year":2021},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.453548Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:61899e2b8f42595b0e589654d07adeb6416914d7557d29e7fa9107a68033e6ad","observation_id":"19028aa7-b0d3-4281-bc87-7340d318dd8e","resolution":{"observed_at":"2026-08-10T22:46:06.801371Z","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-08-10T22:46:06.782760Z","title":"Henzinger, Orna Kupferman, and Moshe Y","venue":null,"work_id":"e48cea17-4e75-4a3d-9706-9569a97ac7f5","year":1998},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.459357Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:e16c0782b280ee9818622e004d7b7989004aed0efa8155b2e54a27af7dfcea4f","observation_id":"30b7be00-1067-46da-8426-bd21a6e507c0","resolution":{"observed_at":"2026-08-10T22:46:06.787069Z","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-08-10T22:46:06.770061Z","title":null,"venue":null,"work_id":"c4795fa4-7dd2-44c4-a9bd-272ad1548bb6","year":1982},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.466617Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:43f4d6d37aab79d1aa3186b9e6f1b895293fa80b1ca574af0a6a177f9c061dc4","observation_id":"91e59849-90fc-4b97-aa78-1cb42db7c83b","resolution":{"observed_at":"2026-08-10T22:46:06.774079Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-10T22:46:06.755414Z","title":"Badings, Alessandro Abate, Nils Jansen, David Parker, Hasan A","venue":null,"work_id":"e4a570f3-d9c4-4dca-9987-ad054fd4462e","year":2022},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.470783Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:71487eea2bc90bc0fbd2dfb31860c67d58e244783a6be34dc2b55e11d24056de","observation_id":"d2a6c672-7b4f-4bb3-a909-6f2ad6470ac0","resolution":{"observed_at":"2026-08-10T22:46:06.759707Z","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-08-10T22:46:06.742053Z","title":"Badings, Licio Romao, Alessandro Abate, and Nils Jansen","venue":null,"work_id":"18dd9125-f931-4c05-a057-399d3364e4ee","year":null},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.475335Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:a9f7b0a087d77bb4ac1ab0900cc786b89b86eb877a2a41e38a0bf7f1c6443953","observation_id":"ae775952-2f38-4bd3-987c-7c4eaa0c8bfa","resolution":{"observed_at":"2026-08-10T22:46:06.746399Z","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-08-10T22:46:06.728309Z","title":"Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A","venue":null,"work_id":"f93a746e-5721-439c-9fc1-4e31138c16b4","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.479239Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:a7279c9a5de1208825ee31dd67c86d36e2ce627b0edbfc1ee7678cebc498a6cc","observation_id":"a1881519-7fe8-4914-bc71-a2c43c7446ce","resolution":{"observed_at":"2026-08-10T22:46:06.733324Z","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-08-10T22:46:06.716289Z","title":"Badings, Licio Romao, Alessandro Abate, and Nils Jansen","venue":null,"work_id":"423dbb3a-1a38-493a-a242-947a8f322f26","year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.483629Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:eee1df482d356802624ab3aedaaffbdb78adc7fbad2f5ac4ac6ca7708e16da33","observation_id":"1a5178c2-6f9b-42bc-a83a-5d138d4fdd82","resolution":{"observed_at":"2026-08-10T22:46:06.720485Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:46:05.488080Z","title":"Principles of model checking","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.488080Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:02104ae3c7c8791117ec063cd4c448fcffa98eee78cadcd55caed2acb48d381b","observation_id":"af80c186-7231-499d-a976-40e2aa9927ae","resolution":{"observed_at":"2026-08-10T22:46:05.488080Z","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-10T22:46:06.696402Z","title":"Herbert, and Claire J","venue":null,"work_id":"6a3b7531-d411-43bc-8645-02abf59ce77e","year":2017},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.492947Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:cc2ad1ae03d1771e4f956640feb7a3a4d078787471d577d190bcb17383a11e54","observation_id":"f2bf05bf-e7cc-4752-af5d-cf9d53d0bb85","resolution":{"observed_at":"2026-08-10T22:46:06.701167Z","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":"2303.17618","last_updated":"2023-10-30T15:51:18Z","snapshot_observed_at":"2026-07-06T15:10:15.773528Z","submitted_at":"2023-03-30T11:26:40Z","title":"Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]","version":4},"cited_work":{"arxiv_id":"2303.17618","doi":null,"metadata_source":"pith","pith_arxiv_id":"2303.17618","snapshot_observed_at":"2026-08-10T22:46:05.964423Z","title":"Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version]","venue":"cs.LG","work_id":"5a47148e-e874-4a7b-b12f-c94abd9c19f6","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.497353Z"},"links":{"cited_paper":"/paper/2303.17618","citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:065d11f0755565b34602a9b3eb145c9bafd6ca67d8e459fb383462eec23c21cc","observation_id":"8738393c-5208-412b-b6b1-d8332d9887ba","resolution":{"observed_at":"2026-08-10T22:46:05.969576Z","resolver_source":"local_arxiv","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-08-10T22:46:06.683666Z","title":"Formal methods for discrete-time dynamical systems, volume 15","venue":null,"work_id":"fe5d8bd5-8a93-43d3-abcb-812e2205653b","year":2017},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.502179Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:803b3ee00c56bf1188a05b16cc5eb8902664f634ea62d02e6600137f85a5976e","observation_id":"e02aad15-ec37-4b35-b942-5faefcffc3d9","resolution":{"observed_at":"2026-08-10T22:46:06.687933Z","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-08-10T22:46:06.670929Z","title":"Bertsekas and Steven E","venue":null,"work_id":"408fcd04-3891-4334-80fc-12bdbabf2d62","year":1978},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.506834Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:d40b83ffd37d23b755aa1ddbc42d5a5918b9d2dade3a00cdb7f14ab9206b2cb3","observation_id":"bb5b0a38-539d-405d-bd79-3168302dbe71","resolution":{"observed_at":"2026-08-10T22:46:06.675070Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:46:05.512218Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.512218Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:f027d52056375bf262dd6691bc904b1c3f10476162ec7c8131669f88730c2298","observation_id":"2585c88e-64b6-4590-bce7-70c3c6480792","resolution":{"observed_at":"2026-08-10T22:46:05.512218Z","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-10T22:46:06.544282Z","title":"Campi, Algo Car \\` e , and Simone Garatti","venue":null,"work_id":"3684b691-4afc-4f10-965e-69732af5440d","year":2021},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.516102Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:029eb1cb5f1ba8469e052d1fb4afbebbcc889024ee474c9deb5bec5ad52d708a","observation_id":"3e994cb6-4d2b-4e82-81e1-9418b8498516","resolution":{"observed_at":"2026-08-10T22:46:06.548422Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:46:05.520314Z","title":"The use of confidence or fiducial limits illustrated in the case of the binomial","venue":null,"work_id":null,"year":1934},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.520314Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:0d440f8cd6a00060b2de8c68dea8f459b6664516f40bd450274ccd9f9542c2c2","observation_id":"f3e3b2ad-fd33-4f80-b561-5764f627e8b4","resolution":{"observed_at":"2026-08-10T22:46:05.520314Z","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-10T22:46:06.521660Z","title":"Data-driven abstractions for verification of linear systems","venue":null,"work_id":"a31edfce-cdcd-46f7-b977-26fcd4b42933","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.525256Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:b7f021bbabbbf470149548a75665629170331669f93499af7901702f7f10d57f","observation_id":"df81fee4-326c-4dec-a2d8-0d9c6efe1366","resolution":{"observed_at":"2026-08-10T22:46:06.527443Z","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-08-10T22:46:06.509417Z","title":"Interval markov decision processes with continuous action-spaces","venue":null,"work_id":"971402fb-a0b8-4f3a-9253-ed6b26bb3686","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.529613Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:37967f7f023b46d2934e5dd1fd7c5ffb948c74e5f950dcfc454e0fc26505a0bc","observation_id":"ce2a61e2-b82a-4e67-b62d-3fc49ed72aea","resolution":{"observed_at":"2026-08-10T22:46:06.513598Z","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-08-10T22:46:06.496350Z","title":"Symbolic abstractions from data: A PAC learning approach","venue":null,"work_id":"0e63df39-f8a6-43e5-bab4-306696ba7d67","year":2021},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.533893Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:04c3e4dc99a2107119da9b2540694c5c14966630d3f0cc3e0e6dbf8307a835da","observation_id":"961e3f86-2aa4-434c-96e9-5db81c561d56","resolution":{"observed_at":"2026-08-10T22:46:06.500627Z","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-08-10T22:46:06.484495Z","title":"Controller synthesis made real: Reach-avoid specifications and linear dynamics","venue":null,"work_id":"01a06426-f68b-420a-84ab-0a25a656ffa9","year":2018},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.537877Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:202b5c38faa0df5ad5fb1545986e70eb0f6ff1fd664288286860876ab9decac5","observation_id":"d307295e-f494-4c12-a3bd-32cc9276bc9b","resolution":{"observed_at":"2026-08-10T22:46:06.488516Z","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-08-10T22:46:06.472021Z","title":"Leach, and Thomas L","venue":null,"work_id":"0a21d5bd-9417-4d22-ab9b-5719c48ffa35","year":2000},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.541869Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:8cd391b2ced6d92fd7b9e6816a88ff3966b412b0998933be4f80581f45b03e58","observation_id":"c06f5158-bb07-40b2-8540-2fdb33cbfa68","resolution":{"observed_at":"2026-08-10T22:46:06.476239Z","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-08-10T22:46:06.458595Z","title":"Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances","venue":null,"work_id":"0d2c2fe0-ef57-4283-a527-4f48ce5d0815","year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.546592Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:1db22b9d24ee445538af1d01d8bc34e872cff9d3018fcfebddc25ac5b6a407fa","observation_id":"7a04eaae-b885-45f7-88c0-a545e187952f","resolution":{"observed_at":"2026-08-10T22:46:06.462873Z","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":"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-10T22:46:05.550608Z","title":"Temporal logic control for nonlinear stochastic systems under unknown disturbances","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.550608Z"},"links":{"cited_paper":"/paper/2412.11343","citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:d879389734952e57ab3206b8b18a01a0d19d88d39b08301adc1e3b670b4de287","observation_id":"1c91c915-9d15-4fe8-86ec-1cecd72fc6af","resolution":{"observed_at":"2026-08-10T22:46:05.550608Z","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-10T22:46:06.445287Z","title":"Dimarogonas","venue":null,"work_id":"f8cd3d47-9334-4127-8775-b23d574acad7","year":2022},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.554735Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:356f85df19e6a69e2711562b54edb7356ef940df0966e9dc520b03eb5ac3122a","observation_id":"9fe50422-b4fb-44b1-aaa7-8385a355ae4f","resolution":{"observed_at":"2026-08-10T22:46:06.449521Z","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-08-10T22:46:06.430070Z","title":"Probabilistic logical characterization","venue":null,"work_id":"17fa2ef3-e6cd-4fae-9579-2168146837d8","year":2011},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.558777Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:81dd7f57960e5256c7608dd560db50b67fb0d3d1681bbc2c4454bcdf5dd2c2b8","observation_id":"4bea126e-647e-4c90-ab3e-c8f4f978578f","resolution":{"observed_at":"2026-08-10T22:46:06.434113Z","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-08-10T22:46:06.417807Z","title":null,"venue":null,"work_id":"90d969a4-8292-452b-95b3-e754b4daf62d","year":2005},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.562666Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:e06c1272dbc571e29dfe81c447e4c0964c7d10c9c39dfd4e6899c5f669d61d09","observation_id":"5e285f20-e62b-411e-85d1-898fb7863eb4","resolution":{"observed_at":"2026-08-10T22:46:06.421969Z","resolver_source":"raw_fallback","status":"unresolved"},"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-08-10T22:46:06.405640Z","title":"Frew, and Morteza Lahijanian","venue":null,"work_id":"34e90294-f455-4a95-a5b4-de886a0bce48","year":2021},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.567009Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:14dd6ec91765ede71c88147213f65976244647b8ffb7d235229da274ec3b3710","observation_id":"74d928af-1268-44cd-a85c-3eeb5e8e68d1","resolution":{"observed_at":"2026-08-10T22:46:06.409688Z","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":"2206.08069","last_updated":"2022-06-16T10:32:08Z","snapshot_observed_at":"2026-07-06T13:21:31.756267Z","submitted_at":"2022-06-16T10:32:08Z","title":"Data-Driven Abstraction-Based Control Synthesis","version":1},"cited_work":{"arxiv_id":"2206.08069","doi":null,"metadata_source":"pith","pith_arxiv_id":"2206.08069","snapshot_observed_at":"2026-08-10T22:46:05.842738Z","title":"Data-Driven Abstraction-Based Control Synthesis","venue":"eess.SY","work_id":"e466bd38-81b3-41c2-bd96-6c0e170b32c7","year":2022},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.572035Z"},"links":{"cited_paper":"/paper/2206.08069","citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:a3ceb7af08cca5f947de08dfb93b284fe99533ddb6d8a75245b0c2b4e741118b","observation_id":"5eb21e17-538e-4945-9578-043305ec0d9e","resolution":{"observed_at":"2026-08-10T22:46:05.848165Z","resolver_source":"local_arxiv","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:46:05.576680Z","title":"Nonlinear systems, volume 3","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.576680Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:9444adbb6f42ed255f8524d49d649481185ff252a5cb2ebba02b142c4f4ccd06","observation_id":"aa578389-1ea2-4286-beb5-bc94db6f85ab","resolution":{"observed_at":"2026-08-10T22:46:05.576680Z","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-10T22:46:06.386024Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":"ab736789-942f-4b37-b929-e3b5aeb31ab0","year":2011},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.581156Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:b33531d4a1de859d7d91337c5f2ac28766b46d1e5e4e1fa250b908c38e7736c3","observation_id":"07a0af33-0a76-437b-a952-faf4bab3b1a9","resolution":{"observed_at":"2026-08-10T22:46:06.390233Z","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-08-10T22:46:06.375294Z","title":"Andersson, and Calin Belta","venue":null,"work_id":"0a990e7a-10dd-4655-88fd-3236d414e6b6","year":2015},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.585223Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:59f840232a91fbbdfde2cde615cdd44b7407b110e7b08183c797fa33dd0b9c2e","observation_id":"cac2ae13-aacd-4a3d-adac-4f2ab5ed540a","resolution":{"observed_at":"2026-08-10T22:46:06.379013Z","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-08-10T22:46:06.364237Z","title":"Bisimulation through probabilistic testing","venue":null,"work_id":"0f450d61-c336-4615-8bd0-db1d1ad6f083","year":1991},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.589330Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:73fac3135888b130efc11268a52bcadc3aba2844bc87c73f4720991f1f9b5349","observation_id":"ee02f646-5df6-4967-8f5d-bdf2abd5ab60","resolution":{"observed_at":"2026-08-10T22:46:06.368233Z","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-08-10T22:46:06.352742Z","title":"Automated verification and synthesis of stochastic hybrid systems: A survey","venue":null,"work_id":"3e3e6a05-62b0-4d29-8fe9-c1a7d4bb669c","year":2022},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.593517Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:1b12a7c9829b24e61aca212b5606aa03b84cf698bd83195006e8f860606aa2b3","observation_id":"e71f5353-213e-45ac-bca5-443f5b085fa3","resolution":{"observed_at":"2026-08-10T22:46:06.356661Z","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-08-10T22:46:06.341272Z","title":"Constructing mdp abstractions using data with formal guarantees","venue":null,"work_id":"8d9680de-95c2-40a2-91b7-f29e037d7828","year":2022},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.598002Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:e256f7f1915a502ab67998a2f0850b44868838090bbb0b2270461ebef6b3982b","observation_id":"a51ede2b-38ad-4cf7-9947-00d22cfc4633","resolution":{"observed_at":"2026-08-10T22:46:06.345476Z","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-08-10T22:46:06.329651Z","title":"A compositional dissipativity approach for data-driven safety verification of large-scale dynamical systems","venue":null,"work_id":"d14837d4-6315-4b42-8304-b654cf7dea63","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.603792Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:5c17e8824fce14e1a5b7d067acdb93825663802ca3782047b8e2557c2d49870e","observation_id":"6a67ff8b-7611-4502-a14a-93d6bd9be3f6","resolution":{"observed_at":"2026-08-10T22:46:06.333995Z","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-08-10T22:46:06.316888Z","title":"Efficient data-driven abstraction of monotone systems with disturbances","venue":null,"work_id":"3ef1703d-87b0-4fed-84a8-9ee97eb012ae","year":2021},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.608756Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:49809f5d4acfb56cb9b9ee333a6e65523c9c1c7ae2a82f7baeb4be7b69ca532f","observation_id":"75d72e4d-9f3b-4050-8481-080d6add5e15","resolution":{"observed_at":"2026-08-10T22:46:06.321125Z","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-08-10T22:46:06.303114Z","title":"Calvert, and Luca Laurenti","venue":null,"work_id":"270aad33-fb41-4955-8291-8c0d4cd1d465","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.613082Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:ced5f719316e746ca4a5cd22cb7a76eeb45977e1852cec7a51fffa8303e513d8","observation_id":"a037ca9e-2c65-4c55-8efd-6eaffcdfab66","resolution":{"observed_at":"2026-08-10T22:46:06.307419Z","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-08-10T22:46:06.289604Z","title":"Scalable control synthesis for stochastic systems via structural imdp abstractions, 2024","venue":null,"work_id":"66c533ba-897f-4748-9c61-f70927987a83","year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.618003Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:dee6c4cc027c78ae4f3cd2a5f19bb6cc268e762304d2501693c2d528b6984ca9","observation_id":"59945b34-b075-4fd6-b6e4-f15e7be2178b","resolution":{"observed_at":"2026-08-10T22:46:06.293926Z","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":"2404.05424","last_updated":"2025-04-17T14:33:17Z","snapshot_observed_at":"2026-08-10T21:05:30.184057Z","submitted_at":"2024-04-08T11:47:46Z","title":"What Are the Odds? Improving the foundations of Statistical Model Checking","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.05424","snapshot_observed_at":"2026-08-10T22:46:05.622737Z","title":"What are the odds? improving the foundations of statistical model checking","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.622737Z"},"links":{"cited_paper":"/paper/2404.05424","citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:dbfdeae958dce77e0e8b1e59f2918d9580e063e2dff48142140a2bf2f19e3f48","observation_id":"0fed0301-0f8e-400f-961a-145f4f69857a","resolution":{"observed_at":"2026-08-10T22:46:05.622737Z","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-10T22:46:06.275842Z","title":"Mitchell","venue":null,"work_id":"3e89ff17-4113-42bd-a9ea-7ea8c5fce92d","year":2007},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.627805Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:e3b68335d2c24d37920971b406524d9c8787cefa3be306c48494a0a2003b79ab","observation_id":"21471c68-266a-4b2a-a1f0-987a2cf77166","resolution":{"observed_at":"2026-08-10T22:46:06.280979Z","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-08-10T22:46:06.261795Z","title":"Formal verification of unknown discrete- and continuous-time systems: A data-driven approach","venue":null,"work_id":"ddbe302e-b931-4701-9420-0a985f49e5c1","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.632873Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:6ac81fc204c763bb01cb07cbd3bb930d63f4129046656ce9029b3d65b7a362b4","observation_id":"b06ba27f-2ec5-4cd2-a0f7-29c1e892472b","resolution":{"observed_at":"2026-08-10T22:46:06.267392Z","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-08-10T22:46:06.244531Z","title":"Two-sided confidence intervals for the single proportion: comparison of seven methods","venue":null,"work_id":"864540a4-7249-4ac3-a8e1-d652307399fe","year":1998},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.636874Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:f268bfccc793194fd254370a6b668198f584e80012178cab3bb81671464bbf1e","observation_id":"84a11b1f-8cf8-48c2-8877-344ede54c0b1","resolution":{"observed_at":"2026-08-10T22:46:06.251631Z","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-08-10T22:46:06.230124Z","title":"Robust control of markov decision processes with uncertain transition matrices","venue":null,"work_id":"c2d03209-8049-48fe-8057-23806c8cebba","year":2005},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.641264Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:4ea0366537ccd743f5c75311f0bb12eee12e8b6c7746321af6d1959b960f3e2a","observation_id":"27a41135-8689-4f21-9455-a607624aac3d","resolution":{"observed_at":"2026-08-10T22:46:06.235415Z","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-08-10T22:46:06.217458Z","title":"Data-driven abstractions with probabilistic guarantees for linear PETC systems","venue":null,"work_id":"160f1fe6-79a7-40a1-a083-8b50aef2f4d3","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.645501Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:04d1f4f28d3a1b026842381b66d230fd4ec765c6046987ddf78e7a9ab94f2130","observation_id":"8f93335c-675a-4d35-a025-d60a35166386","resolution":{"observed_at":"2026-08-10T22:46:06.221817Z","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-08-10T22:46:06.204053Z","title":"The temporal logic of programs","venue":null,"work_id":"d9008c1f-7226-4a9f-af5c-f91467b1c5e2","year":1977},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.649814Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:1ea9983f239b0f1a320877ddeb71ac50b97c6f5eb3405b4cf6052064d2b576f2","observation_id":"920fd3e8-aa53-4835-ade9-fd0cf185ff18","resolution":{"observed_at":"2026-08-10T22:46:06.207995Z","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-08-10T22:46:06.189016Z","title":"Puterman","venue":null,"work_id":"9aa017aa-429f-4c7d-af9b-59b304d16367","year":1994},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.654720Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:1ef3edacc75882511039b214fedb58c8c8896077ba63dd04133fbe42b284bbe1","observation_id":"041c378f-4d44-4dcc-ae43-bb6a7d5465ba","resolution":{"observed_at":"2026-08-10T22:46:06.193851Z","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-08-10T22:46:06.174092Z","title":"Feedback refinement relations for the synthesis of symbolic controllers","venue":null,"work_id":"b9c5b221-8660-4c36-9ac6-0b9379e64ef4","year":2017},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.659183Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:b7d749f8b0413713ab1a85ab9a70cc8b1204d66136dff4b5f332889fa6d5df79","observation_id":"29609e0b-801a-4288-8f4f-a0bd3c39886d","resolution":{"observed_at":"2026-08-10T22:46:06.179488Z","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":"2209.14076","last_updated":"2022-11-21T17:55:36Z","snapshot_observed_at":"2026-07-06T13:57:17.059498Z","submitted_at":"2022-09-28T13:17:28Z","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","version":2},"cited_work":{"arxiv_id":"2209.14076","doi":null,"metadata_source":"pith","pith_arxiv_id":"2209.14076","snapshot_observed_at":"2026-08-10T22:46:05.807549Z","title":"Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems","venue":"eess.SY","work_id":"9d52408d-47a8-408e-b0c8-3f9e2449b906","year":2022},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.664491Z"},"links":{"cited_paper":"/paper/2209.14076","citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:d94c09c80468648fb6fe01ac74914f2dd637fa9852ae4ae86349a47a75984265","observation_id":"a6a97258-c7c8-4640-891c-bb530babf2e2","resolution":{"observed_at":"2026-08-10T22:46:05.814294Z","resolver_source":"local_arxiv","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-08-10T22:46:06.160769Z","title":"On the exact feasibility of convex scenario programs with discarded constraints","venue":null,"work_id":"76f97c9d-ef6a-44ef-9dfd-137e1749b41d","year":1986},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.670303Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:8c8dce6c54a15007ba4c73ba8469e9ffea632231ace6f0f6fc4500c18271d956","observation_id":"6540cf8a-7716-4330-b219-272102f1edce","resolution":{"observed_at":"2026-08-10T22:46:06.165456Z","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-08-10T22:46:06.145851Z","title":"Data-driven verification and synthesis of stochastic systems via barrier certificates","venue":null,"work_id":"6696d21e-2364-4296-a398-4c05682414a6","year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.674730Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:f88a000ebf4c6c6c1f50e0aace8b5bfa04b0ff21443e721bfbf848688a8faaeb","observation_id":"22d7ba0d-242b-44c5-841b-536699c5b2b0","resolution":{"observed_at":"2026-08-10T22:46:06.150747Z","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-08-10T22:46:06.132997Z","title":"Measure and Integration","venue":null,"work_id":"7655fabc-b9cf-4ad6-b885-d55bf7029364","year":2016},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.679638Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:69d49365483f2803c89e57024787131562daa1f68a5eac3c073d1a01e7d4c0e3","observation_id":"205d0ad0-e3cc-4d1f-bb7d-be3791e7acf2","resolution":{"observed_at":"2026-08-10T22:46:06.137019Z","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-08-10T22:46:06.120230Z","title":"Data-driven abstractions via binary-tree G aussian processes for formal verification","venue":null,"work_id":"984ba318-d13d-41d4-a715-917c9ab67a53","year":2024},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.684552Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:c3e26f665caf46c89b344641d5b1ddf228d1df093aebf52eacd6a3ac91859a54","observation_id":"23cfa5ae-a021-41a1-8724-5eb967683f6a","resolution":{"observed_at":"2026-08-10T22:46:06.124938Z","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-08-10T22:46:06.105774Z","title":"Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes","venue":null,"work_id":"fb16c3ad-9953-4df6-b043-e3658505b028","year":2013},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.689422Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:f4b981e08aff91110e6f44ea26a3d212ab444f40efd9e7b52fff760cb75c9a0b","observation_id":"4a1ca8bf-372f-4689-b426-32140927c3c8","resolution":{"observed_at":"2026-08-10T22:46:06.111738Z","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-08-10T22:46:06.091642Z","title":"FAUST \\( ^ 2 \\) : Formal abstractions of uncountable-state stochastic processes","venue":null,"work_id":"336deb9a-015e-4ac7-b553-126dc132e5d7","year":2015},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":55,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.694226Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:0c5439b76ab1544a9b2ea16b6d6682d54c82418233db59cea354d1e3f39d7a0a","observation_id":"58b24f90-e451-41a9-b9ef-ce1284a2835c","resolution":{"observed_at":"2026-08-10T22:46:06.096337Z","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-08-10T22:46:06.077630Z","title":"Stipanovic, Inseok Hwang, and Claire J","venue":null,"work_id":"68fcb272-fa9a-4c7a-9fbb-43acfa9323d9","year":2003},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":56,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.699049Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:a51eb1d70af5e091e46f6dd084309a2a4170270b2561ae4c27b0884b67edfe8a","observation_id":"f2ac31d7-64dc-4604-9aa2-6bb5da427fe6","resolution":{"observed_at":"2026-08-10T22:46:06.082238Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:46:05.703822Z","title":"Bovy, David Parker, and Nils Jansen","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":57,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.703822Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:c21736d961ee16552723dd04534822723effbc8e9ec0a6c00cbf35712d5f5f6e","observation_id":"a173472b-5817-4bf6-a65a-c5357425cd78","resolution":{"observed_at":"2026-08-10T22:46:05.703822Z","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-10T22:46:06.063133Z","title":"Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem","venue":null,"work_id":"5c8f0466-8cd7-4e48-af24-641885846147","year":1951},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":58,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.709218Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:9b6f75f66561ceacf04f5d3183c8931c40a60eb600b43d4da69b093176fb3e89","observation_id":"8942e712-729b-4f14-bd30-b54f9918c199","resolution":{"observed_at":"2026-08-10T22:46:06.067771Z","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-08-10T22:46:06.049041Z","title":"Verification and Control of Hybrid Systems - A Symbolic Approach","venue":null,"work_id":"0b16f92d-638f-47c1-9400-00e79b316ac8","year":2009},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":59,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.713751Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:514c7b056adda83ffff4fa54568318c8dfc2b9d50a9108c313cba3ccb4e25a79","observation_id":"b4f59a79-65df-4895-b5d2-a64dbfd75701","resolution":{"observed_at":"2026-08-10T22:46:06.053495Z","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":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T22:46:05.718397Z","title":"The cost of using exact confidence intervals for a binomial proportion","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":60,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.718397Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:17af5eabd9d860a0f185623e23674f05342cbf83ccb8ec64cbe07af1f795c206","observation_id":"175d72ba-ffeb-4013-a2a1-f3a5d5eab76c","resolution":{"observed_at":"2026-08-10T22:46:05.718397Z","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-10T22:46:06.032985Z","title":"Syscore: Synthesis via stochastic coupling relations","venue":null,"work_id":"88eba1dd-b147-42b8-8f92-4ca0f292020c","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":61,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.724165Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:86d4d1fa977751da616ab2e181cc3a20dab4b2a617de66fcaf843fc23228782e","observation_id":"e839195e-4ae5-4494-90d1-ff2c20cb4e1e","resolution":{"observed_at":"2026-08-10T22:46:06.038478Z","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-08-10T22:46:06.019530Z","title":"Wolff, Ufuk Topcu, and Richard M","venue":null,"work_id":"b12f3f18-8117-4497-a44e-7b741bbc7075","year":2012},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":62,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.728981Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:7c86c718275d372a7fa4bc380ebff46bbc6f6b8fd15e977febfdbff7cc17b308","observation_id":"67c33613-6d73-4c3f-afe8-2af21afb0f30","resolution":{"observed_at":"2026-08-10T22:46:06.023661Z","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-08-10T22:46:06.005033Z","title":"Efficient backward reachability using the minkowski difference of constrained zonotopes","venue":null,"work_id":"a8dc1c8d-24e1-41c5-84c6-59fced17bb2d","year":2022},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":63,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.733743Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:861e53cdbfda817323b70c06c22ebe9041e81bf2a9b3739a8f4452225ef0240b","observation_id":"f7c1a02c-c8a5-44b8-8f4e-b93e2369040a","resolution":{"observed_at":"2026-08-10T22:46:06.010313Z","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-08-10T22:46:05.991970Z","title":"Packard, Murat Arcak, and Peter J","venue":null,"work_id":"68143d52-6725-4d90-affc-0a5e87f01e0b","year":2019},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":64,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.739193Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:fac1e228746f078df341221d1e950c4318d49fcee69dbcdca9de7957414da7e5","observation_id":"469af5f8-9399-4581-9b84-409c53d38dcc","resolution":{"observed_at":"2026-08-10T22:46:05.996212Z","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-08-10T22:46:05.978978Z","title":"Henzinger, and Krishnendu Chatterjee","venue":null,"work_id":"b5734429-e92a-4826-8db3-3c086b6120a3","year":2023},"citing_paper":{"arxiv_id":"2501.01191","last_updated":"2025-08-25T16:55:29Z","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems","version":3},"reference_index":65,"source":"arxiv_source","source_observed_at":"2026-08-10T22:46:05.745194Z"},"links":{"citing_paper":"/paper/2501.01191"},"observation_digest":"sha256:c5ab07e4e35fd897027473396d04fdc73f3fddf953e4eca1e4a04a5f1d667396","observation_id":"d5daf5ce-faac-4e1f-8467-dbc474f96dff","resolution":{"observed_at":"2026-08-10T22:46:05.983331Z","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":"2501.01191","last_updated":"2025-08-25T16:55:29Z","latest_version":3,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-10T22:31:01.026799Z","submitted_at":"2025-01-02T10:50:51Z","title":"Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems"},"reference_resolution":{"displayed":65,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":10,"verified_exact":2,"verified_fuzzy":52},"total_outbound_references":65},"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 65 of 65 outbound references and 1 inbound Pith citation observation for arXiv:2501.01191."}