{"as_of":"2026-08-08T04:43:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b45526f2faed29cbf15c8abf51bcad33d9085502f42e398af82ad530eee2bc52","coverage":[{"denominator":35,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":35,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-05T00:46:59.121726Z","state":"measured"},{"denominator":35,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":35,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2608.02811/citation-record","integrity":"/paper/2608.02811/integrity","json":"/paper/2608.02811/citation-record.json","paper":"/paper/2608.02811"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T00:46:59.589774Z","title":"Reinforcement learning with temporal logic rewards,","venue":null,"work_id":"d71ac97e-40f5-473f-b3b6-11c885128af7","year":2017},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.015819Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:3db2f348c1a0de628013fd9467bb4840979909777d766f9ae058ca5bbc1d66fd","observation_id":"82007584-8235-40d9-b5d8-15455a1199dd","resolution":{"observed_at":"2026-08-05T00:46:59.593027Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.580519Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications,","venue":null,"work_id":"f79daf2e-b9a7-4e69-98b6-b16497f2f132","year":2021},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.019499Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:6e7d1d7a5556bfc992695033ebf065ea57a735e7e079f600bcc3b97757c37629","observation_id":"9442a116-adea-4b02-aebf-9ca71de3e253","resolution":{"observed_at":"2026-08-05T00:46:59.583907Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2505.13376","last_updated":"2025-05-19T17:19:43Z","snapshot_observed_at":"2026-08-07T15:43:01.614165Z","submitted_at":"2025-05-19T17:19:43Z","title":"Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.13376","snapshot_observed_at":"2026-08-05T00:46:59.022826Z","title":"Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.022826Z"},"links":{"cited_paper":"/paper/2505.13376","citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:bb44faf7bbeb512c058dea2128f7e6a74a7f492202c6340a42e483b5a5a1bccb","observation_id":"98ae3e23-cfb6-454a-bb29-b327b01c5527","resolution":{"observed_at":"2026-08-05T00:46:59.022826Z","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-05T00:46:59.571821Z","title":"Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic,","venue":null,"work_id":"9f753bae-0c73-4d85-a693-c5c3db5f2e66","year":2023},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.026521Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:d46c1115bccebae124681816283a83e3b7d57e128954baba20bed36db2cd8be1","observation_id":"6d68aee6-129f-48cb-bd65-d7b417073d33","resolution":{"observed_at":"2026-08-05T00:46:59.574842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2510.06970","last_updated":"2026-05-27T15:03:38Z","snapshot_observed_at":"2026-08-04T11:09:45.576343Z","submitted_at":"2025-10-08T12:56:31Z","title":"Falsification-driven reinforcement learning for maritime motion planning","version":2},"cited_work":{"arxiv_id":"2510.06970","doi":null,"metadata_source":"pith","pith_arxiv_id":"2510.06970","snapshot_observed_at":"2026-08-05T00:46:59.273537Z","title":"Falsification-driven reinforcement learning for maritime motion planning","venue":"eess.SY","work_id":"38fd13ae-8e77-43c0-abd5-ba91136c24d3","year":2025},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.030092Z"},"links":{"cited_paper":"/paper/2510.06970","citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:fb6e5f763fe959fd6d2e9a5cb78b77dca00f0aed56d6fea0f3004bc5f99ba121","observation_id":"3cffba8c-dd0a-4fa7-96d6-9426b94a3d38","resolution":{"observed_at":"2026-08-05T00:46:59.279125Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.562826Z","title":"Past- time Signal Temporal Logic Hybrid Switching Control for Underwater Vehicles,","venue":null,"work_id":"d816ac17-18ab-4582-b3f6-614ea6f0ceef","year":2024},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.033518Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:0677ecd29b03b150c1deb2dc523388f3b9b50c24bc4b7ee52569b085f7a607e4","observation_id":"9cb18aba-fac4-449f-bb56-ef48fc40034e","resolution":{"observed_at":"2026-08-05T00:46:59.565943Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.553886Z","title":"Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea,","venue":null,"work_id":"42165eef-679d-4be4-9641-7c174cc77378","year":2024},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.037031Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:78ad2035ffc588ea7a369204152de2cef7744b505b2095a32dfff481f4da9106","observation_id":"2734edcc-1782-4832-a89d-6962098e0892","resolution":{"observed_at":"2026-08-05T00:46:59.556995Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.544850Z","title":"Safe autonomy for uncrewed surface vehicles using adaptive control and reachability analysis,","venue":null,"work_id":"9c2f5ee4-0553-4d6c-b61f-a6f6ab1f7e24","year":2025},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.039905Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:bafc370e539443681c8601135df09e55942e8eca28210ea9b9ed024bc8589168","observation_id":"6e7d9749-eb0a-4c4d-9908-516dd70002f9","resolution":{"observed_at":"2026-08-05T00:46:59.547955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.043021Z","title":"Online data- driven reachability analysis using zonotopic recursive least squares,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.043021Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:cfe99b1ac67bf4990b47a33b7a73b1c9c201b0092af0307ef44304d129f4a5e9","observation_id":"2dbb511f-c592-4db1-9887-f11b5a3a674c","resolution":{"observed_at":"2026-08-05T00:46:59.043021Z","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-05T00:46:59.535437Z","title":"Enhancing data-driven reachability analysis using temporal logic side information,","venue":null,"work_id":"f14208b2-af78-4da1-9ff1-6cdd9b62237d","year":2022},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.046133Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:7ca49f213691da044b2d8023ae95fc62f71ead1b3ef5621df59ba5f4bc524de8","observation_id":"a60cc9f3-1bb8-40d4-9724-3348875c8f2e","resolution":{"observed_at":"2026-08-05T00:46:59.538562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.525612Z","title":"Reachset-conformant system identification,","venue":null,"work_id":"0c0aa661-a0a8-410c-a6af-50ce53e20047","year":2026},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.049186Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:c4ac420293984e4e2f46a1c04d7d86360202fdda4c442cffdd73a7c8e1344d6d","observation_id":"0ba27928-ad2c-41e5-8a26-90fc358ffb0f","resolution":{"observed_at":"2026-08-05T00:46:59.528908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.515189Z","title":"Estimating reachable sets with scenario optimization,","venue":null,"work_id":"d91d2cde-5559-4138-a53f-c734121eb1b8","year":2020},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.052368Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:81b22b9764497a293a58eee61c12268c06f66a33d2269ff70c058151c0275383","observation_id":"421c0953-5937-4519-ba0d-dff6d6ce14bc","resolution":{"observed_at":"2026-08-05T00:46:59.518579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.504570Z","title":"Pick-to-learn for systems and control: theoretical review with a showcase in reachability analysis,","venue":null,"work_id":"efe146d0-a123-4dd4-be1b-740f1559e66a","year":2025},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.055574Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:9429fbf42d2b2b3bca3b6b99221e358e45bb0ebfc3cb9e76e58b9a77fb45f760","observation_id":"d120e6a9-0d61-43f2-bbf9-5e9e65659b74","resolution":{"observed_at":"2026-08-05T00:46:59.508621Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.494562Z","title":"Nonconvex Scenario Opti- mization for Data-Driven Reachability,","venue":null,"work_id":"e23da930-2f87-4c65-8115-13015e217a3a","year":2024},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.058589Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:239ff1619c3a4c7d709a7243aaf04e7d8ad76e3a166b0e41a09292085130ecee","observation_id":"5bfc6bcc-0dbe-469b-9596-d10ae1cf11e5","resolution":{"observed_at":"2026-08-05T00:46:59.497866Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.484324Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data- Driven Reachability Analysis,","venue":null,"work_id":"019ea7cc-4e1e-4345-aa5a-dc7648480878","year":2026},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.061793Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:deeffaf55b18de1045f4297afc75b10abb060875b917305a8afa60c6fbae48a2","observation_id":"f181f565-33eb-4304-91de-679ad37791bf","resolution":{"observed_at":"2026-08-05T00:46:59.487945Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.473630Z","title":"Safe Control Under Uncertainty with Prob- abilistic Signal Temporal Logic,","venue":null,"work_id":"3576a806-e19b-4d01-92e7-f1aa51556231","year":2016},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.064756Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:b41591dc1ba063bd41f50e2319dbe81ec236d704bc2405688a26d69a76677a68","observation_id":"7bc9572d-0203-4278-bd9e-a225171a1a67","resolution":{"observed_at":"2026-08-05T00:46:59.477562Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1510.08474","last_updated":"2015-10-28T20:25:00Z","snapshot_observed_at":"2026-07-06T04:34:36.474437Z","submitted_at":"2015-10-28T20:25:00Z","title":"Control with Probabilistic Signal Temporal Logic","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1510.08474","snapshot_observed_at":"2026-08-05T00:46:59.067741Z","title":"Control with Probabilistic Signal Temporal Logic,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.067741Z"},"links":{"cited_paper":"/paper/1510.08474","citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:bf15698c352e3eb64325b8f99b79e9a7853eee83ca1a2ea73cf915ceaa30faa7","observation_id":"f3d4257a-aef4-464e-886c-8c7c5a107b7d","resolution":{"observed_at":"2026-08-05T00:46:59.067741Z","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-05T00:46:59.463458Z","title":"Incremental reasoning in probabilistic Signal Temporal Logic,","venue":null,"work_id":"d7218dbb-3f6a-483c-a311-3dc8c0486d37","year":2020},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.071340Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:3d8dbf74241425cf9300dd9ed5401491f6b984be4574f147b057162293fa3e6a","observation_id":"a05f98ed-ec97-45b8-b734-db6494b84b7e","resolution":{"observed_at":"2026-08-05T00:46:59.466900Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.453776Z","title":"Model Predictive Robustness of Signal Temporal Logic Predicates,","venue":null,"work_id":"7fe09e91-cde3-4daa-a4bc-72b6a26fbc30","year":2023},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.074137Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:ce44cdd81f3444e851db0bfe9e06987d07372d5a98ff267d7a7adbd0954d2f5e","observation_id":"57aa27fe-bc80-4e24-9cfc-fa2306a6b8d7","resolution":{"observed_at":"2026-08-05T00:46:59.457157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.077233Z","title":"A theory of the learnable,","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.077233Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:20244cbef0ddf8b6c161cec8f8b83b089c1c3caaab6fe7a8009e34241fcbed1a","observation_id":"c978b0b9-cbee-44cb-b94f-c8708264d11d","resolution":{"observed_at":"2026-08-05T00:46:59.077233Z","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-05T00:46:59.437562Z","title":"Interval Signal Temporal Logic From Natural Inclusion Functions,","venue":null,"work_id":"c0862c20-6e69-4915-9c67-90e6d3358217","year":2023},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.080489Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:2d77e458417c4db8a460db7c1fd5170bc6128c3f3bc330d296612b4a81d7eaae","observation_id":"199be5af-7242-4354-b67f-f1424732bba1","resolution":{"observed_at":"2026-08-05T00:46:59.440745Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.427439Z","title":"Data-Driven Reachability Analysis with Christoffel Functions,","venue":null,"work_id":"bfba7afc-f459-41d2-b469-7667c2333800","year":2021},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.083392Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:b85c966e1e9d028704138eac4a8e68adbc3c02e1075c2bf24646cc1d2a9d16c8","observation_id":"4d7d206d-c0b2-487b-8679-b6e1270bba84","resolution":{"observed_at":"2026-08-05T00:46:59.431309Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.417869Z","title":"Set Propagation Techniques for Reachability Analysis,","venue":null,"work_id":"666e70d3-574d-4965-a658-a7e2118be521","year":2021},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.086126Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:f7a95ca9895f07b0c4e61c0066468ae38154c10060b8608d0a854a6f7b80a49f","observation_id":"f962651e-9e5a-43e6-bfcd-afae7d377ea6","resolution":{"observed_at":"2026-08-05T00:46:59.421263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.407578Z","title":"Hamilton–Jacobi reachability: Some recent theoretical advances and applications in unmanned airspace manage- ment,","venue":null,"work_id":"d7d819f1-a027-4b39-8022-cba36c338221","year":2018},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.089053Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:5d6fa914ae9c45920dc1d0c03461084d0e4589221e5729a73e3babfddaea666c","observation_id":"2847ab9f-ba81-47f6-9ec3-8849fab53f41","resolution":{"observed_at":"2026-08-05T00:46:59.411190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.396331Z","title":"Information theory and statistical mechanics,","venue":null,"work_id":"9615f72c-59b4-4bca-a56c-b0e4a480a160","year":1957},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.091905Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:3515c315be7721cd1df9cd55a3ff5aeb11efd1b9af27377cec8aa3d92625bf04","observation_id":"9f452d3e-e46e-4430-965c-7851e463c0ef","resolution":{"observed_at":"2026-08-05T00:46:59.399612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.387006Z","title":"Convention on the International Regulations for Preventing Collisions at Sea, 1972 (COLREGs),","venue":null,"work_id":"a5ee3142-0bdb-43e5-b3d5-2ea690e688c4","year":1972},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.094996Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:cda799669ff173215a2925d9b796505fbc2afc65685c1f39591845b5f1abfff3","observation_id":"bbdb323f-c831-4158-8ce2-e299cbe9d235","resolution":{"observed_at":"2026-08-05T00:46:59.390171Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.376581Z","title":"Temporal Logic Formalization of Marine Traffic Rules,","venue":null,"work_id":"75eca97a-163d-448e-9780-3f5747184c92","year":2021},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.097928Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:42976b2d89a48055f290474d096abcd24afa1515bf7e1a4da9bd486471ddaa69","observation_id":"e155cdaf-8f49-4917-abd2-496b3e47ca4e","resolution":{"observed_at":"2026-08-05T00:46:59.380243Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.366248Z","title":"Formalizing testing of collision avoidance systems using signal temporal logic,","venue":null,"work_id":"2255caf5-7055-47d7-ba1b-cdd447ed165c","year":2025},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.100854Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:61762ea04bffc6ea3885a0ed70a34ada1ee56f3fd55fa9075dc1240c3e2ff8e9","observation_id":"21a9edf1-076e-4700-aa3d-56a9185194b4","resolution":{"observed_at":"2026-08-05T00:46:59.369694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.356313Z","title":null,"venue":null,"work_id":"95d29b57-5f7e-4847-85ce-e8a25252f6d5","year":2011},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.104326Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:5a8d1780cd05df35bc3fe7e069b674249925349aa76b2b05898524078423f2c2","observation_id":"3212b385-f27e-4862-93bf-b08e9ecb79fb","resolution":{"observed_at":"2026-08-05T00:46:59.359623Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.107240Z","title":"Data-driven reachability and support estimation with Christoffel functions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.107240Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:16237a357a4db39e71fe00689cdabd993e9b39a23b528d070a998bad0e0e5ccb","observation_id":"86d4f5a9-3f34-4d9d-81fd-09fe02ff8374","resolution":{"observed_at":"2026-08-05T00:46:59.107240Z","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-05T00:46:59.338680Z","title":"Data-Driven Reach- ability with Scenario Optimization and the Holdout Method,","venue":null,"work_id":"d8882f46-8445-4fd4-a7b8-34eb43b35095","year":2025},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.110063Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:2ef447f87a3da78ad0d3c03c424d516bcd60fe19a097afff2a26162090a98b82","observation_id":"560e8729-814c-4d5b-aa65-096d67539ff5","resolution":{"observed_at":"2026-08-05T00:46:59.341955Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.328562Z","title":"Line-of-sight guidance for path following of marine vehicles,","venue":null,"work_id":"2cbe8a09-5da7-4609-ad55-3c4380651eb1","year":2013},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.113085Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:c980c8d572487912b122278fb789582892537cf6325b93c2e7557195b0a4319b","observation_id":"608a8dcc-416f-4718-ae69-bff9be74fdb9","resolution":{"observed_at":"2026-08-05T00:46:59.332108Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.318239Z","title":"Unmanned aircraft systems in the national airspace system: a formal methods perspective,","venue":null,"work_id":"70b9f259-40f9-4066-94a1-b27075b2f2af","year":2016},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.115841Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:3265f6dc61924e4b69062f8272efa8ec160219301fb8bc26cace8d30ab2cc25e","observation_id":"d6df18c7-7f6b-42a4-a2ab-d0d69ed65806","resolution":{"observed_at":"2026-08-05T00:46:59.321851Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.308171Z","title":"Path planning and collision avoidance for autonomous surface vehicles i: a review,","venue":null,"work_id":"9a1cbbae-0572-4844-bba0-033ebd582b34","year":2021},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.118814Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:22b390bc111fff29bdaf3d83020bab2452a67f9aad54cafbd67875103a4445be","observation_id":"dd6d8397-28ee-48af-9205-be7d821c9cde","resolution":{"observed_at":"2026-08-05T00:46:59.311699Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-05T00:46:59.297304Z","title":"Measurements of wind-wave growth and swell decay during the joint north sea wave project (JONSW AP),","venue":null,"work_id":"72433b98-0879-4867-8e0c-f3e4f90c2d43","year":1973},"citing_paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-05T00:46:59.121726Z"},"links":{"citing_paper":"/paper/2608.02811"},"observation_digest":"sha256:6601b0b2332f4a1a014374a1d20a4df17dee51b99ce355378fd1dd72769f815b","observation_id":"8c0300f4-251c-41b0-ad89-f8231c07ad65","resolution":{"observed_at":"2026-08-05T00:46:59.301205Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2608.02811","last_updated":"2026-08-03T19:06:29Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T23:10:05.637344Z","submitted_at":"2026-08-03T19:06:29Z","title":"Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study"},"reference_resolution":{"displayed":35,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":1,"verified_fuzzy":28},"total_outbound_references":35},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2608.02811."}