Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T16:25:26.029716Z
Paper Citation Record · LEDGER
Symbolic Control for Autonomous Docking of Marine Surface Vessels
As of 17 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 1 inbound Pith citation observation for arXiv:2501.13199.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-15T16:08:19.168215Z
A source-named dated measurement, never combined with another source.
Source: pith, observed 2026-08-15T16:08:19.423872Z
Reference resolution
33 of 33 outbound references displayed
- verified exact0
- verified fuzzy31
- unresolved2
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 4acaa474-0682-425d-992d-3d1c8175b35e · outbound
This paper cites Towards the assessment of potential impact of unmanned vessels on maritime transportation safety,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Towards the assessment of potential impact of unmanned vessels on maritime transportation safety,
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.472334Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b5fd073f-3ea6-4dcf-aa0b-be5472696c2d · outbound
This paper cites A survey of dynamic positioning control systems,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels A survey of dynamic positioning control systems,
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.463020Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6eca97ec-179c-4f0c-b3a6-2f4f87b96673 · outbound
This paper cites Annual overview of marine casualties and incidents 2024,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Annual overview of marine casualties and incidents 2024,
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.453176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ae68b826-c3fe-48d5-85c3-dd841a258d99 · outbound
This paper cites Automated docking for marine surface vessels—a survey,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Automated docking for marine surface vessels—a survey,
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.442264Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 7292fc85-5e54-4fea-9b69-b50f162ad88c · outbound
This paper cites Long-range UWB positioning based automatic docking trajectory design for unmanned surface vehicle,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Long-range UWB positioning based automatic docking trajectory design for unmanned surface vehicle,
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.333163Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 80ddf70b-299d-47cd-ad05-68a49dd470d1 · outbound
This paper cites An event-triggered trajectory planning and tracking scheme for automatic berthing of unmanned surface vessel,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels An event-triggered trajectory planning and tracking scheme for automatic berthing of unmanned surface vessel,
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.323749Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 8c46e233-3c42-4174-b395-21010dc74542 · outbound
This paper cites An optimization-based motion planner for autonomous maneuvering of marine vessels in complex environments,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels An optimization-based motion planner for autonomous maneuvering of marine vessels in complex environments,
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.314607Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 89a14e24-d349-4642-b782-4eb910e96b10 · outbound
This paper cites An anytime visibility– voronoi graph-search algorithm for generating robust and feasible unmanned surface vehicle paths,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels An anytime visibility– voronoi graph-search algorithm for generating robust and feasible unmanned surface vehicle paths,
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.304455Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 12734c48-5b31-4063-b3a7-cf705fee95a2 · outbound
This paper cites An hierarchical architecture for docking autonomous surface vehicles,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels An hierarchical architecture for docking autonomous surface vehicles,
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.293989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation f945b5a6-2c5f-4042-8b93-e4d4d9dfffff · outbound
This paper cites Model reference adaptive control-based au- tonomous berthing of an unmanned surface vehicle under environ- mental disturbance,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Model reference adaptive control-based au- tonomous berthing of an unmanned surface vehicle under environ- mental disturbance,
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.283378Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 65751dbe-98da-4e50-9841-4d91942fe1ab · outbound
This paper cites A ship berthing system design by cooperating with tugboats and dampers,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels A ship berthing system design by cooperating with tugboats and dampers,
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.273709Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 6af2a875-808a-4611-befd-84c142badd14 · outbound
This paper cites Autonomous docking of an unmanned surface vehicle using model predictive control,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Autonomous docking of an unmanned surface vehicle using model predictive control,
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.264054Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0a35584d-2df2-4e74-844b-6e203b4a53b9 · outbound
This paper cites Towards using reinforcement learning for autonomous docking of unmanned surface vehicles,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Towards using reinforcement learning for autonomous docking of unmanned surface vehicles,
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.253343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation a8c87abb-5bde-4d75-a148-2be590b3cafd · outbound
This paper cites Baier and J.-P.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Baier and J.-P
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T16:25:25.968547Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 93bedc24-1e4c-44b6-939b-7c857d29063f · outbound
This paper cites Formal synthesis of controllers for safety- critical autonomous systems: Developments and challenges,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Formal synthesis of controllers for safety- critical autonomous systems: Developments and challenges,
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.237843Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 71647c13-3644-4d3b-ba37-ca14caad5a05 · outbound
This paper cites (2018) Class guidelines for autonomuos and remotely operated ships.
Symbolic Control for Autonomous Docking of Marine Surface Vessels (2018) Class guidelines for autonomuos and remotely operated ships
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.228360Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d20c4fc3-3d88-4c74-bfbc-3d2bca9d93da · outbound
This paper cites Tabuada, Verification and control of hybrid systems: a symbolic approach.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Tabuada, Verification and control of hybrid systems: a symbolic approach
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.219172Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 40cbfadb-9409-48dd-b0f9-9ea86b31e8de · outbound
This paper cites Feedback refinement relations for the synthesis of symbolic controllers,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Feedback refinement relations for the synthesis of symbolic controllers,
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.209579Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 23ead00a-336c-45a0-a2ec-0274b00a127e · outbound
This paper cites Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations,
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.200148Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 1e145ffa-fbff-4d9e-bc28-149389acadbc · outbound
This paper cites SCOTS: A tool for the synthesis of symbolic controllers,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels SCOTS: A tool for the synthesis of symbolic controllers,
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.190466Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2e339ff3-05cc-4616-8cb0-e3b9e7533369 · outbound
This paper cites pFaces: An acceleration ecosystem for symbolic control,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels pFaces: An acceleration ecosystem for symbolic control,
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.180287Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 29cd64bc-64c7-4d3b-a1a9-9a2ed6c8abe1 · outbound
This paper cites Digital-physical testbed for ship autonomy studies in the marine cybernetics laboratory basin,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Digital-physical testbed for ship autonomy studies in the marine cybernetics laboratory basin,
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.170685Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 5c977c0e-98b8-40ff-8932-34a3920182b9 · outbound
This paper cites Continuous and discrete abstractions for planning, applied to ship docking,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Continuous and discrete abstractions for planning, applied to ship docking,
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.160543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 96a7ecd3-3c42-4a6e-8f14-87f5d9197695 · outbound
This paper cites Towards safe AI: Sandboxing dnns-based controllers in stochastic games,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Towards safe AI: Sandboxing dnns-based controllers in stochastic games,
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.150495Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 0e96307b-95fd-482c-b317-91eff78818fe · outbound
This paper cites Efficient implementation of symbolic controllers for cyber-physical systems,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Efficient implementation of symbolic controllers for cyber-physical systems,
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.140488Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2b977e39-617d-4180-b038-33819e3ea15e · outbound
This paper cites an unresolved cited work.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T16:25:26.007061Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8246724e-3640-4b0f-94e8-b0163fd774d7 · outbound
This paper cites Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, 1st ed.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Tabuada, Verification and Control of Hybrid Systems: A Symbolic Approach, 1st ed
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.123497Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation ad8f9d14-4b21-4117-bbad-a09b0e4f2979 · outbound
This paper cites Provably safe trajectory optimization in the presence of uncertain convex obstacles,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Provably safe trajectory optimization in the presence of uncertain convex obstacles,
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.113380Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 62aa87fb-0d8b-4602-b62b-912ceb592cff · outbound
This paper cites Provably safe robot navigation with obstacle uncertainty,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Provably safe robot navigation with obstacle uncertainty,
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.103005Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation cbb2435a-a9db-4898-b384-dda1f87a0507 · outbound
This paper cites Maneuvering-based dynamic thrust allocation for fully-actuated vessels,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Maneuvering-based dynamic thrust allocation for fully-actuated vessels,
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.093295Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d1e42728-fde2-41cb-b7aa-351c7e658847 · outbound
This paper cites A generalized extended kalman filter implementation for the robot operating system,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels A generalized extended kalman filter implementation for the robot operating system,
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.082906Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e1ff5f4c-a3ce-437b-95fb-f7bed4a43c84 · outbound
This paper cites Development of a DP system for CS Enterprise I with V oith Schneider thrusters,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Development of a DP system for CS Enterprise I with V oith Schneider thrusters,
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.072566Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 497cdc51-4961-47c2-b94e-99df5d13ff6c · outbound
This paper cites Distributed automated synthesis of correct-by-construction controllers,.
Symbolic Control for Autonomous Docking of Marine Surface Vessels Distributed automated synthesis of correct-by-construction controllers,
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T16:25:26.062600Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
Observation 4859a59a-72d6-4451-962d-3a415821fac5 · inbound
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis cites this paper.
Control Synthesis for Multiple Reach-Avoid Tasks via Hamilton-Jacobi Reachability Analysis Symbolic Control for Autonomous Docking of Marine Surface Vessels
Reference 15
- Resolution
- verified exact
- local_arxiv, observed 2026-08-15T16:08:19.429898Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.