Paper Citation Record · LEDGER

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic

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

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

pith.paper-citation-record.v1
2607.08899 v2

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:50:21.358164Z

measured 31 of 31 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

31 of 31 outbound references displayed

verified exact0
verified fuzzy0
unresolved31
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2148c6dc-13cf-443e-a969-e7d2f87c8170 · outbound

This paper cites Monitoring temporal properties of contin- uous signals,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Monitoring temporal properties of contin- uous signals,

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:18.727444Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0138075e-1ace-4006-8c20-a8f6fe623ffe · outbound

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

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Robustness of temporal logic spec- ifications for continuous-time signals,

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:18.805684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61a21ae8-393b-4bd5-b539-556f2ed455cf · outbound

This paper cites Signal temporal logic neural predictive control,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Signal temporal logic neural predictive control,

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:18.843799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 648a6093-ca78-4ef9-98dc-dd8c37ccb1f3 · outbound

This paper cites Control of mobile robots using barrier functions under temporal logic specifications,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Control of mobile robots using barrier functions under temporal logic specifications,

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:18.897341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4e794fc5-0337-4691-a2a0-9ba67cb4deaf · outbound

This paper cites SpaTiaL: monitoring and planning of robotic tasks using spatio- temporal logic specifications,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic SpaTiaL: monitoring and planning of robotic tasks using spatio- temporal logic specifications,

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.006063Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79cf0e99-7bde-4027-8943-cbe2cb596d8a · outbound

This paper cites Robust online monitoring of signal temporal logic,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Robust online monitoring of signal temporal logic,

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.044861Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe5dc7d5-1b82-4408-9c1f-a1785434d55d · outbound

This paper cites Reinforcement learning with temporal logic rewards,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Reinforcement learning with temporal logic rewards,

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.142477Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0d7c187-0798-425a-8c22-081b66147a18 · outbound

This paper cites Temporal-logic-based reward shaping for continuing reinforcement learning tasks,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Temporal-logic-based reward shaping for continuing reinforcement learning tasks,

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.178365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 091f4cd7-1ae0-43bb-9ee8-2f5360f94b37 · outbound

This paper cites Learning biomolecular models using signal temporal logic,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Learning biomolecular models using signal temporal logic,

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.249738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab289df0-2c28-4264-a4d9-d790194f580a · outbound

This paper cites STL-based optimization of biomolecular neural networks for re- gression and control,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic STL-based optimization of biomolecular neural networks for re- gression and control,

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.358892Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 391023c1-4872-406d-a115-c421a9cf89bf · outbound

This paper cites Neu- ral ordinary differential equations,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Neu- ral ordinary differential equations,

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.413595Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7231a201-9937-4d82-ad9d-63c22ba06fd0 · outbound

This paper cites Parameter synthesis through temporal logic specifications,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Parameter synthesis through temporal logic specifications,

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.487185Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70abcf5f-4025-4656-af04-94bc1397963c · outbound

This paper cites SAPO: Reachability computation and parameter synthesis of polynomial dynamical systems,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic SAPO: Reachability computation and parameter synthesis of polynomial dynamical systems,

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.597034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57246665-a940-41c7-92d6-52fe1ed72fd4 · outbound

This paper cites A temporal logic approach to modular design of synthetic biological circuits,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic A temporal logic approach to modular design of synthetic biological circuits,

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.660835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e30b3be-2aeb-4c34-971f-7a983e42442a · outbound

This paper cites High- performance symbolic parameter synthesis of biological models: a case study,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic High- performance symbolic parameter synthesis of biological models: a case study,

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.796640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f3ec6bd-6d30-4a49-9934-a37a6a2008f8 · outbound

This paper cites Bayesian statistical parameter synthesis for linear temporal properties of stochastic models,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Bayesian statistical parameter synthesis for linear temporal properties of stochastic models,

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.883784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de2ea6cb-0ab8-487c-ac6f-23fe6729f07c · outbound

This paper cites Set propagation techniques for reachability analysis,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Set propagation techniques for reachability analysis,

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:19.944303Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afb56c78-00e0-4b30-a7ec-e829688e84f5 · outbound

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

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic STL model checking of continuous and hybrid systems,

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.002096Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fb2a12f7-f13e-49f1-b951-e71535e711dd · outbound

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

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Using four-valued signal temporal logic for incremental verification of hybrid systems,

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.058455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7bfeac43-e8e6-43b9-ac7c-710aff08d44a · outbound

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

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis,

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.112681Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9872b709-503e-4676-a3a2-494c8fe0bdb2 · outbound

This paper cites Model predictive control with signal temporal logic specifications,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Model predictive control with signal temporal logic specifications,

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.228945Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c2312edd-5dfb-4d2b-8b01-ed354e72cbd7 · outbound

This paper cites Optimization of conditional value- at-risk,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Optimization of conditional value- at-risk,

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.285656Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3848456-b7b5-46f6-92ff-5a5ba822435d · outbound

This paper cites Adaptive parameter tuning for reachability analysis of nonlinear systems,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Adaptive parameter tuning for reachability analysis of nonlinear systems,

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.400735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13c725f8-d9fe-47fc-b55a-d290ff83b1db · outbound

This paper cites Meyer, A.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Meyer, A

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.534403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a1d27462-1bbb-40cc-95be-7b01145754d4 · outbound

This paper cites Interval signal temporal logic from natural inclusion functions,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Interval signal temporal logic from natural inclusion functions,

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.611881Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c4bf65e5-99c6-41cf-b7bb-d5cc46159634 · outbound

This paper cites ARCH-COMP25 Category Report: Continuous and hybrid systems with nonlinear dynamics,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic ARCH-COMP25 Category Report: Continuous and hybrid systems with nonlinear dynamics,

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.720987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c07b2fa-b2bf-4d4e-8f5f-dd3453b6b0b6 · outbound

This paper cites Evaluating the robustness of a biochemical network model,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Evaluating the robustness of a biochemical network model,

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.822835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd74f4ba-8cfa-4bd1-8692-5b7c59067e45 · outbound

This paper cites JAX: composable transformations of Python+NumPy programs,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic JAX: composable transformations of Python+NumPy programs,

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:20.974865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e0d2531-79cd-4a1f-b3b8-ed93c1ae8e84 · outbound

This paper cites An introduction to CORA 2015,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic An introduction to CORA 2015,

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:21.086622Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 283783d8-d442-460e-aad5-896ed80783b4 · outbound

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

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods,

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:21.240742Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9e6aa98-b1f0-4aec-bbea-0dfcb488e625 · outbound

This paper cites Control from signal temporal logic specifications with smooth cumulative quantitative semantics,.

Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic Control from signal temporal logic specifications with smooth cumulative quantitative semantics,

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T07:50:21.358164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.