{"as_of":"2026-08-10T19:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:db2c2603acdd154dfce7d21195a68ab93f74652657d8dfd5f5fe4041f76d64a2","coverage":[{"denominator":26,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":26,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-31T23:17:09.608536Z","state":"measured"},{"denominator":26,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":26,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/2607.27908/citation-record","integrity":"/paper/2607.27908/integrity","json":"/paper/2607.27908/citation-record.json","paper":"/paper/2607.27908"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:06.370901Z","title":"& Roy, D","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:06.370901Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:fdee0fa1ffc346c2db01636528b332132df8b1fb3e76030f12ac8673f3ca2d43","observation_id":"7bec68c4-0a43-4d43-b47c-54b59613684f","resolution":{"observed_at":"2026-07-31T23:17:06.370901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:06.817056Z","title":"& Jungers, R","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:06.817056Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:335081244655c54ead03bae0c7aefafa9d988b2e1a26730ca3c7ee06b45f773b","observation_id":"02f787bf-8223-4e50-a4ad-5490632250c4","resolution":{"observed_at":"2026-07-31T23:17:06.817056Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.07733","last_updated":"2025-05-12T16:40:32Z","snapshot_observed_at":"2026-08-09T13:29:46.856987Z","submitted_at":"2025-05-12T16:40:32Z","title":"Non-Conservative Data-driven Safe Control Design for Nonlinear Systems with Polyhedral Safe Sets","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.07733","snapshot_observed_at":"2026-07-31T23:17:07.963874Z","title":"B., Lahijanian, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.963874Z"},"links":{"cited_paper":"/paper/2505.07733","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:28fa5ee04b1ba3efb47622ea22c4be9b49fc3064a5e4bfce6e8fa331ac333403","observation_id":"dc755f31-c58c-4001-ba5c-192d5bce4d2c","resolution":{"observed_at":"2026-07-31T23:17:07.963874Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:07.282252Z","title":"F., Akametalu, A","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.282252Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:5bb8cbc12a727883e73898fc41c7b069916fe38a31d40923114fb78215bb6cd7","observation_id":"94db0740-e79a-40a4-844e-91a2762e4149","resolution":{"observed_at":"2026-07-31T23:17:07.282252Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2509.04413","last_updated":"2025-09-04T17:34:59Z","snapshot_observed_at":"2026-08-07T05:59:49.984397Z","submitted_at":"2025-09-04T17:34:59Z","title":"SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2509.04413","snapshot_observed_at":"2026-07-31T23:17:07.163930Z","title":"& Arcak, M","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.163930Z"},"links":{"cited_paper":"/paper/2509.04413","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:92ad48a1e4557e340c9ac1a5a2090d8f8eb3bfb99c6e540eb635898af1718241","observation_id":"d917d677-2480-47a7-b918-7b91354fe198","resolution":{"observed_at":"2026-07-31T23:17:07.163930Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:09.374326Z","title":"J., Camlibel, M","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:09.374326Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:a686ca50f1d965eff69165d636692dd8750cb7821c8161ed0709953058033326","observation_id":"8d11622e-9d29-46f3-a645-b25f1bb8ad7f","resolution":{"observed_at":"2026-07-31T23:17:09.374326Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:08.199368Z","title":"& Zamani, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:08.199368Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:9e52c092840287d390a016c86c51db36d985763aa158969cc92a2b48c5e29d3a","observation_id":"bbebac33-1ede-449f-8614-a1e96e7c8424","resolution":{"observed_at":"2026-07-31T23:17:08.199368Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:07.869802Z","title":"& Kapoor, A","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":121,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.869802Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:2293ced2114eb043d76576a4f1886a3ac1a8a0d193fda94916dd0baec0c5f08f","observation_id":"1ab7c854-3a81-45b5-942e-6a329d0a81db","resolution":{"observed_at":"2026-07-31T23:17:07.869802Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:06.663261Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":175,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:06.663261Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:78c74f0c3814ef864354617da4587eaca72a1cb77d5938bf449a2a23a306ec7b","observation_id":"e70ad77d-ad29-4eb0-b942-1af6b865237b","resolution":{"observed_at":"2026-07-31T23:17:06.663261Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2211.01793","last_updated":"2023-03-29T12:34:12Z","snapshot_observed_at":"2026-07-06T14:14:02.117220Z","submitted_at":"2022-11-03T13:25:27Z","title":"Data-driven Abstractions for Verification of Deterministic Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2211.01793","snapshot_observed_at":"2026-07-31T23:17:06.951585Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":189,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:06.951585Z"},"links":{"cited_paper":"/paper/2211.01793","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:27ffafd40bbc49e6000197c2a22402e8fbf9297e308f71ea2462361c7a45d10f","observation_id":"08afce57-a1e4-4f66-8b43-941ab9f0cfe3","resolution":{"observed_at":"2026-07-31T23:17:06.951585Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.19806","last_updated":"2025-02-27T06:28:09Z","snapshot_observed_at":"2026-08-07T17:43:56.730524Z","submitted_at":"2025-02-27T06:28:09Z","title":"From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.19806","snapshot_observed_at":"2026-07-31T23:17:08.783870Z","title":"G., Fridman, E","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":316,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:08.783870Z"},"links":{"cited_paper":"/paper/2502.19806","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:b6e72cb8e43306cb28a99dbd65e5e3e0a4c43ce7272e13e93d82af3afe43fb9c","observation_id":"0f63cf8d-60be-41d9-ae31-62fe7dfab698","resolution":{"observed_at":"2026-07-31T23:17:08.783870Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:07.678050Z","title":"& Zamani, M","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":438,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.678050Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:499556eb54a4a69fa63fc9ba5c975a20c2e3face3805e02a4b49f980b264ec88","observation_id":"06bde77e-9e69-4ead-aaaa-8ae73a95adb1","resolution":{"observed_at":"2026-07-31T23:17:07.678050Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:07.044134Z","title":"N., R¨ uffer, B","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":492,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.044134Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:e2797e6d36beb495f2ffb55f91ef2194f52824f279236ef5e59360e9b0100b53","observation_id":"ab7298e7-2678-44cc-8939-dc63a9ff572e","resolution":{"observed_at":"2026-07-31T23:17:07.044134Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:08.960309Z","title":"& Coogan, S","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":1179,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:08.960309Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:d2a6d292578e78a4984ca2119e63f9a0293593bf857f07fbf31029a93853d14b","observation_id":"cafb32f8-5142-4591-b5bb-eb8464611839","resolution":{"observed_at":"2026-07-31T23:17:08.960309Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2508.01315","last_updated":"2026-06-01T06:40:20Z","snapshot_observed_at":"2026-08-09T18:08:39.155212Z","submitted_at":"2025-08-02T11:07:43Z","title":"Data-Efficient Control of Polynomial Systems via Physics-Guided Quadratic Constraints","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.01315","snapshot_observed_at":"2026-07-31T23:17:06.427858Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":1698,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:06.427858Z"},"links":{"cited_paper":"/paper/2508.01315","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:2946b26f77e01295f17fd904f2adf6078f86cb515b1b282b32af9cad7bf9d553","observation_id":"3510fd7e-dfe7-47e0-a096-df61110a52aa","resolution":{"observed_at":"2026-07-31T23:17:06.427858Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.07232","last_updated":"2024-12-10T06:43:32Z","snapshot_observed_at":"2026-08-10T18:45:35.004946Z","submitted_at":"2024-12-10T06:43:32Z","title":"Learning k-Inductive Control Barrier Certificates for Unknown Nonlinear Dynamics Beyond Polynomials","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.07232","snapshot_observed_at":"2026-07-31T23:17:09.487727Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":1848,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:09.487727Z"},"links":{"cited_paper":"/paper/2412.07232","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:af667ada403b3732122d1271bc899969e37eebebf726c1cae15626c59925aa2c","observation_id":"5df56d5e-dc7a-47a3-bf51-10a30573ff22","resolution":{"observed_at":"2026-07-31T23:17:09.487727Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.08465","last_updated":"2020-06-15T15:14:18Z","snapshot_observed_at":"2026-08-08T14:48:37.907240Z","submitted_at":"2020-06-15T15:14:18Z","title":"Neural Certificates for Safe Control Policies","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2006.08465","snapshot_observed_at":"2026-07-31T23:17:07.553057Z","title":"& Cort´ es, J","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":2054,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.553057Z"},"links":{"cited_paper":"/paper/2006.08465","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:18e74453bb63d991986e3c927636eccb80b7252ff590ba702b4db4704817369e","observation_id":"59374585-1668-4ce7-8cbd-392e6dc70a94","resolution":{"observed_at":"2026-07-31T23:17:07.553057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:08.082258Z","title":"& G¨ ossler, G","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":2138,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:08.082258Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:c8be1aa1429f9db21d2d58eb1b89e8bbb0cdb98cbb68995651189077eb9a69b6","observation_id":"d2ff11ef-74fa-4044-afe7-7624852421af","resolution":{"observed_at":"2026-07-31T23:17:08.082258Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:08.488686Z","title":"A., Alanwar, A","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":2215,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:08.488686Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:494b8c401236dd09cabe4d9435acf022a10ea2d471127867f169d756bfdb840c","observation_id":"b4d564f8-3908-4230-8b84-f35843cefa6b","resolution":{"observed_at":"2026-07-31T23:17:08.488686Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:06.499320Z","title":"& Jungers, R","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":2250,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:06.499320Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:64876e28724dfeb092370df4561b0c0b8e93e76d9e84d80cbf87023739e3c82b","observation_id":"b1a0025c-888c-4062-bd7f-c4613dbab296","resolution":{"observed_at":"2026-07-31T23:17:06.499320Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:09.080203Z","title":"& Vovk, V","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":3423,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:09.080203Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:98ffb3fbc4b8a0dc95612fc324e9805050a4b774c06b55cb75c0a4db91d62317","observation_id":"a0cbc132-2664-4aa7-ab2e-3745cd2a5055","resolution":{"observed_at":"2026-07-31T23:17:09.080203Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:07.433057Z","title":"& Pappas, G","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":3894,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:07.433057Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:78215d1f602047ef30b7699e2c3a95a0c81a5ee22e055c105d9fd0016672daa5","observation_id":"6a8b3699-2c39-478b-8cb5-53e511b58a38","resolution":{"observed_at":"2026-07-31T23:17:07.433057Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:08.634548Z","title":"& Lahijanian, M","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":4946,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:08.634548Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:ccb50672860cc6e1d9a532227c264a4ea53dac948ea532fdef159056b9fd80af","observation_id":"5d393ace-4d5b-449d-a95e-77ba11d1ab01","resolution":{"observed_at":"2026-07-31T23:17:08.634548Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:09.608536Z","title":"& Soudjani, S","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":6875,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:09.608536Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:b0e9bb4ea803ba93b79572448b671bd05aede0feb7b6722fec3197e4b5a4e013","observation_id":"ad753782-dfca-4821-a4a6-c8d632130811","resolution":{"observed_at":"2026-07-31T23:17:09.608536Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-31T23:17:09.232838Z","title":null,"venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":7700,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:09.232838Z"},"links":{"citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:4a8b367dd2ff6c261a850e15173d60378e36ca4f75ed1478a98045d4b0b84791","observation_id":"10ad7d75-5684-4f14-90d4-28b1d80203ba","resolution":{"observed_at":"2026-07-31T23:17:09.232838Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.01783","last_updated":"2024-12-02T18:34:35Z","snapshot_observed_at":"2026-07-06T20:00:23.632792Z","submitted_at":"2024-12-02T18:34:35Z","title":"Transfer Learning for Control Systems via Neural Simulation Relations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.01783","snapshot_observed_at":"2026-07-31T23:17:08.369342Z","title":"& Zamani, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey","version":1},"reference_index":8005,"source":"pdf_text","source_observed_at":"2026-07-31T23:17:08.369342Z"},"links":{"cited_paper":"/paper/2412.01783","citing_paper":"/paper/2607.27908"},"observation_digest":"sha256:20e71138ee77541f01332c1176ad15539d05676b4118c7b7f3274716706d1a25","observation_id":"9f96ce8c-4a39-44ce-bf7a-7776ba23b9f4","resolution":{"observed_at":"2026-07-31T23:17:08.369342Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.27908","last_updated":"2026-07-30T09:21:51Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-09T21:58:50.744993Z","submitted_at":"2026-07-30T09:21:51Z","title":"Data-Driven Formal Methods for Complex Dynamical Systems: A Survey"},"reference_resolution":{"displayed":26,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":26,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":26},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 10 August 2026, this Paper Citation Record lists 26 of 26 outbound references and 0 inbound Pith citation observations for arXiv:2607.27908."}