{"as_of":"2026-08-13T05:47:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b6b146cb320a5b019cfe674937d3966f1d29b55f0e84235cf08a0544228276d9","coverage":[{"denominator":17,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":17,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-12T15:33:07.135208Z","state":"measured"},{"denominator":17,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":17,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-12T06:34:41.77262+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/2411.14168/citation-record","integrity":"/paper/2411.14168/integrity","json":"/paper/2411.14168/citation-record.json","paper":"/paper/2411.14168"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:07.086026Z","title":"Abrial (1996): The B-Book: Assigning Programs to Meanings","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.086026Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:e01235c991304bbe9405eae4519beb493994764447ef1c14c3579e57b18ab859","observation_id":"6600570b-4924-41dd-9e7b-5c457f3287e1","resolution":{"observed_at":"2026-08-12T15:33:07.086026Z","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-12T15:33:07.410918Z","title":"Abrial (2005): Event-B: Structure and Laws","venue":null,"work_id":"0d9deac6-a710-4357-921e-f11c3e43cd17","year":2005},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.089981Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:d0fec00bcd055317d79be578ca28de32044af718beb94e86d4909a662f8c43c9","observation_id":"cd739ed1-b752-4f48-8b99-18a8183e8f88","resolution":{"observed_at":"2026-08-12T15:33:07.414008Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:07.093062Z","title":"Abrial (2010): Modeling in Event-B: System and Software Engineering","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.093062Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:a6312cb2ba824f3987f108eab556e6b17c4f544f4d2820678c9091af4848df0d","observation_id":"97b20f89-4903-4c57-8010-c8943701f9c8","resolution":{"observed_at":"2026-08-12T15:33:07.093062Z","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-12T15:33:07.096219Z","title":"Banach (2024): Core Hybrid Event-B III: Fundamentals of a Reasoning Framework","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.096219Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:c031f4a85f6a571a1c6509bc0c26444930bc2a7af2ad302c01d75d6c558b5135","observation_id":"1a983ead-f62e-4a44-8ce8-b37f153d45a8","resolution":{"observed_at":"2026-08-12T15:33:07.096219Z","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-12T15:33:07.402021Z","title":"Banach (2024): Hybrid Event-B","venue":null,"work_id":"8a92b4b8-4411-4bed-8aaf-47790f24ac52","year":2024},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.099514Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:41d40222da25fd4f03136e67a57e02471725b04ac65aa349f50f25e674ad33d1","observation_id":"46757d15-3408-458f-b667-a3abb9a81f86","resolution":{"observed_at":"2026-08-12T15:33:07.405354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.scico.2015.02.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:07.206213Z","title":"Banach, M","venue":null,"work_id":"33acee40-78f4-4fdd-a6c7-6e025a54fc66","year":2015},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.102618Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:4160eb4d8b9c1dfa2ce47c4873974ca0bffeedf5ebe4fc40f867da0cef88a3d8","observation_id":"737af6ee-4361-4669-bbe6-2f80e22c58fc","resolution":{"observed_at":"2026-08-12T15:33:07.209346Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.scico.2016.12.003","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:07.196832Z","title":"Banach, M","venue":null,"work_id":"0a007d33-6dbd-46da-9708-554825d19a34","year":2017},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.105852Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:f17bbfe0b2766f065d158acef7d13b05148453f8048bfb1939702e3917d7ed16","observation_id":"9bc050d3-5469-4702-b0e6-c64d19137212","resolution":{"observed_at":"2026-08-12T15:33:07.200029Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:07.392525Z","title":"Butler (2009): Decomposition Strategies for Event-B","venue":null,"work_id":"1e003c83-6795-4b41-9673-e50e90c142b0","year":2009},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.108592Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:a937378002c40a9bea75cb2b142b5f48883b0f154b3d858bc05fd92c859c3131","observation_id":"58526686-8bfa-49c5-8f21-05c02ab828a0","resolution":{"observed_at":"2026-08-12T15:33:07.395999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1561/1000000001","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:07.188039Z","title":"Carloni, R","venue":null,"work_id":"0e38516d-3685-451a-a2f5-6b291d4f9072","year":2006},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.111468Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:291040d9e3858cbafbbe842181847895f6e73a0c0cae0787b7d13116d47957b1","observation_id":"4f40e494-62de-4bae-9806-1aa0b81bdda5","resolution":{"observed_at":"2026-08-12T15:33:07.191129Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:07.114724Z","title":"Garoche (2019): Formal Verification of Control System Software","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.114724Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:b911a6863f949d566f9a9719ef8f7b84fd40c186d3391b3e6e93415b9dd9ef6b","observation_id":"58fc5291-02d2-4b13-8bc4-bfab49648ce3","resolution":{"observed_at":"2026-08-12T15:33:07.114724Z","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-12T15:33:07.383700Z","title":"Geisberger & M","venue":null,"work_id":"6b729ad7-48bd-4e57-a27d-9d4ce6822fcf","year":2015},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.117703Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:d4763246606ce16a0094f6e2a76d3216cc079f69d95c0dc64a84b10a388880bf","observation_id":"4edd2171-3acc-4219-a6a9-9d7693c8370d","resolution":{"observed_at":"2026-08-12T15:33:07.386790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:07.374397Z","title":"Hallerstede & J.-R","venue":null,"work_id":"7dea4f83-7d0c-436a-b255-29bf67975ea6","year":2010},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.120406Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:07cc7b8d2a17b81ffb02a74d5e4e82649fea3eae97b587d800c765eaa8d02627","observation_id":"f36f0a90-4b8a-496f-a3b2-72d2293c0ca1","resolution":{"observed_at":"2026-08-12T15:33:07.377744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:07.364614Z","title":"Hallerstede & T","venue":null,"work_id":"1ea83c55-5d8a-4424-96a5-06c45b505b2f","year":2012},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.123413Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:044fd1ca92beddad657ef01df5566928b0c68f36a8a494d05ffc348c8341bc89","observation_id":"81f79484-08fa-40cc-9927-fd58d0f78a63","resolution":{"observed_at":"2026-08-12T15:33:07.367716Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2307/j.ctv131btfx","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:07.177600Z","title":"Sanfelice (2021): Hybrid Feedback Control","venue":null,"work_id":"2a0090c6-1831-4387-ad44-8f2691fa5c12","year":2021},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.126394Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:6d79cebefeea0c4014c19f988541e54df3ee030cf7eb3e685ee59c97facbba8f","observation_id":"94e9b72a-846e-4561-ba5e-3973de168267","resolution":{"observed_at":"2026-08-12T15:33:07.181615Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+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-12T15:33:07.355628Z","title":"Silva & M","venue":null,"work_id":"324209d1-ac74-47f8-97c2-1df825192ee2","year":2009},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.129325Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:ca71c4093b09f2e4cf1222bcedca41245790325100609ad8204d5336823b1630","observation_id":"96a7bee8-0913-4415-b165-a4c2d614483d","resolution":{"observed_at":"2026-08-12T15:33:07.358876Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1002/spe.1002","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:07.168590Z","title":"Silva, C","venue":null,"work_id":"c683c45d-bcff-4a3a-888c-75ea24f342d9","year":2011},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.132125Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:8bc82e826433780e21250fb60243b97eb8d9dcc4bac024d0b053d363bb1433ff","observation_id":"a36cccbe-9bf9-414f-aee4-ba06779c5cf1","resolution":{"observed_at":"2026-08-12T15:33:07.171793Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4419-0224-5","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-12T15:33:07.157723Z","title":"Tabuada (2009): Verification and Control of Hybrid Systems: A Symbolic Approach","venue":null,"work_id":"e95624c8-0c26-411e-bb21-231d76f21a4e","year":2009},"citing_paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-12T15:33:07.135208Z"},"links":{"citing_paper":"/paper/2411.14168"},"observation_digest":"sha256:6cb63435c5325b282c5277b347d64ba80e9e9f1dd64faa625f1655a485db34c8","observation_id":"ed9e12c3-44e7-4560-b7c8-56b1a00b6f40","resolution":{"observed_at":"2026-08-12T15:33:07.162656Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2411.14168","last_updated":"2024-11-21T14:24:22Z","latest_version":1,"primary_category":"cs.MA","snapshot_observed_at":"2026-08-12T15:25:16.541506Z","submitted_at":"2024-11-21T14:24:22Z","title":"Autonomous System Safety Properties with Multi-Machine Hybrid Event-B"},"reference_resolution":{"displayed":17,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":4,"verified_exact":6,"verified_fuzzy":7},"total_outbound_references":17},"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-12T06:34:41.77262+00:00","source":"crossref"},{"observed_at":"2026-08-12T06:34:36.333875+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 17 of 17 outbound references and 0 inbound Pith citation observations for arXiv:2411.14168."}