{"as_of":"2026-08-16T11:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:75df536f376a0dce3a95be013224363cec5656ff804a5a4ae67b3ee2e4cdbe2b","coverage":[{"denominator":34,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":34,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:18:29.452371Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/2608.10254/citation-record","integrity":"/paper/2608.10254/integrity","json":"/paper/2608.10254/citation-record.json","paper":"/paper/2608.10254"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:27.884743Z","title":"In: Proceedings of the ninth ACM international conference on Embedded software","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:27.884743Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:0d05c46d548f881a300cc078047325220b28cd9e08b966ec62781b4953ed2c91","observation_id":"a4e4cfd3-3288-45c2-bf45-774cbb8c084f","resolution":{"observed_at":"2026-08-14T04:18:27.884743Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.tcs.2005.11.026","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:30.899957Z","title":"Theoretical Computer Science354(2), 250– 271 (Mar 2006).https://doi.org/10.1016/j.tcs.2005.11.026,https://www","venue":null,"work_id":"7f164e07-cd33-4886-8d3f-caf74dbc3408","year":2006},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:27.985236Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:52016d6c84f3c79036ddff6820692535b0de90fa1c2930cdcf786822c3d84df0","observation_id":"7d6d3b27-0b38-4611-968b-8ef4529f2ad8","resolution":{"observed_at":"2026-08-14T04:18:31.011075Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2357.11323","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:32.683920Z","title":"ACM Trans","venue":null,"work_id":"ff73fafc-3ef6-488e-9ad1-f90d02905e6a","year":2006},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.019255Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:7dbb196d38079747e455987813c10c7cca13f799b27427af4afff1ae5d51d5f1","observation_id":"d062fe2b-1ce5-4f8f-aab0-f74a7fd3eadd","resolution":{"observed_at":"2026-08-14T04:18:32.816473Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:33.942623Z","title":"MIT Press, Cambridge, MA, USA (Apr 2008)","venue":null,"work_id":"412ef431-7158-454a-a852-0c5dc4eb8bcc","year":2008},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.042662Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:aae2871582987b8ecc1465cb33f2e830a2525eebcb5ccab2f2f8d64c97e7ba87","observation_id":"b3dc8610-bdf5-4263-8a74-f36567dc2f0d","resolution":{"observed_at":"2026-08-14T04:18:33.964826Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:33.783539Z","title":"Statistics & Probability Letters82(6), 1102–1110 (Jun 2012).https://doi.org/10","venue":null,"work_id":"90648a66-88c6-4b84-aed2-23c17a2953db","year":2012},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.068693Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:d00af24daa33d613a80ae32334bfefc2160944c85be213aecaf0a245fffa4a2d","observation_id":"5a4a322f-8183-48fb-9099-fad8c5772824","resolution":{"observed_at":"2026-08-14T04:18:33.805801Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:33.539043Z","title":"Information and Computation98(2), 142–170 (1992)","venue":null,"work_id":"3e0224b9-36fe-45d1-9820-40ab207350b7","year":1992},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.104823Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:58aa90302f7c64e5ea61ab94dea0f638fe96890ef5a7012ffe18769343463cc2","observation_id":"6d880c6b-2395-4804-a676-cd665a98f6d4","resolution":{"observed_at":"2026-08-14T04:18:33.624739Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:33.400577Z","title":null,"venue":null,"work_id":"f1fa6f59-5839-4923-a608-d5e6fe68b9a4","year":2025},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.134877Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:1f53f7d36b7f4757495da8db32317034a185e359d90a16668a4bd9b74c78020d","observation_id":"19f3bcab-9268-4616-822e-28202edf9204","resolution":{"observed_at":"2026-08-14T04:18:33.484831Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"8552.18385","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:32.354751Z","title":"ACM Trans","venue":null,"work_id":"7959a96c-76dd-4840-89b1-acd2c154cd0f","year":2010},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.160640Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:c483d96bb4403d0330b704490c6cce1535c9d69c54094f0b25e18dc7c658ddae","observation_id":"17c9c157-5a92-407d-8014-d9d856f73a2f","resolution":{"observed_at":"2026-08-14T04:18:32.502264Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:33.300085Z","title":"In: Biere, A., Bloem, R","venue":null,"work_id":"7329fddf-a705-4f01-8835-f564d9ba1f54","year":2014},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.190121Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:6d7069e8beed47eb54638c0b66b65aef4eaaedf96754ac44adb7a96a9c2778ad","observation_id":"c858406c-162b-4618-bb63-4045a887c013","resolution":{"observed_at":"2026-08-14T04:18:33.325884Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-06773-0_6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"(eds.) NASA Formal Methods","venue":"Lecture notes in computer science","work_id":"bec70f84-bfb2-4e26-8c69-9b3eb8702809","year":2022},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.210941Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:fd4ce38b373a788fd9f337062b1ebebbeca050df15c73579d3b484387c558b8f","observation_id":"954dd33c-415a-4f0b-b558-ebeda89ce626","resolution":{"observed_at":"2026-08-14T04:18:30.795250Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-39799-8_18","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":null,"venue":"Lecture notes in computer science","work_id":"7a016542-c985-43c2-85bc-b63bbfb3ef19","year":2013},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.254882Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:44d018cbff558dfb82bdf0f81cd3935bb818954618132682d9351e6be77e07ae","observation_id":"14aebb4e-403f-4d8c-91c7-f5968d1ef77f","resolution":{"observed_at":"2026-08-14T04:18:30.739496Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:28.412856Z","title":null,"venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.412856Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:88fe0c9cf2f091a8716d3c5332307dce1f3cd7c12bbb71af5b6a7f66086ff9c9","observation_id":"28372082-5fc6-4d19-9577-8afdc956f6e5","resolution":{"observed_at":"2026-08-14T04:18:28.412856Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-36577-x_14","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"In: Goos, G., Hartmanis, J., Van Leeuwen, J., Garavel, H., Hatcliff, J","venue":"Lecture notes in computer science","work_id":"fc90bd3b-e54b-44ef-90bb-55d210f100d4","year":2003},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.475746Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:61596fa19d7c52027001469388a00ba07790fb1eefde1d7b1c6a36387233d2c1","observation_id":"5fae9336-979a-4812-9626-5837c49ed95b","resolution":{"observed_at":"2026-08-14T04:18:30.646224Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:33.171521Z","title":"In: Emerson, E.A., Sistla, A.P","venue":null,"work_id":"0398ba31-0369-4b2b-a1ff-b3d47eeccb9a","year":2000},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.514988Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:52c4bebafdeb5d21c2678de3b03c3733aa5612007c102f6052faaf2b5bbfb817","observation_id":"e2270bef-5af7-449d-ab19-5387924d2a6a","resolution":{"observed_at":"2026-08-14T04:18:33.228522Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:28.534752Z","title":"ACM Transactions on Pro- gramming Languages and Systems8(2), 244–263 (1986).https://doi.org/10","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.534752Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:d2b7f3850f83f4c97817705a2ee18a654de08a15e0b8efdd8071ace5f353aaf4","observation_id":"ad48406b-cabd-45c2-9415-4acf11ff98fd","resolution":{"observed_at":"2026-08-14T04:18:28.534752Z","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-08-13T13:50:08.022434Z","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-08-14T04:18:28.559206Z","title":"01793,http://arxiv.org/abs/2211.01793, arXiv:2211.01793 [eess.SY]","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.559206Z"},"links":{"cited_paper":"/paper/2211.01793","citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:b9481124860a1700f3f98befdf9573e14303eb72b26e02d58564ea3535ffbf71","observation_id":"884e31b0-34b3-4258-9598-b13e45d38906","resolution":{"observed_at":"2026-08-14T04:18:28.559206Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:28.567269Z","title":"In: 2021 60th IEEE Conference on Decision and Con- trol (CDC)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.567269Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:d1a7222fe81eff7be2bb45a14c6b6b70d577b027625bdad73523c1b482c792c3","observation_id":"776c471c-0faa-46dc-a93f-dceba583bdb7","resolution":{"observed_at":"2026-08-14T04:18:28.567269Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:28.579395Z","title":"In: Raskin, J.F., Thiagarajan, P.S","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.579395Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:f70694ee0057d2a2dcfc099133c1717fbcef562932105d1abcfe6232323c2a6a","observation_id":"24527a1e-65a8-4a95-8e46-12c2904fd018","resolution":{"observed_at":"2026-08-14T04:18:28.579395Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-319-10575-8_30","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"In: Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R","venue":null,"work_id":"9a09b0bc-f95c-46be-8ad2-6e4bcb5cbe8d","year":2018},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.589179Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:3b1601ac5ea0db9f7eb818e26fa1250f90a0a60130fb30d69ff6fc13338fd94b","observation_id":"8ed706b0-7f7c-485f-a6ba-07c9e814537b","resolution":{"observed_at":"2026-08-14T04:18:30.436456Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:28.711107Z","title":"Ameri- can Journal of Mathematics79(3), 497–516 (1957).https://doi.org/10.2307/ 2372560,https://www.jstor.org/stable/2372560, publisher: The Johns Hop- kins University Press","venue":null,"work_id":null,"year":1957},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.711107Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:26ac9566bb39f6db5556c0775fa9cd2f110de1b65b53e5ae5b7eb561810287a6","observation_id":"e9a58c85-433e-4b09-9fb9-1337d28eecdf","resolution":{"observed_at":"2026-08-14T04:18:28.711107Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-31954-2_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"In: Morari, M., Thiele, L","venue":"Lecture notes in computer science","work_id":"c4fd9c0d-70aa-4c47-bf49-d1b6d549d79c","year":2005},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.759460Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:e6b2c8b584c106d10a6da01c38aa4f1c7021e3a2ea5faa17245c447523acb4d0","observation_id":"e4762f79-9600-4735-8538-6844648aca5a","resolution":{"observed_at":"2026-08-14T04:18:30.271704Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10009-007-0062-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:30.164652Z","title":"Inter- national Journal on Software Tools for Technology Transfer10(3), 263–279 (Jun 2008).https://doi.org/10.1007/s10009-007-0062-x,http://link.springer","venue":null,"work_id":"b44e4f29-087d-439a-85b3-47e9f00ba8bb","year":2008},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.794750Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:0627702aff55fc3dd54fd70693c5a25950286438f6ac0fd8891464823284c1a3","observation_id":"8b52129b-d98e-4220-ab72-4da610d0ec01","resolution":{"observed_at":"2026-08-14T04:18:30.200384Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:33.067023Z","title":"In: Gopalakrishnan, G., Qadeer, S","venue":null,"work_id":"144488f8-70e6-412f-836b-8b0bb543c386","year":2011},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.817846Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:02b4f34d496ade51ac74436ed75f45a998277f9b2ef67f6c01d6655f195872f7","observation_id":"8cd86023-9404-49ff-a260-9a76a5b8b12e","resolution":{"observed_at":"2026-08-14T04:18:33.089746Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1080/00949650008812016","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:30.053181Z","title":null,"venue":null,"work_id":"d4e3572d-1dad-4490-af71-440ef8843a90","year":2000},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.911709Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:c73a96f090607240ec2f1e85c791aa3caf722c4265ed26c558e0d5039c804b72","observation_id":"19447d88-750c-4cfd-a066-fe15abd2a12a","resolution":{"observed_at":"2026-08-14T04:18:30.092630Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.arcontrol.2009.03.002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:29.986897Z","title":"Annual Reviews in Control33(1), 25– 36 (Apr 2009).https://doi.org/10.1016/j.arcontrol.2009.03.002,https:// www.sciencedirect.com/science/article/pii/S1367578809000078","venue":null,"work_id":"4aa64b4f-7cad-4395-acdc-b145224c86cc","year":2009},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:28.968114Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:1cb95804c3edd520f245b2db3c076ed203531c8766fdb72c3a54b719f654989b","observation_id":"8b3bf198-a460-4027-9810-bfcd1fb09440","resolution":{"observed_at":"2026-08-14T04:18:30.017391Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:29.004752Z","title":"In: Proceedings 11th Annual IEEE Symposium on Logic in Computer Science","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.004752Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:be357eb79ea533d455cbab07e97faf1bcea48dde87ea20b3065e8e3ed321d868","observation_id":"d49feecc-19a5-4da9-a04b-d06394f56f12","resolution":{"observed_at":"2026-08-14T04:18:29.004752Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:29.045144Z","title":"In: Pro- ceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of pro- gramming languages","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.045144Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:27cb0a78c7f8d81c84dcfa30245b4a316d4915a23ff9c3d008b724da5cb92587","observation_id":"dfd5334c-d253-49f3-958e-c66f479bc223","resolution":{"observed_at":"2026-08-14T04:18:29.045144Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-540-70545-1_16","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T11:08:50.044864Z","title":"(eds.) Computer Aided Verification","venue":"Lecture notes in computer science","work_id":"406ba8eb-371d-4b50-a408-f8d395bcdabd","year":2008},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.097454Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:9acd3c9a58cf6909381ac0a45e8cb19444becc7ba3752e28f2821d89d3aae0f9","observation_id":"6114ee19-ebd0-49f6-b97c-1abc05fe03df","resolution":{"observed_at":"2026-08-14T04:18:29.859117Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2007.91495","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:31.407199Z","title":"IEEE Transactions on Automatic Control53(1), 287–297 (Feb 2008).https://doi.org/10.1109/TAC.2007.914952, http://ieeexplore.ieee.org/document/4459804/","venue":null,"work_id":"d8d05281-24f5-47e2-81a2-0a819d65afc5","year":2008},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.253250Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:9c00a432b7c528d51b048e925c9fa7b961f58f252df96c03408df0650c264949","observation_id":"3d870ade-4389-47b2-946b-3bd3b48f43f1","resolution":{"observed_at":"2026-08-14T04:18:31.484882Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T04:18:29.290769Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.290769Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:f28e31464bc210f5fa231668850ae269c0512877b861a1f289a474b9c05763e0","observation_id":"e359f1e9-1a2c-4b2d-b214-7f268a2a97b5","resolution":{"observed_at":"2026-08-14T04:18:29.290769Z","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-14T04:18:32.985990Z","title":"In: Proceedings of the Thirteenth Annual Conference on Computational Learning Theory","venue":null,"work_id":"5e300d3e-d865-4eac-9699-ce92f1ddbe5d","year":2000},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.320927Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:bb14fef73184c175c42c671c5212628533f757855a086259a706c8c7f424ec42","observation_id":"e04950f3-ef86-416c-8035-ccca5fe1ebc8","resolution":{"observed_at":"2026-08-14T04:18:33.017583Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2883817","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:29.604749Z","title":"In: Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control","venue":null,"work_id":"f231a7a6-134d-454a-8821-09a5d42bdea4","year":2016},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.336958Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:788be1a02db56b92de192ae9e01212b6973fec4b6bd875db855e6c3b37a3405a","observation_id":"b6a0b967-79e2-4fff-b8cc-4253ded0fd74","resolution":{"observed_at":"2026-08-14T04:18:29.712158Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1002.02568","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-14T04:18:31.156025Z","title":"IFAC Proceedings Volumes44(1), 4546–4551 (Jan 2011).https://doi.org/10.3182/20110828-6-IT-1002.02568,https:// linkinghub.elsevier.com/retrieve/pii/S1474667016443247","venue":null,"work_id":"0873c264-1d44-47cb-8d41-fdf81e93c052","year":2011},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.366174Z"},"links":{"citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:2caacedaf89a7871e82af9e952baed9a35d1f03bb8b302c13bac17574438197d","observation_id":"64b022ae-f124-41bb-a39f-77451dee01d9","resolution":{"observed_at":"2026-08-14T04:18:31.240277Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.17032","last_updated":"2025-11-02T13:42:19Z","snapshot_observed_at":"2026-08-13T22:24:37.672685Z","submitted_at":"2024-07-24T06:35:05Z","title":"Gymnasium: A Standard Interface for Reinforcement Learning Environments","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.17032","snapshot_observed_at":"2026-08-14T04:18:29.452371Z","title":"48550/arXiv.2407.17032,http://arxiv.org/abs/2407.17032, arXiv:2407.17032 [cs.LG] 28 J","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-14T04:18:29.452371Z"},"links":{"cited_paper":"/paper/2407.17032","citing_paper":"/paper/2608.10254"},"observation_digest":"sha256:f7abf4e9fb605824d61a8fd74565968aad607eb8238e5cc7ecac8b73e0e42e19","observation_id":"263695a2-64c6-4f97-b591-cb43cc169911","resolution":{"observed_at":"2026-08-14T04:18:29.452371Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2608.10254","last_updated":"2026-08-10T21:37:47Z","latest_version":1,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-14T23:10:22.852349Z","submitted_at":"2026-08-10T21:37:47Z","title":"A Pragmatic Guide to Building Conservative Discrete Abstractions of Cyber-Physical Systems"},"reference_resolution":{"displayed":34,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":11,"verified_exact":12,"verified_fuzzy":7},"total_outbound_references":34},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 34 of 34 outbound references and 0 inbound Pith citation observations for arXiv:2608.10254."}