Paper Citation Record · LEDGER

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems

As of 8 August 2026, this Paper Citation Record lists 20 of 20 outbound references and 0 inbound Pith citation observations for arXiv:2606.19561.

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

pith.paper-citation-record.v1
2606.19561 v1

Coverage vector

measured 20 of 20 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-06-26T20:35:54.743119Z

measured 20 of 20 standing notices

One-hop event checks from named stored sources.

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

20 of 20 outbound references displayed

verified exact5
verified fuzzy0
unresolved15
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 3e84c772-fefa-4282-94b2-ebb0ce3607ad · outbound

This paper cites On signal temporal logic.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems On signal temporal logic

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ce433bb-0f20-47b7-8389-d98351b8a23a · outbound

This paper cites Robust satis- faction of temporal logic over real-valued signals.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Robust satis- faction of temporal logic over real-valued signals

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b92432bc-3061-4b7a-9b6b-805f2691e7f1 · outbound

This paper cites Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications

Reference 3

Resolution: verified exact; arxiv_id, observed 2026-07-04T01:09:19.684028Z

Source-reported events for the cited work

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

Observation 1420f34d-4dfc-4c08-9966-dff66b46cc75 · outbound

This paper cites Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dab7fe0d-3624-4491-8f12-9712cd924172 · outbound

This paper cites Guiding autonomous exploration with signal temporal logic.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Guiding autonomous exploration with signal temporal logic

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3078fa1a-7e33-468c-a371-3858524e1193 · outbound

This paper cites Learning from demonstrations using signal temporal logic in stochastic and contin- uous domains.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Learning from demonstrations using signal temporal logic in stochastic and contin- uous domains

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0679add6-7478-494e-8816-d760ac4ebcef · outbound

This paper cites Control with Probabilistic Signal Temporal Logic.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Control with Probabilistic Signal Temporal Logic

Reference 7

Resolution: verified exact; local_arxiv, observed 2026-07-04T01:09:19.693235Z

Source-reported events for the cited work

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

Observation 036dd562-ae1f-47ef-bd82-91a99bdca4e0 · outbound

This paper cites Probabilistic Safety Programs.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Probabilistic Safety Programs

Reference 8

Resolution: verified exact; local_arxiv, observed 2026-07-04T01:09:19.681448Z

Source-reported events for the cited work

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

Observation 554df758-ccd3-40bc-9660-6664e6f085e0 · outbound

This paper cites Incremental rea- soning in probabilistic signal temporal logic.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Incremental rea- soning in probabilistic signal temporal logic

Reference 9

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b815744e-d174-4c47-a53c-6facad848338 · outbound

This paper cites Signal temporal logic synthesis as probabilistic inference.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Signal temporal logic synthesis as probabilistic inference

Reference 10

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6629a5b1-eef9-47bc-9dc4-3cd7b2eec607 · outbound

This paper cites Reactive and risk-aware control for signal temporal logic.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Reactive and risk-aware control for signal temporal logic

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 193d2884-4706-42ab-888a-f467c34c6657 · outbound

This paper cites Safe autonomy under perception uncertainty using chance-constrained temporal logic.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Safe autonomy under perception uncertainty using chance-constrained temporal logic

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d544cfb9-1231-4780-8219-e0100187d443 · outbound

This paper cites Shrinking horizon model predictive control with chance-constrained signal tem- poral logic specifications.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Shrinking horizon model predictive control with chance-constrained signal tem- poral logic specifications

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18828bca-d9aa-451d-a2a2-93819041ecc2 · outbound

This paper cites Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-07-04T01:09:19.690088Z

Source-reported events for the cited work

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

Observation 471da59b-ca18-416d-b494-3ec400e854de · outbound

This paper cites Backpropagation for parametric STL.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Backpropagation for parametric STL

Reference 15

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7ced079-002f-453c-aa4c-b743d90024f0 · outbound

This paper cites Backpropagation through signal temporal logic speci- fications: Infusing logical structure into gradient-based methods.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Backpropagation through signal temporal logic speci- fications: Infusing logical structure into gradient-based methods

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be1fe361-719d-4a10-b635-a63c13219c87 · outbound

This paper cites Signal temporal logic neural predictive control.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Signal temporal logic neural predictive control

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47c74418-e6b9-40be-ba73-925a873ae083 · outbound

This paper cites Stlcg++: A masking approach for differentiable signal temporal logic specification.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems Stlcg++: A masking approach for differentiable signal temporal logic specification

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-07-04T01:09:19.686699Z

Source-reported events for the cited work

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

Observation 9ab91f3e-c88c-4f10-8939-631578d197af · outbound

This paper cites A smooth robustness measure of signal temporal logic for sym- bolic control.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems A smooth robustness measure of signal temporal logic for sym- bolic control

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6261d25b-7e59-445c-9bbd-2dd1de903597 · outbound

This paper cites STLnet: Signal temporal logic en- forced multivariate recurrent neural networks.

pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems STLnet: Signal temporal logic en- forced multivariate recurrent neural networks

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-26T20:35:54.743119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.