{"as_of":"2026-08-11T00:02:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:90d750666d799e29f16998cdbaa40ba8c2180a2279cd4fb793fa3d897d685878","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:50:21.358164Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.08899/citation-record","integrity":"/paper/2607.08899/integrity","json":"/paper/2607.08899/citation-record.json","paper":"/paper/2607.08899"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:18.727444Z","title":"Monitoring temporal properties of contin- uous signals,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:18.727444Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:79313d12c3cfcd771b0647236860a573323c2c814ded085d17e7ba79b772fbd6","observation_id":"2148c6dc-13cf-443e-a969-e7d2f87c8170","resolution":{"observed_at":"2026-08-02T07:50:18.727444Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:18.805684Z","title":"Robustness of temporal logic spec- ifications for continuous-time signals,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:18.805684Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:1e04f705a9889a734f9e75508c3ea47803e54ed037b0917bc9ff65642a81d04a","observation_id":"0138075e-1ace-4006-8c20-a8f6fe623ffe","resolution":{"observed_at":"2026-08-02T07:50:18.805684Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:18.843799Z","title":"Signal temporal logic neural predictive control,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:18.843799Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:2e4003d75af2fb9a5309c52b4cfcfb261281bc6dedea01f87223084a6c2418c8","observation_id":"61a21ae8-393b-4bd5-b539-556f2ed455cf","resolution":{"observed_at":"2026-08-02T07:50:18.843799Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:18.897341Z","title":"Control of mobile robots using barrier functions under temporal logic specifications,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:18.897341Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:5d3969eddf01a7b12179462a8b2173cd547d2b90ffc0c9edc3ad287f496f9302","observation_id":"648a6093-ca78-4ef9-98dc-dd8c37ccb1f3","resolution":{"observed_at":"2026-08-02T07:50:18.897341Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.006063Z","title":"SpaTiaL: monitoring and planning of robotic tasks using spatio- temporal logic specifications,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.006063Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:4ace80664a91e4bf13c5f72181ee9a87918ff3c1d9636f3d8b9c62dfe88c26d6","observation_id":"4e794fc5-0337-4691-a2a0-9ba67cb4deaf","resolution":{"observed_at":"2026-08-02T07:50:19.006063Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.044861Z","title":"Robust online monitoring of signal temporal logic,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.044861Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:0fd3c22fb6cabd2702f20e748ada8714fa4f29f4f3422279d123b4002d1643bb","observation_id":"79cf0e99-7bde-4027-8943-cbe2cb596d8a","resolution":{"observed_at":"2026-08-02T07:50:19.044861Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.142477Z","title":"Reinforcement learning with temporal logic rewards,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.142477Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:37a79371111f5271ba181eb88a7a03def61ed2dcdc084fbe697643fa6677c8c2","observation_id":"fe5dc7d5-1b82-4408-9c1f-a1785434d55d","resolution":{"observed_at":"2026-08-02T07:50:19.142477Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.178365Z","title":"Temporal-logic-based reward shaping for continuing reinforcement learning tasks,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.178365Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:6bf619ee84e49f0493d9efbd2136104b45dc6aac6105c029d1bb8e834108ee16","observation_id":"d0d7c187-0798-425a-8c22-081b66147a18","resolution":{"observed_at":"2026-08-02T07:50:19.178365Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.249738Z","title":"Learning biomolecular models using signal temporal logic,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.249738Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:2cf688a3fe1755a3e19df19b181345fd934b943bad6c9130461afb3b40f25a0c","observation_id":"091f4cd7-1ae0-43bb-9ee8-2f5360f94b37","resolution":{"observed_at":"2026-08-02T07:50:19.249738Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.358892Z","title":"STL-based optimization of biomolecular neural networks for re- gression and control,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.358892Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:08c4a9b84293bee6ac655b9896a989f96a0db85df31a875a0de8198210eea7d5","observation_id":"ab289df0-2c28-4264-a4d9-d790194f580a","resolution":{"observed_at":"2026-08-02T07:50:19.358892Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.413595Z","title":"Neu- ral ordinary differential equations,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.413595Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:32d4c8a377a1025c7771c12ae8b25e60074b1151c5069af50d418047e38f1fc0","observation_id":"391023c1-4872-406d-a115-c421a9cf89bf","resolution":{"observed_at":"2026-08-02T07:50:19.413595Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.487185Z","title":"Parameter synthesis through temporal logic specifications,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.487185Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:18fb36287997c9a3b42db82499f8c34aac1992d18cca355b3f1a221f42c194f1","observation_id":"7231a201-9937-4d82-ad9d-63c22ba06fd0","resolution":{"observed_at":"2026-08-02T07:50:19.487185Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.597034Z","title":"SAPO: Reachability computation and parameter synthesis of polynomial dynamical systems,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.597034Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:c61e143cfb9feec2f9eaa6bdba726c4b41c46af03bd2dcb44579ed8086016317","observation_id":"70abcf5f-4025-4656-af04-94bc1397963c","resolution":{"observed_at":"2026-08-02T07:50:19.597034Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.660835Z","title":"A temporal logic approach to modular design of synthetic biological circuits,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.660835Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:107192004cd06b16a44055de2895b6daee0e75cfdd175b47f125b057e02c19fd","observation_id":"57246665-a940-41c7-92d6-52fe1ed72fd4","resolution":{"observed_at":"2026-08-02T07:50:19.660835Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.796640Z","title":"High- performance symbolic parameter synthesis of biological models: a case study,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.796640Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:c09d1e13cd7c08ebfc8f3756638af4921f56a923fff3456901c16d2bc57dcb59","observation_id":"2e30b3be-2aeb-4c34-971f-7a983e42442a","resolution":{"observed_at":"2026-08-02T07:50:19.796640Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.883784Z","title":"Bayesian statistical parameter synthesis for linear temporal properties of stochastic models,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.883784Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:60c65614d7376736754498eb7a55506bdcf049761bd91ed6fb84e179b1dfee8a","observation_id":"4f3ec6bd-6d30-4a49-9934-a37a6a2008f8","resolution":{"observed_at":"2026-08-02T07:50:19.883784Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:19.944303Z","title":"Set propagation techniques for reachability analysis,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:19.944303Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:1d80b69b067260306ed950b35a3079877eb5129eafdd08472ba0b63fd9dc0615","observation_id":"de2ea6cb-0ab8-487c-ac6f-23fe6729f07c","resolution":{"observed_at":"2026-08-02T07:50:19.944303Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.002096Z","title":"STL model checking of continuous and hybrid systems,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.002096Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:a37d18ed9f7a08d32e9edce4099e9dac0f38461d5fdbc2454fc05a702c6f4f19","observation_id":"afb56c78-00e0-4b30-a7ec-e829688e84f5","resolution":{"observed_at":"2026-08-02T07:50:20.002096Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.058455Z","title":"Using four-valued signal temporal logic for incremental verification of hybrid systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.058455Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:e8a961e17e91549a7f44fc3d5c4b75033e09fd034f6f74777f042032ae6d8a4c","observation_id":"fb2a12f7-f13e-49f1-b951-e71535e711dd","resolution":{"observed_at":"2026-08-02T07:50:20.058455Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.112681Z","title":"Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.112681Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:b2020761c046a5a8c80bdd6f78869fb9cefbdfbbf36a1bbc6e79053de79bf67c","observation_id":"7bfeac43-e8e6-43b9-ac7c-710aff08d44a","resolution":{"observed_at":"2026-08-02T07:50:20.112681Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.228945Z","title":"Model predictive control with signal temporal logic specifications,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.228945Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:c20631199c7caa8c46b13f25f9c1926a20488761fc2d44cc515abc3246fcee76","observation_id":"9872b709-503e-4676-a3a2-494c8fe0bdb2","resolution":{"observed_at":"2026-08-02T07:50:20.228945Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.285656Z","title":"Optimization of conditional value- at-risk,","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.285656Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:ab1c1b2c87f3195ea2af79e8b98551a672972c3c666995bbcdc6c67f063cddbd","observation_id":"c2312edd-5dfb-4d2b-8b01-ed354e72cbd7","resolution":{"observed_at":"2026-08-02T07:50:20.285656Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.400735Z","title":"Adaptive parameter tuning for reachability analysis of nonlinear systems,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.400735Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:889595a9f115d9e85ea24e26d3a8f7d30c319cde4cd095c0184a858a4f02c3a9","observation_id":"c3848456-b7b5-46f6-92ff-5a5ba822435d","resolution":{"observed_at":"2026-08-02T07:50:20.400735Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.534403Z","title":"Meyer, A","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.534403Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:702605091c30de03b0975ffea7a413f220628be1a26cb5499bc1daa6562ebc6b","observation_id":"13c725f8-d9fe-47fc-b55a-d290ff83b1db","resolution":{"observed_at":"2026-08-02T07:50:20.534403Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.611881Z","title":"Interval signal temporal logic from natural inclusion functions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.611881Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:326234bc6c5c3f00c27f688511366219aa2c84f72db69eadf739f4773d0ae230","observation_id":"a1d27462-1bbb-40cc-95be-7b01145754d4","resolution":{"observed_at":"2026-08-02T07:50:20.611881Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.720987Z","title":"ARCH-COMP25 Category Report: Continuous and hybrid systems with nonlinear dynamics,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.720987Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:c4f47c1e3e24e24c2367f70998c919cd280a3a3e3ccc7f3a60e1bb2de1cbdad8","observation_id":"c4bf65e5-99c6-41cf-b7bb-d5cc46159634","resolution":{"observed_at":"2026-08-02T07:50:20.720987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.822835Z","title":"Evaluating the robustness of a biochemical network model,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.822835Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:87cb498efc5e64bf3c37b0c53be38e47aef148832931c1c8a50439c3a722f734","observation_id":"2c07b2fa-b2bf-4d4e-8f5f-dd3453b6b0b6","resolution":{"observed_at":"2026-08-02T07:50:20.822835Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:20.974865Z","title":"JAX: composable transformations of Python+NumPy programs,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:20.974865Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:9c627b5c00653bc5e88a6b68fe4341f78a1334ef297948281e48924b88392d44","observation_id":"bd74f4ba-8cfa-4bd1-8692-5b7c59067e45","resolution":{"observed_at":"2026-08-02T07:50:20.974865Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:21.086622Z","title":"An introduction to CORA 2015,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:21.086622Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:2ec72a02174fe50db1303aef734a1f6087f7dd60d819d4054a45af6bed1931e7","observation_id":"1e0d2531-79cd-4a1f-b3b8-ed93c1ae8e84","resolution":{"observed_at":"2026-08-02T07:50:21.086622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:21.240742Z","title":"Backpropagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:21.240742Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:a66f7ad894d02d1a8497b8fd489e72a527be5a608d4afeb98d1706b83eedd1d8","observation_id":"283783d8-d442-460e-aad5-896ed80783b4","resolution":{"observed_at":"2026-08-02T07:50:21.240742Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:50:21.358164Z","title":"Control from signal temporal logic specifications with smooth cumulative quantitative semantics,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T07:50:21.358164Z"},"links":{"citing_paper":"/paper/2607.08899"},"observation_digest":"sha256:5c8ec71c1319eb947777146a4a17dfd2404b63f0b4833cb20000df49279770f6","observation_id":"e9e6aa98-b1f0-4aec-bbea-0dfcb488e625","resolution":{"observed_at":"2026-08-02T07:50:21.358164Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.08899","last_updated":"2026-07-17T18:34:59Z","latest_version":2,"primary_category":"eess.SY","snapshot_observed_at":"2026-08-02T07:50:16.126716Z","submitted_at":"2026-07-09T19:45:55Z","title":"Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":31,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":31},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"As of 11 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2607.08899."}