{"as_of":"2026-08-09T23:20:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:dc32952277400ed74a9e38a70516740d97111ee8f5d2d11da853c26dee30a9ea","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-09T06:31:02.800959+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-08T12:34:46.575843Z","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:36fd67d76fdda727c39d26a9cb84a3c586678de1fe87b104aa6162cfcf091f3f","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:cd4b2baaab58cfa66a55a884220458439e1d13165ba605b24332c95198cd21bf","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:1ebf16b5efeeb3d420d7aa41051edd9388dc9c898d955c0705898e27e7b014ed","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-08T12:34:46.575843Z","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:21b37594a67f9d21fb8260801c233a48d6f88e783d3bf3e58427d9a487d75a1e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:c549f885c3fb612f20f5f5b3754630fbc67334831518d2537e1dc9b102145d35","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:03c24c4053f1a2d4eacc633cf848bf4bb47dd8451bc2e9395825af45b2cc67d9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:93d1765b77b7a7717ad51c8169a362ed71968e6e9d4966fc7b8eee50b2f1bf1c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:7a0fa30c8d66a03e95cd77af7966220afd6601f3eb018bf6af802f5f42c59c48","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:46e44ad03e913f08273113073472f43e6a836812c568f979495350fdbdf6b87d","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-08T12:34:46.575843Z","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:db807eb52dd28c9cb2216c9599ed90f0c51640d0df72c69153462387908dde9a","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:4525f5647c518e0fef70377e8f565b4f6a6b7555757fb385e6cc4b85af4c8c39","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:4b7fe21940949bba726a0abb82124248ea97fbe69ef098428fad61645fbe4e17","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:009fd4e6339ee2264278358bdcf0cf04f37a7052f76d5fda6e3d40277ffb1534","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:0561bdde0db5acb236690bb55da3c3340d311f8ecdd5e72e022903772c4f2ca2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:25b210c3a17e31d8179d62f260622cdfe0c697bed66a0eca7dbe763f9c59fc38","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:1c226048b6130e51ed1e063c933b2ea822bcb668571d3ef587e861032f564fe7","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:3819fb4d1ecbaa8ee991da418982050b0f6684d38d2ff589f202971759d5c4c4","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-08T12:34:46.575843Z","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:010ae0ae363ed9ea52900d66a8e8add8aba88a02a21968a22758f0f6f7a6d923","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:f7e30e009a40ebd6b65138574c06565b4bb87593ba2046f363af57566d083d86","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:5c6e739a772663a55876f032be36b34ac368145412813c01309d267ea3a98505","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-08T12:34:46.575843Z","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:cc920de981bb9762aa8a003c039be9cd7f9128a6f3a8c17f0f00d00640b2d4f9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:2ad8b301982b243556fd26a9567867397d4eac2b1bed4ad17d503fa24460fc1c","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:f5d40239fc878cf9ae2cae092141b31692279e68afb556039997c34dd2ce1f5d","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:e34f4db0f3fed4906d022b1ef2e2a06c6aa1bdf4169892c6b2cd4c0e3f965ca6","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:955a41dcfa62dadeac412c8174a7e57e99ca9ed7c29d3388d273bcad0d2b23c2","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:0eeb8ac76284c03ac28ab16fc1445b1165bf1128e34219891a3333d4b41f5965","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:79466532cf72d07a1796b2854de152a7a6a90a85dd41e65c86532db614a30cbf","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:0339fd6e929dfe822cb8c3436a9fd69ef0cd4a1a6056d8b79f910e9258d2d5c9","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:b4db520d6a4e96d079426e80d46d6581c8ecd67d2ca938802a0d95ee90060614","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:eb9a3ef4553502b1b54510c3adc499232794aac8c1dd5e3e25407a6c2bad92bc","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-08T12:34:46.575843Z","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:9deca32adea3ed37c3fe0cd1d227cea885c2d08ded9e08cc80f3762e74d4c16e","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:bc69f8913768a5769cc10443b4f3ea6386468e85b2f59c027633d372660c4a99","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:f0b9536955b417276a3c8bc38ce048add9726d466b26b292ff443e4c01ac8de5","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:9f5a66a90efd2d35835869ed3e350248443da23d4e70be14c92024d7b908c5ce","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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:6a39cb86a88f50341eb8318d12806f71998160737d7bf658328079f3d87fa6e4","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-09T06:31:02.800959+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+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-08T12:34:46.575843Z","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-09T06:31:02.800959+00:00","source":"crossref"},{"observed_at":"2026-08-09T06:30:57.326959+00:00","source":"retraction_watch"}],"thesis":"As of 9 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2608.02811."}