Paper Citation Record · LEDGER

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications

As of 18 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2503.04762.

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

pith.paper-citation-record.v1
2503.04762 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-08T13:32:27.433969Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+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

31 of 31 outbound references displayed

verified exact3
verified fuzzy22
unresolved6
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 4526b296-341a-4b3a-9bf2-e543b20ef2fa · outbound

This paper cites Safety and security in cyber-physical systems and internet-of-things systems,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Safety and security in cyber-physical systems and internet-of-things systems,

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.833849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 2db7a81e-9af3-4c6b-be09-6d9d224f7c02 · outbound

This paper cites Safety-critical advanced robots: A survey,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Safety-critical advanced robots: A survey,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.824025Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation da995edd-3a20-4b8a-9e53-7de4a64bb4ab · outbound

This paper cites Safety assessment of collaborative robotics through automated formal veri- fication,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Safety assessment of collaborative robotics through automated formal veri- fication,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.814345Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8a93c993-ae45-4114-9abc-1955f670ec2f · outbound

This paper cites Safety verification of hybrid systems using barrier certificates,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Safety verification of hybrid systems using barrier certificates,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.805217Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6b153237-f187-4c15-ada7-a8deb59b509b · outbound

This paper cites Monitoring temporal properties of con- tinuous signals,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Monitoring temporal properties of con- tinuous signals,

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.796209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 48ac9624-bd1c-44b5-b46c-13b5eabe458a · outbound

This paper cites Hamilton-jacobi reachability: A brief overview and recent advances,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Hamilton-jacobi reachability: A brief overview and recent advances,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-08T13:32:27.356811Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f7882bf-d907-4648-9dc1-c6c6b520c43e · outbound

This paper cites Signal temporal logic meets reachability: Connections and applications,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Signal temporal logic meets reachability: Connections and applications,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.779482Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a2aae7d7-543d-43d2-b79c-dc6d3eb79885 · outbound

This paper cites Stl model checking of continuous and hybrid systems,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Stl model checking of continuous and hybrid systems,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.769936Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 843e51a6-2458-406a-9e1a-2d61c6a42d61 · outbound

This paper cites Using four-valued signal temporal logic for incremental verification of hybrid systems,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Using four-valued signal temporal logic for incremental verification of hybrid systems,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.759958Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 01143262-4f5e-48cf-96f9-74c5d9e38caf · outbound

This paper cites Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.750144Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 6ca40670-e55f-4ea5-8416-64cb17e3757b · outbound

This paper cites Finite-time regional verification of stochastic non-linear systems,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Finite-time regional verification of stochastic non-linear systems,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-08T13:32:27.372206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cc553b7-bb4c-4cb2-87e0-d1632981f2c9 · outbound

This paper cites A barrier function approach to finite-time stochastic system verification and control,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications A barrier function approach to finite-time stochastic system verification and control,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-08T13:32:27.375336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0cf5f2f8-7cc2-4afa-89d4-abad95b5ddbf · outbound

This paper cites Collision Probabilities for Continuous-Time Systems Without Sampling [with Appendices].

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Collision Probabilities for Continuous-Time Systems Without Sampling [with Appendices]

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-08T13:32:27.508214Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b21a1a71-f361-4e4c-92af-2df0de2bc33b · outbound

This paper cites Monte carlo motion plan- ning for robot trajectory optimization under uncertainty,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Monte carlo motion plan- ning for robot trajectory optimization under uncertainty,

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.730769Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b8d7d939-4adb-491d-b765-4b291f6f3283 · outbound

This paper cites Safety Verification of Stochastic Systems: A Set-Erosion Approach.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Safety Verification of Stochastic Systems: A Set-Erosion Approach

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-08-08T13:32:27.495592Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5fad108f-abc2-4f00-b0bf-e4b0cb02c8d6 · outbound

This paper cites Safe control under uncertainty with proba- bilistic signal temporal logic,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Safe control under uncertainty with proba- bilistic signal temporal logic,

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.721551Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 90e6b49d-30fb-4767-a5af-9ffcb9ef969b · outbound

This paper cites Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances,

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.712408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation c6af39f6-316d-47b8-adc3-8db5dcf3964d · outbound

This paper cites Distributed model predictive control for probabilistic signal temporal logic specifications,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Distributed model predictive control for probabilistic signal temporal logic specifications,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.703446Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d1470395-757e-47c0-b332-4972aeed6023 · outbound

This paper cites Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-08T13:32:27.396898Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a53dd172-82d7-43c4-9ccb-1d293e15ef9e · outbound

This paper cites Control barrier functions for stochastic systems under signal temporal logic tasks,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Control barrier functions for stochastic systems under signal temporal logic tasks,

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.694441Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b2060191-8416-48f9-97c4-9eef802adf43 · outbound

This paper cites Data-driven verification of stochastic linear systems with signal temporal logic constraints,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Data-driven verification of stochastic linear systems with signal temporal logic constraints,

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.685366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3a357f10-a53c-41e6-8629-c9313b1686af · outbound

This paper cites Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-08T13:32:27.474106Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 12b64337-372d-4595-a569-3a0dfdc844d4 · outbound

This paper cites Theory and computation of dis- turbance invariant sets for discrete-time linear systems,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Theory and computation of dis- turbance invariant sets for discrete-time linear systems,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.675854Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation dbc5910b-50f3-41b1-8dee-e7905cd6fab1 · outbound

This paper cites Formal methods for control synthesis: An optimization perspective,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Formal methods for control synthesis: An optimization perspective,

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-08T13:32:27.412662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70c56837-55d8-4f81-9ee6-daa1487a3919 · outbound

This paper cites Robustness of temporal logic spec- ifications for continuous-time signals,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Robustness of temporal logic spec- ifications for continuous-time signals,

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.661333Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d982853b-3464-4394-88c7-90a1e4959d50 · outbound

This paper cites Robust temporal logic model predictive control,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Robust temporal logic model predictive control,

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.652257Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cb883d42-9f2b-4979-aa59-562707dba44c · outbound

This paper cites Probabilistic Reachability Analysis of Stochastic Control Systems.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Probabilistic Reachability Analysis of Stochastic Control Systems

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-08T13:32:27.421716Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afdb0ff4-f0e8-4012-ae1e-fad20cc2941d · outbound

This paper cites A framework for worst- case and stochastic safety verification using barrier certificates,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications A framework for worst- case and stochastic safety verification using barrier certificates,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.642563Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d5f817d6-ac0e-4030-8741-500e93f6540d · outbound

This paper cites Signal temporal logic neural predictive control,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Signal temporal logic neural predictive control,

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.537289Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation da9be735-008d-4504-a362-0af0b3369491 · outbound

This paper cites Simulation-driven reacha- bility using matrix measures,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications Simulation-driven reacha- bility using matrix measures,

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.528053Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 8e717966-c9d2-437a-9f6b-6b0829601236 · outbound

This paper cites An introduction to CORA 2015,.

Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications An introduction to CORA 2015,

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-08T13:32:27.517849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.