{"as_of":"2026-08-16T14:45:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:860413c13471b3e76d24f09ca6b83fa2d353072a46532c3da2cb69c1d37fc438","coverage":[{"denominator":33,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":33,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-10T16:25:26.029716Z","state":"measured"},{"denominator":34,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":34,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T16:08:19.168215Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-15T16:08:19.423872Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"cited_work":{"arxiv_id":"2501.13199","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.13199","snapshot_observed_at":"2026-08-15T16:08:19.423872Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","venue":"eess.SY","work_id":"52e1c786-8db0-4407-a43a-d572aca5b0cf","year":2025},"citing_paper":{"arxiv_id":"2509.10896","last_updated":"2025-09-13T16:54:27Z","snapshot_observed_at":"2026-08-16T14:25:03.456249Z","submitted_at":"2025-09-13T16:54:27Z","title":"Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T16:08:19.168215Z"},"links":{"cited_paper":"/paper/2501.13199","citing_paper":"/paper/2509.10896"},"observation_digest":"sha256:052964d13b56c0ed50bff84c022485922f70f07f4d4b4fe6e1996a92b691dc22","observation_id":"4859a59a-72d6-4451-962d-3a415821fac5","resolution":{"observed_at":"2026-08-15T16:08:19.429898Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2501.13199/citation-record","integrity":"/paper/2501.13199/integrity","json":"/paper/2501.13199/citation-record.json","paper":"/paper/2501.13199"},"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-10T16:25:26.468653Z","title":"Towards the assessment of potential impact of unmanned vessels on maritime transportation safety,","venue":null,"work_id":"4f525416-801c-4d80-ae6c-720d934ec5ac","year":2017},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.920457Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:74983e0dffb04a7d6d3e916a3de63fc637a75e6c425f118d053dbf5b578a5f6b","observation_id":"4acaa474-0682-425d-992d-3d1c8175b35e","resolution":{"observed_at":"2026-08-10T16:25:26.472334Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.459564Z","title":"A survey of dynamic positioning control systems,","venue":null,"work_id":"cc738151-8283-4581-9e66-429e8047d5d2","year":2011},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.924811Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:6b868b9b9a6226c98bea7eca3a03cfb36570792f72f397fc7d3a6e6b04b5b24f","observation_id":"b5fd073f-3ea6-4dcf-aa0b-be5472696c2d","resolution":{"observed_at":"2026-08-10T16:25:26.463020Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.449730Z","title":"Annual overview of marine casualties and incidents 2024,","venue":null,"work_id":"8394bcba-ad54-4d35-b4fb-b8cde273251d","year":2024},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.928613Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:283bc139f1f350ff8c8600ad38895281705ae49780c8825c81b14edd39e4ae7b","observation_id":"6eca97ec-179c-4f0c-b3a6-2f4f87b96673","resolution":{"observed_at":"2026-08-10T16:25:26.453176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.438216Z","title":"Automated docking for marine surface vessels—a survey,","venue":null,"work_id":"1742fdb2-d812-40f7-a3bc-23010578ad49","year":2023},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.932715Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:1bc31da2519c7306424f588f28a6de9934c3653c4ab2b5d858ae5f0d5255f3cd","observation_id":"ae68b826-c3fe-48d5-85c3-dd841a258d99","resolution":{"observed_at":"2026-08-10T16:25:26.442264Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.329748Z","title":"Long-range UWB positioning based automatic docking trajectory design for unmanned surface vehicle,","venue":null,"work_id":"cd32153b-1f57-457b-8a9f-fa4261408328","year":2023},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.936396Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:2bd9f648dfb1379b051a19010c8c375c5d19f30baec7909a30968d7fc053ea4a","observation_id":"7292fc85-5e54-4fea-9b69-b50f162ad88c","resolution":{"observed_at":"2026-08-10T16:25:26.333163Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.320383Z","title":"An event-triggered trajectory planning and tracking scheme for automatic berthing of unmanned surface vessel,","venue":null,"work_id":"7860289d-be1a-48f4-967b-a72a18f4c97d","year":2023},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.940551Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:b5f304d52ea8e3d3e0bf86781643e79bf33c9c6288db4f45bba694ff179e114f","observation_id":"80ddf70b-299d-47cd-ad05-68a49dd470d1","resolution":{"observed_at":"2026-08-10T16:25:26.323749Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.310376Z","title":"An optimization-based motion planner for autonomous maneuvering of marine vessels in complex environments,","venue":null,"work_id":"18c27cb6-438c-4979-84ee-c92941d0378d","year":2020},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.944603Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:1d06a44dcfc6540f3ab67e224e43b363c450ee40c81b059e0d3210373c9e8bbf","observation_id":"8c46e233-3c42-4174-b395-21010dc74542","resolution":{"observed_at":"2026-08-10T16:25:26.314607Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.300602Z","title":"An anytime visibility– voronoi graph-search algorithm for generating robust and feasible unmanned surface vehicle paths,","venue":null,"work_id":"65229e29-3d90-4f1c-95d7-b6392384e42f","year":2022},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.948063Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:25cc3d8ebec5635bae325308aa5a1e9e18e4b07a955d52bc400bdc83e47436c0","observation_id":"89a14e24-d349-4642-b782-4eb910e96b10","resolution":{"observed_at":"2026-08-10T16:25:26.304455Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.290344Z","title":"An hierarchical architecture for docking autonomous surface vehicles,","venue":null,"work_id":"3665957d-a6da-4b77-a517-c46b6c25651b","year":2019},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.951275Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:d9e4ee2cf1e3b7fccdc50cd7aebacbe18dffa37308d0d674d8d30e92b562f5ee","observation_id":"12734c48-5b31-4063-b3a7-cf705fee95a2","resolution":{"observed_at":"2026-08-10T16:25:26.293989Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.279856Z","title":"Model reference adaptive control-based au- tonomous berthing of an unmanned surface vehicle under environ- mental disturbance,","venue":null,"work_id":"1fac22d2-a6b1-44b8-b017-dbd4fae2221c","year":2022},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.954537Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:fc3862e6e2694628ce988874ef8ad31dc39ab6d1d180e5166b9a454d275e5dc8","observation_id":"f945b5a6-2c5f-4042-8b93-e4d4d9dfffff","resolution":{"observed_at":"2026-08-10T16:25:26.283378Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.270274Z","title":"A ship berthing system design by cooperating with tugboats and dampers,","venue":null,"work_id":"4ab9ed62-f6f5-4875-b2c4-ed2f06de3910","year":2014},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.958063Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:bbe264a997c27ae86663b78558e537e3c1f7c6785b7c78bab32bac454f8c2728","observation_id":"65751dbe-98da-4e50-9841-4d91942fe1ab","resolution":{"observed_at":"2026-08-10T16:25:26.273709Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.260117Z","title":"Autonomous docking of an unmanned surface vehicle using model predictive control,","venue":null,"work_id":"90b6ef05-235b-41f5-b715-c1dcd2a028a4","year":2022},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.961410Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:0fcdf3b987ddf57ff037056488cb5aeeaf1c2c88cbbc6bdcca5454100c75d5e4","observation_id":"6af2a875-808a-4611-befd-84c142badd14","resolution":{"observed_at":"2026-08-10T16:25:26.264054Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.249634Z","title":"Towards using reinforcement learning for autonomous docking of unmanned surface vehicles,","venue":null,"work_id":"38cfd192-7224-4387-bfb3-d4696cd42740","year":2022},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.965214Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:91dec47d7bbdf4341932576cb62ab8ec4c82754756384464bac9548824be2950","observation_id":"0a35584d-2df2-4e74-844b-6e203b4a53b9","resolution":{"observed_at":"2026-08-10T16:25:26.253343Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:25.968547Z","title":"Baier and J.-P","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.968547Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:523ee704c174bad035b185dacfe29bb74fad81865eec6817a2c20b8c579ad4d8","observation_id":"a8c87abb-5bde-4d75-a148-2be590b3cafd","resolution":{"observed_at":"2026-08-10T16:25:25.968547Z","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-10T16:25:26.234378Z","title":"Formal synthesis of controllers for safety- critical autonomous systems: Developments and challenges,","venue":null,"work_id":"b792f89d-7cf2-4d3b-9c19-ec98a89b0ba1","year":2024},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.971673Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:36e7dbaccf93d9c4f1910d070caa220bdfdbbecfb267a95174f5a65a45733104","observation_id":"93bedc24-1e4c-44b6-939b-7c857d29063f","resolution":{"observed_at":"2026-08-10T16:25:26.237843Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.224935Z","title":"(2018) Class guidelines for autonomuos and remotely operated ships","venue":null,"work_id":"32560d54-73e3-4904-a53b-fd7625ea3611","year":2018},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.974827Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:14c951cc6cbe3e4169523ac736c7ef2f3ee9ea73c846edd9d4f967d160448175","observation_id":"71647c13-3644-4d3b-ba37-ca14caad5a05","resolution":{"observed_at":"2026-08-10T16:25:26.228360Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.215676Z","title":"Tabuada, Verification and control of hybrid systems: a symbolic approach","venue":null,"work_id":"85561540-d005-41bb-a093-f0a35a191003","year":2009},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.978002Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:f4552075ad1a729e950c991e508a6cbd440f6ee6e31da22c8fb75a6d0f22b4c7","observation_id":"d20c4fc3-3d88-4c74-bfbc-3d2bca9d93da","resolution":{"observed_at":"2026-08-10T16:25:26.219172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.206096Z","title":"Feedback refinement relations for the synthesis of symbolic controllers,","venue":null,"work_id":"54e98ed6-0d33-49ed-8294-ce65311b95ff","year":2016},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.980996Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:7c55b497c9ad69209a31dc909b0c3e0fce271ef440cbed2365c64250bca25f2f","observation_id":"40cbfadb-9409-48dd-b0f9-9ea86b31e8de","resolution":{"observed_at":"2026-08-10T16:25:26.209579Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.196762Z","title":"Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations,","venue":null,"work_id":"f5a70e0e-1629-40e5-a302-91e1277c646a","year":2023},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.984185Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:79178f7c4fe46a53cf1c2d4a0647bed00f0a7a8ae1f990a3166137ae6bb8a88f","observation_id":"23ead00a-336c-45a0-a2ec-0274b00a127e","resolution":{"observed_at":"2026-08-10T16:25:26.200148Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.186434Z","title":"SCOTS: A tool for the synthesis of symbolic controllers,","venue":null,"work_id":"0f1d66bb-48cd-45f9-913b-2c06428ead2a","year":2016},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.987938Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:c7db7fedfeff124ce1d52b44e3674c6d570e9e5176daa2df5d252cada7f614d6","observation_id":"1e145ffa-fbff-4d9e-bc28-149389acadbc","resolution":{"observed_at":"2026-08-10T16:25:26.190466Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.176970Z","title":"pFaces: An acceleration ecosystem for symbolic control,","venue":null,"work_id":"a881f3ab-da5d-4703-b566-a620cff5cb11","year":2019},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.991008Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:4333d688015fd98de879c5224ef65d89354bb1e16d32b8a49dd4adcbad05ab0d","observation_id":"2e339ff3-05cc-4616-8cb0-e3b9e7533369","resolution":{"observed_at":"2026-08-10T16:25:26.180287Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.167078Z","title":"Digital-physical testbed for ship autonomy studies in the marine cybernetics laboratory basin,","venue":null,"work_id":"84f3a23d-f362-4459-a8d1-fddaaaabe2e2","year":2025},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.994401Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:9a90f7ac95b04e826e880fa8b04d925c5486a3a42d6c06e726e71aa90b8202bb","observation_id":"29cd64bc-64c7-4d3b-a1a9-9a2ed6c8abe1","resolution":{"observed_at":"2026-08-10T16:25:26.170685Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.156964Z","title":"Continuous and discrete abstractions for planning, applied to ship docking,","venue":null,"work_id":"a5d803ad-1c34-4007-b86d-37252a64121e","year":2020},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:25.997560Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:5e2e7e5d1421773597f78c3cd70e2bd8a9dbdb9f7207392c097651c568a7fac3","observation_id":"5c977c0e-98b8-40ff-8932-34a3920182b9","resolution":{"observed_at":"2026-08-10T16:25:26.160543Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.146568Z","title":"Towards safe AI: Sandboxing dnns-based controllers in stochastic games,","venue":null,"work_id":"6d5e0ca2-b339-4a8e-a474-da1fb7c226e7","year":2023},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.000533Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:8f6fc3fadaff53d1461401e10a11f85912fc2827f52bff0fb1d20ba8ae36f0a7","observation_id":"96a7ecd3-3c42-4a6e-8f14-87f5d9197695","resolution":{"observed_at":"2026-08-10T16:25:26.150495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.137047Z","title":"Efficient implementation of symbolic controllers for cyber-physical systems,","venue":null,"work_id":"b8d69334-0583-4220-9065-fa8b431ea542","year":2021},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.003578Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:10b06f453f752e375bbe89995c2962de4bfbc691281dd66d5bf63d9753466410","observation_id":"0e96307b-95fd-482c-b317-91eff78818fe","resolution":{"observed_at":"2026-08-10T16:25:26.140488Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.007061Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.007061Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:e39ecf51e5d25811cc346261556a81673b3050eabd3b145fd45f3081b83b0596","observation_id":"2b977e39-617d-4180-b038-33819e3ea15e","resolution":{"observed_at":"2026-08-10T16:25:26.007061Z","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-10T16:25:26.119986Z","title":"Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, 1st ed","venue":null,"work_id":"a665e97b-5edb-4b4a-b72c-0d31a2e941a7","year":2009},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.010250Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:52779ec089e01c10554d5fb731490a9227025239b6fa65229f5b05cb9b785c5d","observation_id":"8246724e-3640-4b0f-94e8-b0163fd774d7","resolution":{"observed_at":"2026-08-10T16:25:26.123497Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.109764Z","title":"Provably safe trajectory optimization in the presence of uncertain convex obstacles,","venue":null,"work_id":"a323af08-abd7-4623-9b02-02ec716b73af","year":2020},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.013326Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:652a4140b48bff069123379dd654126bd8136bf1fa68a33db0058bbb046150af","observation_id":"ad8f9d14-4b21-4117-bbad-a09b0e4f2979","resolution":{"observed_at":"2026-08-10T16:25:26.113380Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.099509Z","title":"Provably safe robot navigation with obstacle uncertainty,","venue":null,"work_id":"abbc63d2-1ad1-4f0c-9511-5f530385fdec","year":2018},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.016577Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:080bc2c0d01a8d7743ddc219869b20ed11c9ca337bdb593924dbd1bc48dda8fe","observation_id":"62aa87fb-0d8b-4602-b62b-912ceb592cff","resolution":{"observed_at":"2026-08-10T16:25:26.103005Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.089730Z","title":"Maneuvering-based dynamic thrust allocation for fully-actuated vessels,","venue":null,"work_id":"2c651f91-df4e-42b3-80b5-100f9eded82b","year":2024},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.020099Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:1b8ad7f8e20c1c0bcaedd5a4d47b45aab775aa6185d621ed6383f88db83d5bf5","observation_id":"cbb2435a-a9db-4898-b384-dda1f87a0507","resolution":{"observed_at":"2026-08-10T16:25:26.093295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.079401Z","title":"A generalized extended kalman filter implementation for the robot operating system,","venue":null,"work_id":"788c5636-0dd6-479b-b141-4972f588e922","year":2014},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.023412Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:7a905d7b707960c0416b88fd9158effadacade94e8fc83bda45baf984050d7ab","observation_id":"d1e42728-fde2-41cb-b7aa-351c7e658847","resolution":{"observed_at":"2026-08-10T16:25:26.082906Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.069048Z","title":"Development of a DP system for CS Enterprise I with V oith Schneider thrusters,","venue":null,"work_id":"14dcba9a-b893-4d6e-862a-65fecbddcfed","year":2011},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.026563Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:8ed2b9a358cbdd0801784861a96c1fdb77a78d645866ac8dbadd6bd4ea91f0ed","observation_id":"e1ff5f4c-a3ce-437b-95fb-f7bed4a43c84","resolution":{"observed_at":"2026-08-10T16:25:26.072566Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-10T16:25:26.056584Z","title":"Distributed automated synthesis of correct-by-construction controllers,","venue":null,"work_id":"89d34b03-4ca2-42b7-b852-d1eb6355a8a8","year":2020},"citing_paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-10T16:25:26.029716Z"},"links":{"citing_paper":"/paper/2501.13199"},"observation_digest":"sha256:ece519abe6a512a34a364500d778111dc00d9094137fd1dd94fa1dc8e0a438b2","observation_id":"497cdc51-4961-47c2-b94e-99df5d13ff6c","resolution":{"observed_at":"2026-08-10T16:25:26.062600Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2501.13199","last_updated":"2025-09-03T11:06:24Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-11T05:49:17.865004Z","submitted_at":"2025-01-22T20:06:30Z","title":"Symbolic Control for Autonomous Docking of Marine Surface Vessels"},"reference_resolution":{"displayed":33,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":2,"verified_exact":0,"verified_fuzzy":31},"total_outbound_references":33},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2501.13199."}