{"as_of":"2026-08-11T06:26:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3f2d67ee570622f00df84b983c7e0670ed9ee33c0395f91306495bf5bcd1a6a7","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":33,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":33,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+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/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:66a47194c53580db9b5b009866852d958d60240cefc38c1a833ae2c08776e82a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:3ecd341f9a805e86cb6c2e2f0ae8d5f2b34d1ac8ddcb29d58c6cde6d01229f5b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:1bb4846cefe9e36670617e43eb73a12ab21b3022ee7c3ae28f070667bbd0a9c8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:cc3d253de4898d5ff7240357c81554bb2e8b5637867c93ed21f8d1f83bf429e9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:3a3df1b074436d9c3d5a6e3f259f5afabd8bb6fcce64545b640f96789f14e505","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:4d5e6b1287576cd909bffd0a624a19745e8f69c8702cfa4b97c39bf87cbb3fa4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:cd566384e63ca3a4c3c41d794faf8860388a97cff2e8b7218c52cdb2f2c6729e","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:417f9fa30290aff2c3b8c607eba0baebea929db0c297f09554b3294112b45e9b","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:5d849e955a6d455c83cb2baa6c488b0077ffcc1db4cfe9636f3ca95bc1c34f66","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e2b23f4d04a43a7e0d445358cbeaf831e3f19af6cd2049f017a70553cca189e9","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:2583906cdc40a421681c2801ea98a1347caad97b78b6c9ff49d11db2c4f5314a","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:aa4ab51fe4c9a6ca906ea5baae383f40104a0ac19b660d36089aaf25e98ae019","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:1de05a93986fba7914132050f66588333a563a575459e5c982d251ea3c1a2712","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ac95437eb42da24589ce99c86c4de63dc6b2d44c64e89dfa05b62855e9511495","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:38ada6cb4dfeb7b97d4fa5993289479ccc927c2690acd92708134bbebffcfce5","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:22c6e53485c8ee154abc8263103b87e8fda00003afca6d03324fea7dd6a8f371","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:ee22ef08e9c17ebd6d8eaef26ea20406ea567c434e68f70aba206ddb3104fa87","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:7bfc3769825ff56f00016d298908cbd0f0aadcd48b58ad3c31ba4a1ff9aa9870","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:78451551ce260b3b2a8bffa8809564dfaababd9982997d5888835bd48b018b41","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:936c8a98e0947f3331cc79131ef8a2fd00326d0b68bb43f43b21dcea19d9dbfc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:a4a39657f09f5112f632db2554af92c4b2b7fb4004630700b6c47630347cd3f4","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:746ebc774188c3884e8b3a150a5205dd1302ad29ccb9ee28fe587890e82acb85","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:5f1b57cb0f9160fe86b62e849927552fbd881215c6be8f9746063f9dc4f5415d","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:4fef36f4252862b1f6c6f3e41c87253d6d5485d205ef9f55002113dba1cbd300","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:88e23aeeb9c6b0fceda13c469b0feac83039178a23f6f72b9a47b264f31ff457","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:8205be98d0597a293d42cb3433e2fbc4991bbc475f783b2f2fa322ba53f3fff8","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:2d4afc5dab49043575d0104282497eea69fc995a0d5f4b8c7950c839f2995b4c","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:dad47c7e65498bb100c9786b0cb28dbf2e51a141a7b853eafcd113c88e361ba7","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:e479b79b791799560a57213b74d92681493f5a35a91f2b4f0128d40ae5111ef1","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:54b7d067404b3edeaac0715e66522fb06b9cbfc4fddec003fa06b719830cf9fc","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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:32f1f9964e1508e0efd7954d74c55b7f161428b19e49f9249cf34296134f75af","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-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+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-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2501.13199."}