{"as_of":"2026-08-21T06:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:ee62af9e7c2d886b3116e1810dc7368de45e38f4e0bf1ee04aebc5615fc7fe2e","coverage":[{"denominator":65,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":65,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T15:59:49.447963Z","state":"measured"},{"denominator":65,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":65,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-20T06:33:59.587034+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/2508.19186/citation-record","integrity":"/paper/2508.19186/integrity","json":"/paper/2508.19186/citation-record.json","paper":"/paper/2508.19186"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1990.11376","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.864936Z","title":null,"venue":null,"work_id":"41ad9295-b6c1-49d7-92cd-0a24c0fab6cd","year":1990},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.321273Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:6545e004b2a6b0677ac83ffa6d341677848af3a79c82a47d56aec5bb139f23f0","observation_id":"ea6aff2c-37d7-491b-94f9-2c106bb43af9","resolution":{"observed_at":"2026-08-05T15:59:50.868779Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.323876Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.323876Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:f2c499c59ffe95d0aab415c385ba0b9f37b8254d33da3a1dc1722db7bce1a8eb","observation_id":"8ee3eb02-9606-4b2b-877c-d4d33f3fa4f7","resolution":{"observed_at":"2026-08-05T15:59:49.323876Z","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-05T15:59:50.993490Z","title":null,"venue":null,"work_id":"d76f910e-1966-4cd6-9945-b43c92d6a9ef","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.326223Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:c597fc188f643bb3718f260f9b6229d7b0595e177f131203815b25a62a26a34a","observation_id":"72cf9b1f-1874-40ad-b166-5e4ff31719fd","resolution":{"observed_at":"2026-08-05T15:59:50.995970Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.328522Z","title":"Battaglia, Jessica B","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.328522Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:5e215a778f46d1e23dbb07737dfcb94a5b11e17608100dda376d0689497cd1c4","observation_id":"d85effb3-029e-4386-be0d-e7928e8c3c82","resolution":{"observed_at":"2026-08-05T15:59:49.328522Z","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.1145/3296979","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Myreen, and André Platzer","venue":"ACM SIGPLAN Notices","work_id":"4f087a2a-4bd7-4918-8533-5e3a886ff9bf","year":2018},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.330731Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:02939a6b78febb5663a9cfa10e1587121e6f9d191d135132a3617dcb7e77ea32","observation_id":"729b7f8f-5fb5-4534-a74e-6d2bdabf117c","resolution":{"observed_at":"2026-08-05T15:59:49.707135Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s12065-020-00545-y/figures/8","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:49.697825Z","title":null,"venue":null,"work_id":"8bf53691-22d9-4b21-8f20-525447009310","year":2022},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.332926Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:af9cc683d12fee51c2f9fdaa12da06f0a148b97e2c3fba08933b097bcbe3210d","observation_id":"4df46cd1-ece5-486e-abbd-ed6cf265e73e","resolution":{"observed_at":"2026-08-05T15:59:49.700369Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10514-011-9258-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Autonomous Robots","work_id":"71b140a4-b0f5-490f-9828-50a00fc76771","year":2012},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.335388Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:558288bb605c95a431a877811eb0f92e555280b9beb57018bebe863f5c6d8a10","observation_id":"125341e0-9cab-4a0a-9564-95baa091aba9","resolution":{"observed_at":"2026-08-05T15:59:49.693365Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.985963Z","title":"Braitenberg","venue":null,"work_id":"9d128711-8c36-45b6-854a-bd5b264161c5","year":1986},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.337371Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:e3e7f53e762d29a7740828cc83a72a84ed26b478ede092a9d7f58bb27eaaa7d3","observation_id":"62efbe18-a8cd-4c2a-b6ae-44c8c21d90a2","resolution":{"observed_at":"2026-08-05T15:59:50.988664Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s43154-021-","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:49.684275Z","title":null,"venue":null,"work_id":"5f25f03c-8889-424f-ae8d-82af35650abd","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.339299Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:ccae7922b965facff5353e2453122a2b562068bc42a0a3de7ec4fc11889d52dd","observation_id":"7c5d26f0-4e8e-4e9b-a193-2785db5aea93","resolution":{"observed_at":"2026-08-05T15:59:49.686362Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.395.6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"545355c8-a227-4c0c-ab1a-2c9f54d20767","year":2023},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.341228Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:13388afdc3531b98216cf1032fec7dfbf7fcddb74d98c381c032bb23f2cd42eb","observation_id":"ba9962a7-992e-44fe-a48b-2c9b2961f0f4","resolution":{"observed_at":"2026-08-05T15:59:49.680219Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.343219Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.343219Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:dd88351931e1504e6c7a35f9ea4d40303a652828b3bbf5e8edeb9db229361785","observation_id":"b944dc62-f593-4680-8c9f-041341aa887c","resolution":{"observed_at":"2026-08-05T15:59:49.343219Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1911.01547","last_updated":"2019-11-25T13:02:04Z","snapshot_observed_at":"2026-08-17T05:38:14.090895Z","submitted_at":"2019-11-05T00:31:38Z","title":"On the Measure of Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1911.01547","snapshot_observed_at":"2026-08-05T15:59:49.345276Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.345276Z"},"links":{"cited_paper":"/paper/1911.01547","citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:03b00e0b40b598218d3ee5fdeba71a1812cbe824f9d9a50d19ebb180a89053c6","observation_id":"25a8b302-d43b-47da-b779-1a5295720021","resolution":{"observed_at":"2026-08-05T15:59:49.345276Z","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-05T15:59:49.347555Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.347555Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:16b3c31391ebd102430d5b5d99a91a0a103c68eb2b9a3093cf4475fc6e07e018","observation_id":"ecff74de-8f4e-4af7-8271-fbcaed46ec10","resolution":{"observed_at":"2026-08-05T15:59:49.347555Z","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":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:49.349430Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.349430Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:460279f5a7f66dd424e99ecb2e08456c61814f25cab26c3f46bbc47064df4e9c","observation_id":"e5a68831-475e-47dd-995d-06b526fad8b7","resolution":{"observed_at":"2026-08-05T15:59:49.349430Z","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-05T15:59:49.351433Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.351433Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:839359fe4fee4ba6973b7d09b78a360d1fc3f3ca64398c24de84c328a6f9de9c","observation_id":"265a1e0f-de6c-406b-b877-f0aed6191012","resolution":{"observed_at":"2026-08-05T15:59:49.351433Z","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/s10515-011-0088-x","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Dennis, Michael Fisher, Matthew P","venue":"Automated Software Engineering","work_id":"50008507-97bd-4657-b214-7be4c977d967","year":2012},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.353525Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:20f435fe18e8bae2d25ae7ad519f6d165caf8a2ce8431b56b8ec72f5fb6d0946","observation_id":"b5696e16-fee6-4a88-b246-24101eddc685","resolution":{"observed_at":"2026-08-05T15:59:49.661156Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.978433Z","title":null,"venue":null,"work_id":"4f900628-4c95-4afa-bec4-303e815f1174","year":2017},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.355330Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:bd3bbaa9176ffc06287a4e1ac0c6f8233b8c9b327d4d3c719840ba2d1d00285d","observation_id":"0ca35d3a-a718-4a31-984c-3aac99f0b399","resolution":{"observed_at":"2026-08-05T15:59:50.981150Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.2760/120385","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:49.653312Z","title":"Joint Research Centre","venue":null,"work_id":"67613196-01a3-4b2f-adc5-35a532f84583","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.357212Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:92e390f57742d804dfd433fb70d5aecdaf4b65c32a572af41ce34aa319366029","observation_id":"7df64378-8d98-4875-ac10-3bb4118e3666","resolution":{"observed_at":"2026-08-05T15:59:49.655411Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.348","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"68708d56-f052-4566-ac6c-361bcd413ba2","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.359115Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:ca7241b2ef8e308c2569f0834b2822da0e517d5dcfb4465c4d63770e588b0be9","observation_id":"71732b8f-404a-4590-84ea-c35a52b48e99","resolution":{"observed_at":"2026-08-05T15:59:49.649330Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-94-015-9204-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Applied logic series","work_id":"e1bc0754-010c-437c-bf13-b638dfc9048a","year":2017},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.361189Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:72c0bcccd50dc5ef097032a6af6cf0ab50dd75bbbde8dd1eafb24eefb3f74527","observation_id":"2e7a4937-64b6-4790-a04b-2436ee81d79b","resolution":{"observed_at":"2026-08-05T15:59:49.642586Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.970775Z","title":"Cardoso, Michael Fisher, Davide Ancona, Luca Franceschini, and Viviana Mascardi","venue":null,"work_id":"0f977c43-b1c2-4075-a769-f58b49f6720b","year":null},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.363325Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:023c500b5d761818f2f06b33f6a19fef63f2d7e790a41e8a7d91d1892f0b656c","observation_id":"62178363-f582-4424-a937-45568c8b24b0","resolution":{"observed_at":"2026-08-05T15:59:50.973628Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.961876Z","title":"Dennis, Davide Ancona, Michael Fisher, and Viviana Mascardi","venue":null,"work_id":"7cb54eb6-a9bd-4ce3-8f6d-42e5ed9b4866","year":2018},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.367304Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:a7a4facba5bef46a114c0ecf030e75d05f03a6af43956b679c3dbafef98b3930","observation_id":"5104c3a2-1aba-4ddd-ad7f-6b050d08bf7a","resolution":{"observed_at":"2026-08-05T15:59:50.965863Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1338.2020","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.681062Z","title":null,"venue":null,"work_id":"f6701a26-f915-4ca2-87bf-16deb3bfb08a","year":2020},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.369081Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:2fac303405db0fbf8d676cc5508f94f0e670bb373ba67abab36db05b873de984","observation_id":"3f401b68-bf1f-44c0-9b11-d7d9baa57769","resolution":{"observed_at":"2026-08-05T15:59:50.685035Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2006.87251","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.621529Z","title":"Fraser, R","venue":null,"work_id":"b8e77958-c1a4-49c0-b68e-064d9060dca4","year":2020},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.370960Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:a1c5303a5be2c9dabd3e6327b904bda1697758c78703ecd7dea07381460a2634","observation_id":"91706c26-35ae-42fd-9ee7-68f55ebfc64e","resolution":{"observed_at":"2026-08-05T15:59:50.626665Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.954326Z","title":null,"venue":null,"work_id":"5c416c20-227f-447d-9aac-1d412d354d08","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.372807Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:a90a2ec02bfbc076b667b1acf01f31a2499f61ee5360ef0bec259c4097b4224a","observation_id":"0fa6baa0-65e7-4d8f-92fc-f3829b3dcdc7","resolution":{"observed_at":"2026-08-05T15:59:50.957033Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.371","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Hamilton, I","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"09787d3a-a666-4419-adbe-ce5a8124c61d","year":2022},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.374614Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:63af73870f19a338c0ecbcc5b5f506f41611885f5ee451cd726c7ac58fa5a80f","observation_id":"83418941-a4d6-4a08-9d36-69f728883124","resolution":{"observed_at":"2026-08-05T15:59:49.629402Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/32.940728","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Havelund, M","venue":"IEEE Transactions on Software Engineering","work_id":"77dd68ee-9afc-4933-a78c-2d1599a36cda","year":2001},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.376606Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:a354e5b09f4cde47c9d664d7d266ecf8bf2a3262a081be89dafcc8ddf2af6557","observation_id":"40bd853e-ec99-4322-b626-19b0fc5fad95","resolution":{"observed_at":"2026-08-05T15:59:49.623180Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/qest.2006.59","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Hendriks, P","venue":null,"work_id":"c58fea2e-19d8-4ab3-8ee1-16a54150baa5","year":2006},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.378791Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:d1a13c7d67e93058a26b2230d62934d5646712c33dada0fd088b11c627f3ce43","observation_id":"30e13267-1f7d-4972-8ec3-955127767817","resolution":{"observed_at":"2026-08-05T15:59:49.617279Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.945990Z","title":"Henzinger, Pei-Hsin Ho, and Howard Wong-Toi","venue":null,"work_id":"ae746c4b-53d3-470a-bc22-93dc4a4fbe05","year":1997},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.380751Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:bb5b10c00bb9dad8ae627f9ba6fcaa1b756bc6e9448c467609ced8b19b8ffbc3","observation_id":"0123d7cf-96ab-46a9-b638-992a3ed53a1b","resolution":{"observed_at":"2026-08-05T15:59:50.948771Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.938462Z","title":"Holzmann","venue":null,"work_id":"02d56604-2bce-4afa-9af5-ba83b36f6321","year":2011},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.383224Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:5310f2c8da357a5f39d4b33378c485b82c29c85f686a9b8ba57398f45f13f31b","observation_id":"cf136da1-263f-41c6-8753-6c1fcef74411","resolution":{"observed_at":"2026-08-05T15:59:50.941143Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2305.01263","last_updated":"2023-06-30T02:33:19Z","snapshot_observed_at":"2026-08-16T15:36:20.947783Z","submitted_at":"2023-05-02T09:00:32Z","title":"How Simulation Helps Autonomous Driving:A Survey of Sim2real, Digital Twins, and Parallel Intelligence","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.01263","snapshot_observed_at":"2026-08-05T15:59:49.385253Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.385253Z"},"links":{"cited_paper":"/paper/2305.01263","citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:42f031fa004ed5cd7312bddff115b2d4aa272c267c9e17c3cfc475d3033e5cb8","observation_id":"876acba9-5662-48c6-a56d-d9d836c3ef90","resolution":{"observed_at":"2026-08-05T15:59:49.385253Z","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-05T15:59:50.930568Z","title":null,"venue":null,"work_id":"9b0a59da-7f9e-4c8e-a3d0-5fcafae1c2a3","year":2014},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.387449Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:256bfdfc89e85e39b1f0abf1b8394dd2049935de45f48e85f88786f2b15b5230","observation_id":"c5886d47-0466-4f18-875e-d5db7f6ca4b7","resolution":{"observed_at":"2026-08-05T15:59:50.933527Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.scico.2017.05.006","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Dennis, Owen McAree, Michael Fisher, and Sandor M","venue":"Science of Computer Programming","work_id":"bc57f312-5cd9-4714-9619-20e5e822a4b7","year":2017},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.389343Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:590ed37f379e334859dffdf737d6131354825687479e5ac3190065e4a2a71b6e","observation_id":"0ea2dab6-0662-4894-93f2-430c6fca2a25","resolution":{"observed_at":"2026-08-05T15:59:49.604356Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.922837Z","title":null,"venue":null,"work_id":"f6972d4b-3e77-41fb-b186-1e0c6c116eb7","year":2025},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.391251Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:479e775efdd649aca8ba688f526e2220e6056ee9837479792a6670cd4f9b813d","observation_id":"6244d570-d408-40fb-bf87-307dca7974cb","resolution":{"observed_at":"2026-08-05T15:59:50.925466Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.393134Z","title":"Lake, Tomer D","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.393134Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:7b5b6b25564a4b68fbb7f0e144019b510548b7950f3bf7c6c5c1e1a6511516a6","observation_id":"86bc6d9f-ba4d-4744-be5b-dead7fc94aee","resolution":{"observed_at":"2026-08-05T15:59:49.393134Z","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-05T15:59:50.914971Z","title":null,"venue":null,"work_id":"7f747c2d-6ad3-4a90-9c98-1bbfbc2965e4","year":2022},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.395049Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:225622100ae74bd94c6c1606b539a8711a14abcc301f3250cb847a05631dc418","observation_id":"230c4160-7d2d-45e5-b0eb-2df036b43011","resolution":{"observed_at":"2026-08-05T15:59:50.917949Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4204/eptcs.348.9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Lehmann, A","venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"a96e8742-182c-4a06-94d9-bb0cbcf174ff","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.396871Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:6e883494133f56276993a64559a170a4e6e01214ab255bb0fc6275c99335fa3b","observation_id":"86c75b38-0cf2-4082-ad8d-a68390858eec","resolution":{"observed_at":"2026-08-05T15:59:49.528717Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1991.17471","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.537110Z","title":"Leonard and H.F","venue":null,"work_id":"d3a9051f-16d6-4d2b-b985-e8665840ef8b","year":1991},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.398690Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:c36863dd76255b2cfd59de90d94c46cea752bfa409e72e7202de49ece17da9e6","observation_id":"b98c2f67-87f5-4bf8-a011-460004a77be4","resolution":{"observed_at":"2026-08-05T15:59:50.540837Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10514-020-09906-z/figures/26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:49.519899Z","title":null,"venue":null,"work_id":"354dbbc4-5929-4c63-9965-9a825ef2a42e","year":2020},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.400686Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:b530d34026f78dd08e5c4bd9d257c18dfd53738c70ce333fc2f63682f854d22b","observation_id":"3b35a9ec-7c47-464d-b772-5ce748110f8c","resolution":{"observed_at":"2026-08-05T15:59:49.521925Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2015.24939","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.451814Z","title":null,"venue":null,"work_id":"8d55122b-2360-4e64-aec3-3d2ce2f610b8","year":2016},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.402575Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:02738638bf9e6f2f60f25ba09e3712558bcf448db40583d74a11a6ebb9466730","observation_id":"30d86c56-f639-4731-86d9-a55c25b2d358","resolution":{"observed_at":"2026-08-05T15:59:50.455689Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2021.31257","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.395362Z","title":null,"venue":null,"work_id":"5a046b79-2b8c-47c5-b907-5687c461e69f","year":2022},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.404268Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:d9a860ddec3d8c42516fd98f100cef6d7878b981ca5306aab293d1ad0776b889","observation_id":"cb3ed59a-36d6-419f-a533-2fc78ed7ed99","resolution":{"observed_at":"2026-08-05T15:59:50.398904Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"3162.31731","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.326819Z","title":"Haque, Lingjia Tang, and Jason Mars","venue":null,"work_id":"1fa03bbb-2e96-4faf-964f-a1ee0a754e2b","year":2018},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.406041Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:bc0906f11ea33c9c8074b44f826a80692a049c8afa19e3729d11f0b68a7d0599","observation_id":"41d85f41-010f-48f1-bd04-46ea562d5b7a","resolution":{"observed_at":"2026-08-05T15:59:50.330553Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2017.82023","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:50.254906Z","title":"Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, and Matthias Althoff","venue":null,"work_id":"9eb90138-c7bc-40b1-8a9b-269d6f302c0e","year":2017},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.407943Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:43dc4ca8afadfd950763c0c96c411cb8ea676a303a2ff53b74ea6376e36f11c6","observation_id":"7699bd5a-38be-46a6-9862-832f795106ab","resolution":{"observed_at":"2026-08-05T15:59:50.258609Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.409719Z","title":null,"venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.409719Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:0adae911462b0c6f302fc3a08cbbf4d407e705144c0d03073d7b5d073532f991","observation_id":"3c1734c7-40d6-402d-a630-94e797d427c0","resolution":{"observed_at":"2026-08-05T15:59:49.409719Z","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.1109/cse.2014.148","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":null,"work_id":"a46f7256-46b1-4b7b-9193-8aa1d34ae4b8","year":2014},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.411523Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:5b14317aca16e04940d1398e3f958b7a0044d14ff88fc48a65d1eb6572c4c0a9","observation_id":"93439635-79e7-4aca-a5c7-c677fe2a997f","resolution":{"observed_at":"2026-08-05T15:59:49.511871Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.906968Z","title":"Dennis, Clare Dixon, and Michael Fisher","venue":null,"work_id":"4f492052-9565-46b6-84c5-8b3b5c4143b4","year":2019},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.413721Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:9aca4db9ea130ab6e84aa8b8f636b9d1dee92f4ea348c211fe44b86deb7a71e3","observation_id":"e8a2e02c-82ae-405b-a862-a272042247be","resolution":{"observed_at":"2026-08-05T15:59:50.909803Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.415765Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.415765Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:d7cdf01181667f01484f29479bb8129bd24c6ce3e93b1a628204e53b6e7a4feb","observation_id":"5b98aad0-f8b7-4a74-9a90-30edad7d1e9a","resolution":{"observed_at":"2026-08-05T15:59:49.415765Z","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.4204/eptcs.348.2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Electronic Proceedings in Theoretical Computer Science","work_id":"9688d3eb-3a42-4ea0-8bea-81a990333072","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.417678Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:bebef6558cd58c755dc02ed443911ef58f796a838671f1411358577b19ac658e","observation_id":"715b2edf-22dd-4331-ab9a-8a22fd7c9291","resolution":{"observed_at":"2026-08-05T15:59:49.505664Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.898922Z","title":null,"venue":null,"work_id":"a045859a-65fd-45ef-83ff-c32c7ddab0ec","year":2020},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.419430Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:a30ad761a49c25f480a4c951dc68f30bc002f93bdcfa16b266e5f70665b93d94","observation_id":"bf18dc34-2529-4600-9318-dbe2f69f6f76","resolution":{"observed_at":"2026-08-05T15:59:50.901731Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/s23104588","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Sensors","work_id":"394db51e-2ba5-4394-8d6f-d935d97c903b","year":2023},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.421223Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:8af4c5f5a8d0e25fca5e1be51788a711041262ea89ec6b7f69162dce03abf61a","observation_id":"355f4574-0eda-464d-bb23-8532ca98e22e","resolution":{"observed_at":"2026-08-05T15:59:49.499271Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.423199Z","title":null,"venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.423199Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:754673fbbc5adbaccfc297ac4aa2357666e3edbda175d2cf70358657c542f567","observation_id":"fd300fb2-4c67-4fd0-be44-e138261252da","resolution":{"observed_at":"2026-08-05T15:59:49.423199Z","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-05T15:59:49.425067Z","title":null,"venue":null,"work_id":null,"year":1987},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.425067Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:277f34ef74e3e37ed9d2552c85a26c1d3da10a533b33e451a22daa2fbea78abc","observation_id":"5a2cefbc-a92f-4526-9d30-cf9b6c17daff","resolution":{"observed_at":"2026-08-05T15:59:49.425067Z","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.3390/rs17071214","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Remote Sensing","work_id":"6fcf8416-9e94-44a2-8fbd-0214563218b0","year":2025},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.427037Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:db53e5229a5f9fdfbbfcf4b9db80749e7d6d25a7d501e9a19e1db1729380e413","observation_id":"36caf7af-a3dc-478a-b8e9-a5c37ab222d5","resolution":{"observed_at":"2026-08-05T15:59:49.485383Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.428965Z","title":"Smith and Peter Cheeseman","venue":null,"work_id":null,"year":1986},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.428965Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:f6a8fc720a4ea922d00707ec45237f89e6c94d92252454b10ac5fc86c5880aae","observation_id":"e6a1e333-486c-49f9-a94c-74658ebd23ad","resolution":{"observed_at":"2026-08-05T15:59:49.428965Z","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-05T15:59:49.431144Z","title":"Spelke and Katherine D","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.431144Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:23fbcbe2b798a5f630a7d02a7bb4ba024b694f1578e780d3f90bfbc5393ea038","observation_id":"60180a80-b7ea-422e-9498-dd853ab42860","resolution":{"observed_at":"2026-08-05T15:59:49.431144Z","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-05T15:59:49.433367Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.433367Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:3177c3670e35e50857775bca85d9b4ab88fee14555b782b372c32549f4d72bd8","observation_id":"dedd9bd7-7901-45f9-a212-20790ec60558","resolution":{"observed_at":"2026-08-05T15:59:49.433367Z","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":"2018.23221","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:49.960799Z","title":null,"venue":null,"work_id":"9fe8202a-eecc-4155-82be-5b8418d91bae","year":2018},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.435144Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:3e6f1385bbb96a12d58d33cb5556d5efd6f536e05efe0586693729b6b9246288","observation_id":"706445b5-76b6-4571-90cf-0733e1df28e6","resolution":{"observed_at":"2026-08-05T15:59:49.964227Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.891140Z","title":null,"venue":null,"work_id":"a98673e2-7c52-46fe-8784-f121a73195a5","year":1988},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.436920Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:a4d7c2ff6e6c7b347088f38738f16ea4e161818b444fb7b962c94aafc0026700","observation_id":"3bc5c530-d504-4325-9e46-b0c0030f22ed","resolution":{"observed_at":"2026-08-05T15:59:50.893849Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2017.78897","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T15:59:49.848432Z","title":"Wang and F","venue":null,"work_id":"431c5c5c-b500-4c21-bce8-716697ff9419","year":2017},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.438835Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:372a3c40ec2c93506977cc703a3f75feead82eaaaff1caf71e7799422e6283ca","observation_id":"7db5a66c-a6a1-475d-b6ab-e43dde1e369e","resolution":{"observed_at":"2026-08-05T15:59:49.852002Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.882740Z","title":"Ammar, and Tianyao Shen","venue":null,"work_id":"a16a1158-e57f-4b29-965e-d8517f3d035d","year":null},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.440624Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:b7c9fb87eeb80ca25a2e0711885439816784728da1a0612392a8bb47a69c51d8","observation_id":"0da46b47-c485-491d-8a1c-37de6efde55f","resolution":{"observed_at":"2026-08-05T15:59:50.885736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:50.874747Z","title":"Weißmann, S","venue":null,"work_id":"1116e1af-3857-42bc-a5d0-097e70d08b55","year":2011},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.444369Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:3de4b2dd344fa4543f9c2cd52c04403571ebf07a34f72f3d288732c1fece468a","observation_id":"7e1dd07d-d7e0-49e0-9274-18688273545b","resolution":{"observed_at":"2026-08-05T15:59:50.877657Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+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-05T15:59:49.446178Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.446178Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:81677f4512a156131fdb975e816d2de5355da7e6bd1d50224e0647fb652edcd7","observation_id":"86608e4d-aa18-4b1f-9d52-4a7e65a32738","resolution":{"observed_at":"2026-08-05T15:59:49.446178Z","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.1088/1361-6501/ad3ea3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Measurement Science and Technology","work_id":"496f1cce-d32f-4e30-81de-9b8cbd94ac6b","year":2024},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.447963Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:488c26e1c240b7824233da539a29a5adfaa6611cafe549a0322996dbe92fde30","observation_id":"3d5b6934-3a36-436d-987e-077f0a765f4b","resolution":{"observed_at":"2026-08-05T15:59:49.468459Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-63486-5_40","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"In Towards Autonomous Robotic Systems: 21st Annual Conference, TAROS 2020, Nottingham, UK, September 16, 2020, Proceedings (Nottingham, United Kingdom)","venue":"Lecture notes in computer science","work_id":"9622f3d7-db0d-46e8-8067-d97f25564362","year":2020},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.365319Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:0b24dacc45f483a0fa4b138018ea330fce9250ef4597818431e807c9c9513a7a","observation_id":"f392ec3e-25e4-4d8f-8982-6e878f7cb810","resolution":{"observed_at":"2026-08-05T15:59:49.636210Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/s21051773","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Sensors 2021, Vol","venue":"Sensors","work_id":"8e06dac2-2dab-46f6-bfd4-4205602a4e91","year":2021},"citing_paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning","version":2},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-05T15:59:49.442521Z"},"links":{"citing_paper":"/paper/2508.19186"},"observation_digest":"sha256:2b5c326916f9bc1785daf2f5cfa33db195a6ec13bd7703578402e6496664b957","observation_id":"9fc3ba52-c543-477b-a706-6ad1750a8466","resolution":{"observed_at":"2026-08-05T15:59:49.474927Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.19186","last_updated":"2026-07-14T10:51:53Z","latest_version":2,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T23:23:58.735933Z","submitted_at":"2025-08-26T16:49:30Z","title":"Real-Time Model Checking for Closed-Loop Robot Reactive Planning"},"reference_resolution":{"displayed":65,"state_counts":{"malformed_identifier":5,"metadata_mismatch":8,"parse_uncertain":0,"unresolved":21,"verified_exact":23,"verified_fuzzy":8},"total_outbound_references":65},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-20T06:33:59.587034+00:00","source":"crossref"},{"observed_at":"2026-08-20T06:33:54.927442+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 65 of 65 outbound references and 0 inbound Pith citation observations for arXiv:2508.19186."}