Paper Citation Record · LEDGER

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

As of 11 August 2026, this Paper Citation Record lists 32 of 32 outbound references and 3 inbound Pith citation observations for arXiv:2412.11343.

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

pith.paper-citation-record.v1
2412.11343 v3

Coverage vector

measured 32 of 32 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-11T15:08:33.125371Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-11T06:34:44.6726+00:00

measured 3 of 3 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-10T22:46:05.550608Z

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-05T17:51:59.753434Z

Reference resolution

32 of 32 outbound references displayed

verified exact2
verified fuzzy19
unresolved11
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 379be671-633f-49b4-94fd-d8aff24800eb · outbound

This paper cites Symbolic planning and control of robot motion [grand challenges of robotics],.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Symbolic planning and control of robot motion [grand challenges of robotics],

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.292258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6f90a79f-8d09-4946-8bc7-6b7dd8c7bd1f · outbound

This paper cites Automated verification and synthesis of stochastic hybrid systems: A survey,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Automated verification and synthesis of stochastic hybrid systems: A survey,

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:35.050159Z

Source-reported events for the cited work

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

Observation d899fe83-8333-48eb-aaeb-269fe0cac727 · outbound

This paper cites Linear temporal logic and linear dynamic logic on finite traces,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Linear temporal logic and linear dynamic logic on finite traces,

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.906166Z

Source-reported events for the cited work

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

Observation 34e8bef8-2fba-44d9-951d-880cfe75aca7 · outbound

This paper cites Robust dynamic programming,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Robust dynamic programming,

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.739851Z

Source-reported events for the cited work

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

Observation dacd0386-13d6-4fdb-ae4e-bcc14c05c2da · outbound

This paper cites Formal verification and synthesis for discrete-time stochastic systems,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Formal verification and synthesis for discrete-time stochastic systems,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.371998Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bdfd350-87a8-439d-90ab-34033c47f1ee · outbound

This paper cites Bounded-parameter markov decision processes,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Bounded-parameter markov decision processes,

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.614138Z

Source-reported events for the cited work

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

Observation 01e6a308-a651-4c33-be67-698ff6cc04a7 · outbound

This paper cites Efficiency through uncertainty: Scal- able formal synthesis for stochastic hybrid systems,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Efficiency through uncertainty: Scal- able formal synthesis for stochastic hybrid systems,

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.485832Z

Source-reported events for the cited work

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

Observation e1b24dcc-9093-486f-a64d-3554c7130680 · outbound

This paper cites Formal abstraction of general stochastic systems via noise partition- ing,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Formal abstraction of general stochastic systems via noise partition- ing,

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.453843Z

Source-reported events for the cited work

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

Observation e5dd6efc-37d7-4afa-8d93-c6ebc728a4f2 · outbound

This paper cites Robust solutions to markov decision problems with uncertain transition matrices,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Robust solutions to markov decision problems with uncertain transition matrices,

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.423209Z

Source-reported events for the cited work

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

Observation 2197ec09-b9e0-4410-96b7-cde855865ff0 · outbound

This paper cites Robust control of uncertain markov decision processes with temporal logic specifications,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Robust control of uncertain markov decision processes with temporal logic specifications,

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.376158Z

Source-reported events for the cited work

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

Observation 505d8375-f4fe-4c00-94dc-17f0c25ef6a7 · outbound

This paper cites Strategy synthesis for partially-known switched stochastic systems,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Strategy synthesis for partially-known switched stochastic systems,

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.310002Z

Source-reported events for the cited work

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

Observation 2e640eb3-a6be-424d-b6dd-b13c9f5d9d5f · outbound

This paper cites Formal control synthesis for stochastic neural network dynamic models,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Formal control synthesis for stochastic neural network dynamic models,

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.279131Z

Source-reported events for the cited work

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

Observation 052ddddb-19c6-4f30-adc0-7e56ff51b05c · outbound

This paper cites Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Efficient Strategy Synthesis for Switched Stochastic Systems with Distributional Uncertainty

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-11T15:08:33.501240Z

Source-reported events for the cited work

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

Observation 224e65bf-685e-4d29-b1d0-bcc2801a9126 · outbound

This paper cites Robust control for dynamical systems with non-gaussian noise via formal abstractions,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Robust control for dynamical systems with non-gaussian noise via formal abstractions,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.603797Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c608b9b1-8996-4c83-818f-2b946dec06a9 · outbound

This paper cites Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty,

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.183317Z

Source-reported events for the cited work

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

Observation c2cd9b32-d608-484e-a9d1-4f8e59c66961 · outbound

This paper cites Data-driven abstraction-based control synthesis,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Data-driven abstraction-based control synthesis,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.739838Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1242123-334d-432c-8ba5-b548a83d07d9 · outbound

This paper cites Data-driven Abstractions for Verification of Deterministic Systems.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Data-driven Abstractions for Verification of Deterministic Systems

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.751057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c529aa43-a9da-4d2e-bc66-1696f2462dfc · outbound

This paper cites Data-driven abstractions for verification of linear systems,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Data-driven abstractions for verification of linear systems,

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:34.042414Z

Source-reported events for the cited work

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

Observation b79aae0c-1de0-4857-b274-3f23987d7bf0 · outbound

This paper cites Stability verification in stochastic control systems via neural network supermartingales,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Stability verification in stochastic control systems via neural network supermartingales,

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:33.998367Z

Source-reported events for the cited work

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

Observation 8389bd33-6888-479e-98f5-74d56a1f4904 · outbound

This paper cites Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.777309Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 019cc9b6-4296-4a80-ab23-ac9e9856de66 · outbound

This paper cites Piecewise Stochastic Barrier Functions.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Piecewise Stochastic Barrier Functions

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.785253Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78296cbc-4287-4052-bbca-3966dae0b5f0 · outbound

This paper cites Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Bayesian Formal Synthesis of Unknown Systems via Robust Simulation Relations

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-11T15:08:33.287709Z

Source-reported events for the cited work

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

Observation 1679c282-6d80-4959-b206-8696fbe3f14a · outbound

This paper cites Inner approximations of stochastic programs for data-driven stochastic barrier function design,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Inner approximations of stochastic programs for data-driven stochastic barrier function design,

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:33.966118Z

Source-reported events for the cited work

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

Observation 6bdef5b7-e045-4359-8347-621768baeaa1 · outbound

This paper cites Efficient strategy synthesis for switched stochastic systems with distributional uncertainty,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Efficient strategy synthesis for switched stochastic systems with distributional uncertainty,

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:33.914909Z

Source-reported events for the cited work

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

Observation bd5d35b0-1a7c-464d-9f40-ed304907a298 · outbound

This paper cites Data-driven verification and synthesis of stochastic systems via barrier certificates.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Data-driven verification and synthesis of stochastic systems via barrier certificates

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.815472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3aee4475-f421-4cf0-8eb0-058fde6f2709 · outbound

This paper cites Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Data-Driven Strategy Synthesis for Stochastic Systems with Unknown Nonlinear Disturbances

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.826320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8a1ef70-c0cf-42b3-87c1-df3171fba82d · outbound

This paper cites Bertsekas and S.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Bertsekas and S

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:33.726293Z

Source-reported events for the cited work

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

Observation b1273233-6021-461b-9847-dac3fa3996a5 · outbound

This paper cites Robust markov decision processes,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Robust markov decision processes,

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:33.658541Z

Source-reported events for the cited work

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

Observation 68cd1d37-8737-46d8-a838-d899989a0582 · outbound

This paper cites Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:32.963014Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e84ef98a-d588-441f-9681-569ffc4d7bb1 · outbound

This paper cites Approximate model checking of stochastic hybrid systems,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Approximate model checking of stochastic hybrid systems,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-11T15:08:33.038864Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25a7a4ac-6d49-4af9-be9c-9cba96f03cd3 · outbound

This paper cites Molchanov and I.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Molchanov and I

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:33.612716Z

Source-reported events for the cited work

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

Observation a718d054-1aae-4c9e-ae66-df289e8c6034 · outbound

This paper cites Learning task specifications from demonstrations,.

Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances Learning task specifications from demonstrations,

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-11T15:08:33.588592Z

Source-reported events for the cited work

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

Pith citing papers

Observation 1c91c915-9d15-4fe8-86ec-1cecd72fc6af · inbound

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems cites this paper.

Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T22:46:05.550608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb861261-0f8a-42c9-9fe5-c1498a98d3e1 · inbound

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems cites this paper.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T20:53:51.869134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c74cda7-590e-4daf-8d81-0ab9dd8d5078 · inbound

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors cites this paper.

Multi-Object Sketch Animation with Grouping and Motion Trajectory Priors Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-05T17:51:59.757710Z

Source-reported events for the cited work

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