Paper Citation Record · LEDGER

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study

As of 9 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2608.02811.

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

pith.paper-citation-record.v1
2608.02811 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-05T00:46:59.121726Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+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

35 of 35 outbound references displayed

verified exact1
verified fuzzy28
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 82007584-8235-40d9-b5d8-15455a1199dd · outbound

This paper cites Reinforcement learning with temporal logic rewards,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Reinforcement learning with temporal logic rewards,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.593027Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9442a116-adea-4b02-aebf-9ca71de3e253 · outbound

This paper cites Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.583907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 98ae3e23-cfb6-454a-bb29-b327b01c5527 · outbound

This paper cites Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-05T00:46:59.022826Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d68aee6-129f-48cb-bd65-d7b417073d33 · outbound

This paper cites Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.574842Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3cffba8c-dd0a-4fa7-96d6-9426b94a3d38 · outbound

This paper cites Falsification-driven reinforcement learning for maritime motion planning.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Falsification-driven reinforcement learning for maritime motion planning

Reference 5

Resolution: verified exact; local_arxiv, observed 2026-08-05T00:46:59.279125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9cb18aba-fac4-449f-bb56-ef48fc40034e · outbound

This paper cites Past- time Signal Temporal Logic Hybrid Switching Control for Underwater Vehicles,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Past- time Signal Temporal Logic Hybrid Switching Control for Underwater Vehicles,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.565943Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2734edcc-1782-4832-a89d-6962098e0892 · outbound

This paper cites Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.556995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 6e7d9749-eb0a-4c4d-9908-516dd70002f9 · outbound

This paper cites Safe autonomy for uncrewed surface vehicles using adaptive control and reachability analysis,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Safe autonomy for uncrewed surface vehicles using adaptive control and reachability analysis,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.547955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2dbb511f-c592-4db1-9887-f11b5a3a674c · outbound

This paper cites Online data- driven reachability analysis using zonotopic recursive least squares,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Online data- driven reachability analysis using zonotopic recursive least squares,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-05T00:46:59.043021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a60cc9f3-1bb8-40d4-9724-3348875c8f2e · outbound

This paper cites Enhancing data-driven reachability analysis using temporal logic side information,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Enhancing data-driven reachability analysis using temporal logic side information,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.538562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 0ba27928-ad2c-41e5-8a26-90fc358ffb0f · outbound

This paper cites Reachset-conformant system identification,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Reachset-conformant system identification,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.528908Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 421c0953-5937-4519-ba0d-dff6d6ce14bc · outbound

This paper cites Estimating reachable sets with scenario optimization,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Estimating reachable sets with scenario optimization,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.518579Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d120e6a9-0d61-43f2-bbf9-5e9e65659b74 · outbound

This paper cites Pick-to-learn for systems and control: theoretical review with a showcase in reachability analysis,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Pick-to-learn for systems and control: theoretical review with a showcase in reachability analysis,

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.508621Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 5bfc6bcc-0dbe-469b-9596-d10ae1cf11e5 · outbound

This paper cites Nonconvex Scenario Opti- mization for Data-Driven Reachability,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Nonconvex Scenario Opti- mization for Data-Driven Reachability,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.497866Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f181f565-33eb-4304-91de-679ad37791bf · outbound

This paper cites pacSTL: PAC-Bounded Signal Temporal Logic from Data- Driven Reachability Analysis,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study pacSTL: PAC-Bounded Signal Temporal Logic from Data- Driven Reachability Analysis,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.487945Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 7bc9572d-0203-4278-bd9e-a225171a1a67 · outbound

This paper cites Safe Control Under Uncertainty with Prob- abilistic Signal Temporal Logic,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Safe Control Under Uncertainty with Prob- abilistic Signal Temporal Logic,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.477562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f3d4257a-aef4-464e-886c-8c7c5a107b7d · outbound

This paper cites Control with Probabilistic Signal Temporal Logic.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Control with Probabilistic Signal Temporal Logic

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-05T00:46:59.067741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a05f98ed-ec97-45b8-b734-db6494b84b7e · outbound

This paper cites Incremental reasoning in probabilistic Signal Temporal Logic,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Incremental reasoning in probabilistic Signal Temporal Logic,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.466900Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 57aa27fe-bc80-4e24-9cfc-fa2306a6b8d7 · outbound

This paper cites Model Predictive Robustness of Signal Temporal Logic Predicates,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Model Predictive Robustness of Signal Temporal Logic Predicates,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.457157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation c978b0b9-cbee-44cb-b94f-c8708264d11d · outbound

This paper cites A theory of the learnable,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study A theory of the learnable,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-05T00:46:59.077233Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 199be5af-7242-4354-b67f-f1424732bba1 · outbound

This paper cites Interval Signal Temporal Logic From Natural Inclusion Functions,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Interval Signal Temporal Logic From Natural Inclusion Functions,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.440745Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 4d7d206d-c0b2-487b-8679-b6e1270bba84 · outbound

This paper cites Data-Driven Reachability Analysis with Christoffel Functions,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Data-Driven Reachability Analysis with Christoffel Functions,

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.431309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation f962651e-9e5a-43e6-bfcd-afae7d377ea6 · outbound

This paper cites Set Propagation Techniques for Reachability Analysis,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Set Propagation Techniques for Reachability Analysis,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.421263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 2847ab9f-ba81-47f6-9ec3-8849fab53f41 · outbound

This paper cites Hamilton–Jacobi reachability: Some recent theoretical advances and applications in unmanned airspace manage- ment,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Hamilton–Jacobi reachability: Some recent theoretical advances and applications in unmanned airspace manage- ment,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.411190Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 9f452d3e-e46e-4430-965c-7851e463c0ef · outbound

This paper cites Information theory and statistical mechanics,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Information theory and statistical mechanics,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.399612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation bbdb323f-c831-4158-8ce2-e299cbe9d235 · outbound

This paper cites Convention on the International Regulations for Preventing Collisions at Sea, 1972 (COLREGs),.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Convention on the International Regulations for Preventing Collisions at Sea, 1972 (COLREGs),

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.390171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation e155cdaf-8f49-4917-abd2-496b3e47ca4e · outbound

This paper cites Temporal Logic Formalization of Marine Traffic Rules,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Temporal Logic Formalization of Marine Traffic Rules,

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.380243Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 21a9edf1-076e-4700-aa3d-56a9185194b4 · outbound

This paper cites Formalizing testing of collision avoidance systems using signal temporal logic,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Formalizing testing of collision avoidance systems using signal temporal logic,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.369694Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 3212b385-f27e-4862-93bf-b08e9ecb79fb · outbound

This paper cites an unresolved cited work.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-05T00:46:59.359623Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 86d4f5a9-3f34-4d9d-81fd-09fe02ff8374 · outbound

This paper cites Data-driven reachability and support estimation with Christoffel functions,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Data-driven reachability and support estimation with Christoffel functions,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-05T00:46:59.107240Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 560e8729-814c-4d5b-aa65-096d67539ff5 · outbound

This paper cites Data-Driven Reach- ability with Scenario Optimization and the Holdout Method,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Data-Driven Reach- ability with Scenario Optimization and the Holdout Method,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.341955Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 608a8dcc-416f-4718-ae69-bff9be74fdb9 · outbound

This paper cites Line-of-sight guidance for path following of marine vehicles,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Line-of-sight guidance for path following of marine vehicles,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.332108Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation d6df18c7-7f6b-42a4-a2ab-d0d69ed65806 · outbound

This paper cites Unmanned aircraft systems in the national airspace system: a formal methods perspective,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Unmanned aircraft systems in the national airspace system: a formal methods perspective,

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.321851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation dd6d8397-28ee-48af-9205-be7d821c9cde · outbound

This paper cites Path planning and collision avoidance for autonomous surface vehicles i: a review,.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Path planning and collision avoidance for autonomous surface vehicles i: a review,

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.311699Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Observation 8c0300f4-251c-41b0-ad89-f8231c07ad65 · outbound

This paper cites Measurements of wind-wave growth and swell decay during the joint north sea wave project (JONSW AP),.

Staying on Spec: Real-Time Monitoring under Uncertainty with a Maritime Case Study Measurements of wind-wave growth and swell decay during the joint north sea wave project (JONSW AP),

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-05T00:46:59.301205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.

Pith citing papers

No inbound Pith citation observations are available.