Paper Citation Record · LEDGER

Symbolic Control for Autonomous Docking of Marine Surface Vessels

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2501.13199 v2

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T16:25:26.029716Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-10T06:31:04.303077+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+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-10T06:31:04.303077+00:00.

Pith citing papers

No inbound Pith citation observations are available.