{"as_of":"2026-08-21T10:06:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:05a8165046b32e1a4e5328698160a1e06e2ecf3cf5c2d0039e146bab16800500","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-21T06:32:19.484+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:4d9fee53ac702f9948ab0762ac4696b05dc3d4a56a077fbdd637565a945c58e2","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:1092b3d5cd7853d1f02edd62a3eeb84a27814a13d377a0e5f8a6bfb25258e909","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:facc64f07f6c134feec3ec52b219a61d08cef6360e0f787608ed9a1ea3265f77","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:0ee3c7ae72778f142fb6bddc38682acbea1884253773b8b4f8a1b4a1a48e60d6","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:dcd032d88c7cfe1b5bfe56a9b5298ea21c99b6d188bc9a6a91daa3a2f7c24083","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:bb849ba14827a232ef178e55f8ea3dcd2debe2ede7b811eba068fdbf219e2e34","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fa1901447b6f93436ba6e6359c406fc23caf9a2ff26f6f4986ab94cf15599716","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:046983527acfc12cd10de33b4afb0c033637badbff55900b8814bf754f15997c","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:04cab8f1899c6e296a8f73bdcded48440877c05fb942f871fb5ed1e1e4a62d3d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:bdd8693edcf00df93bb03a8c0ba100839dc6ee3e1b9b42a76237df36afc8aaf5","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:df2a7d94bff62ca4d73f973b542ed44f1a6161b1ee569a745a7777881e52eacb","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:41beec94b9e11b0858ad6a5a88cbd178bef4b3ec8ee7648fbd9cff5d87da862b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:5248eefe3858518e7a166349620aa3f4fe87161ac275889fbb0edf7a34579d8b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:7fd50b231fb9609620ccc717226d8abe5d98b4e5e765b66c7eda2e0aa3245d4e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:a849c0b8798dbcd7a023721524666919b606bb90a51f85d54e3978d34b35325b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:496406569db7de270f181f14548ccdcb80931276851e10b6a5852b1d8b0651d3","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:514ecd8f26ae93c78425a732f41790134783068f28f72fb0a7a260db2c85c541","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:afaf4462c3f565f62653f84feb952f5da0e2b1a9c50b82d6c9b069aea0095174","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:4a9a3396611f95ed78654e2d2f9ccc7dcffb7079e90252aa23b7ca222110f195","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:c1dcf20fdec1e9ed349a2191ad478d73015df671da40316282bf6a98f217768a","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:e0f302835ec1dc962e0f4a4fdfcbe4682ac5e6d558f3b64d1f42193b13932103","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:8252c1221ef146891eb860cab395256b63457c85e6d4fe2f7772e63598b21747","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:a97a00fdc53630afc74b9b24e3cc66645f6f6a05f5f3b3357e5db8718159f1a9","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:1a83e918dfc14dde3001bd8231709d4e418db0fd945ff8f642beea6d73084a13","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:54369352436ec3f8884cdc4084d2095e85e41c080092e37f0ac33d1a19c8d9fa","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:c6d86d5d230e307aaba0e92cf72d460d21214a16b98285b1ebd9dd8a7daa0fba","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:5c69d95f261f43cbfa18f3ac2145785ff8c14f775afbe4476ea061500620b645","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:e7473b1f15b7952095db7e2d19922db0c2cef68e855ee3e3ee39f01f2c678c4d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:0bed12431cd69990f22f539833b3e55b8af2d9f9b71902f1f8548b262cbb896d","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:a83dd3a85d2726d89967a6d998795c6b7173d31891ec5b26e43e291517fd6b7a","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:51c67bf86cb97843079f9402ea5f99f8223b865ee1b67ce1211ce2ad21343a96","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:fa5aa008c5c44b87c273da1d4c8ea33e24566da24ab761b0766dcb18beba188b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:e4eb6193618b456f788304eeb5a7347df50bc87858c63c7f6d24ecadf7b1cb76","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:bae910b14ea36b8c4a509221263ce024d5ff03d4f828396cb547fd9246d86013","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:29da5730238b5a195e03b2b41349ac21f31e7d34a1acb8ac928467ddd13e276f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:24eaea1f3f94262ca1871018487c1b0fe8a71be228918636706a8182b4e4ad7b","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:f9ae348a6931a11e424890032a10db21bc4b31e9ac32dfa6cd93fbc6b24e8156","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:f5f64b8deb8e8fa271e499a290ad3d059f51769dd14d403bb78eb8f37aaab409","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:0107f8cfa4e0180bb1c0e4e36f522dae6ab0df2e16fa85cbf9520eab1889e6f5","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:8e136ef606bc4e5f7185365c8e4a8c2ef12f4d14e15cdfa66cc84de5e6683e7e","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:3c9850df07bfdbadb2db322f861a65b7f45ace928091871fc6920005cd101785","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:66731cb726f6b7f183f3ec5985a4d786f943e81a0a36b373f234ab943b3713ee","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:c6aa44d59841f9cafdc78cdd750cab8c79adfe2d3fb034b4f04769d6066c848f","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:8b31c89b7c5876bd0b873686d0bd2e29ce33290e8a34b37ef2542c38f22acfdd","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:e1b852583facae47bd41dc32c8fbd588b4534423e8a84da6f8d8ae08c297cf76","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:2619e1dff213f4abedefe01f002c66d1b0b5eee8c7139222ddf6e86fe2397e79","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:d0924ae5d21cee15117db686369dc090b6a360d1179df8ccd82eccb565b64376","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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:ffef328b08e587f35581cabbf539ed6d44b29036aa641a8fccebfb97dcf13c05","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-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+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."}