{"as_of":"2026-08-08T07:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7b93c6bd01792093e29772708e7f8671453e183e7b195876df94e7de7f7a67f6","coverage":[{"denominator":20,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":20,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-26T20:35:54.743119Z","state":"measured"},{"denominator":20,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":20,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-08T06:32:00.761636+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/2606.19561/citation-record","integrity":"/paper/2606.19561/integrity","json":"/paper/2606.19561/citation-record.json","paper":"/paper/2606.19561"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T20:35:54.743119Z","title":"On signal temporal logic","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:0360e0f2de3b7b110c9af638e7815de711fcdcc0b4b038582b723dba5ed51db6","observation_id":"3e84c772-fefa-4282-94b2-ebb0ce3607ad","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Robust satis- faction of temporal logic over real-valued signals","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:fcf3b50de7ef184ba9cd7e62f2dc3b9f8c80ebe286b71359147af383d8412ad5","observation_id":"1ce433bb-0f20-47b7-8389-d98351b8a23a","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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":"2505.07240","doi":"10.48550/arxiv.2505.07240","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Continuous-Time Control Synthesis for Multiple Quadrotors under Signal Temporal Logic Specifications","venue":"arXiv (Cornell University)","work_id":"115ce6f7-acec-41ee-89d7-8cea11215df4","year":2025},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:9b947ece0e68bac6cd04d67482f334bb4c699a17cafd88c3a2e6912a1074d7c7","observation_id":"b92432bc-3061-4b7a-9b6b-805f2691e7f1","resolution":{"observed_at":"2026-07-04T01:09:19.684028Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T20:35:54.743119Z","title":"Power line inspection tasks with multi-aerial robot systems via signal temporal logic specifications","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:65f2b9003e4e7b7f1219f5fc7776c7b625c3a3603edd83a6b5083a1614e2ddba","observation_id":"1420f34d-4dfc-4c08-9966-dff66b46cc75","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Guiding autonomous exploration with signal temporal logic","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:e660a8c399b6869557f9ee54a6d1139e42e2b00f3e233dbe092c8cb5312b7856","observation_id":"dab7fe0d-3624-4491-8f12-9712cd924172","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Learning from demonstrations using signal temporal logic in stochastic and contin- uous domains","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:4e137f013897e0845ed8472afa687f162ce39ea51218438bfab6806eae31993e","observation_id":"3078fa1a-7e33-468c-a371-3858524e1193","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1510.08474","last_updated":"2015-10-28T20:25:00Z","snapshot_observed_at":"2026-07-06T04:34:36.474437Z","submitted_at":"2015-10-28T20:25:00Z","title":"Control with Probabilistic Signal Temporal Logic","version":1},"cited_work":{"arxiv_id":"1510.08474","doi":null,"metadata_source":"pith","pith_arxiv_id":"1510.08474","snapshot_observed_at":"2026-07-04T01:09:19.691800Z","title":"Control with Probabilistic Signal Temporal Logic","venue":"cs.SY","work_id":"0b64b265-0ace-4155-9d73-1e033fa40926","year":2015},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"cited_paper":"/paper/1510.08474","citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:bab29707ea1aa6ad33628da34d4f73f279fb79dade7258b4191aea13ba6e7815","observation_id":"0679add6-7478-494e-8816-d760ac4ebcef","resolution":{"observed_at":"2026-07-04T01:09:19.693235Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1610.05376","last_updated":"2016-10-17T23:22:12Z","snapshot_observed_at":"2026-07-06T05:14:58.062243Z","submitted_at":"2016-10-17T23:22:12Z","title":"Probabilistic Safety Programs","version":1},"cited_work":{"arxiv_id":"1610.05376","doi":null,"metadata_source":"pith","pith_arxiv_id":"1610.05376","snapshot_observed_at":"2026-07-04T01:09:19.679886Z","title":"Probabilistic Safety Programs","venue":"cs.RO","work_id":"b3834071-bf74-4650-b367-aa57b8e37163","year":2016},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"cited_paper":"/paper/1610.05376","citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:96bf54f2ad06f0e5a748219335e3271a8a49faeb5c84fd0c0047c392a7ff8ab6","observation_id":"036dd562-ae1f-47ef-bd82-91a99bdca4e0","resolution":{"observed_at":"2026-07-04T01:09:19.681448Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T20:35:54.743119Z","title":"Incremental rea- soning in probabilistic signal temporal logic","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:056c95c071f04bdec6469472433a5db86cb316b7dd1b237597e02ec54efb556d","observation_id":"554df758-ccd3-40bc-9660-6664e6f085e0","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Signal temporal logic synthesis as probabilistic inference","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:10770d80a27a1e49ccf50528233de84747f18b9e1c12b6162960e72528a994c4","observation_id":"b815744e-d174-4c47-a53c-6facad848338","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Reactive and risk-aware control for signal temporal logic","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:9d7c70ec0cf00c8d6d5b819e4ba111d95686f55f30e1e00888c034ec6c8aa891","observation_id":"6629a5b1-eef9-47bc-9dc4-3cd7b2eec607","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Safe autonomy under perception uncertainty using chance-constrained temporal logic","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:47f598433cb4caf6ec722c9ac7f9c34d87a7f87bc4b2bcbaf8b0487134456d4f","observation_id":"193d2884-4706-42ab-888a-f467c34c6657","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Shrinking horizon model predictive control with chance-constrained signal tem- poral logic specifications","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:493ccb7965c30efc5aad8c2468bdc6e3239c37b49c2848249c99d6797166129a","observation_id":"d544cfb9-1231-4780-8219-e0100187d443","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.04813","last_updated":"2023-05-28T19:58:13Z","snapshot_observed_at":"2026-07-06T14:03:13.586644Z","submitted_at":"2022-10-10T16:22:10Z","title":"Stochastic Robustness Interval for Motion Planning with Signal Temporal Logic","version":2},"cited_work":{"arxiv_id":"2210.04813","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2210.04813","snapshot_observed_at":"2026-07-04T01:09:19.688112Z","title":"Stochastic robustness interval for motion plan- ning with signal temporal logic","venue":null,"work_id":"3dbae0ff-023e-4221-add8-cf01b47ffbf3","year":2022},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"cited_paper":"/paper/2210.04813","citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:45287aca0759fc7f8e2c8f8b75d91ce12dd701572975723c61b835c15efdb823","observation_id":"18828bca-d9aa-451d-a2a2-93819041ecc2","resolution":{"observed_at":"2026-07-04T01:09:19.690088Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T20:35:54.743119Z","title":"Backpropagation for parametric STL","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:64fb916901885ae6eacc9f8f69ac0c6bfa2a6d63d81cfb49102dc84d4d9984b4","observation_id":"471da59b-ca18-416d-b494-3ec400e854de","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Backpropagation through signal temporal logic speci- fications: Infusing logical structure into gradient-based methods","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:2bbdf31d9d0f12d898a762054d84cbe824071718d6d150fd40d532a6826bb2a9","observation_id":"a7ced079-002f-453c-aa4c-b743d90024f0","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"Signal temporal logic neural predictive control","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:e2be40c30d842a3502ea3c141dd45cc0fedb4b7631fd51b5d5666e6344094b2b","observation_id":"be1fe361-719d-4a10-b635-a63c13219c87","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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":"2501.04194","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-04T01:09:19.685096Z","title":"Stlcg++: A masking approach for differentiable signal temporal logic specification","venue":null,"work_id":"080b25ed-2e20-4d5a-9daf-27eb0860165e","year":2025},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:9b095e9180dd90106bbd5d859d8e02a26c39e17f506c97c7dc934444932c7323","observation_id":"47c74418-e6b9-40be-ba73-925a873ae083","resolution":{"observed_at":"2026-07-04T01:09:19.686699Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T20:35:54.743119Z","title":"A smooth robustness measure of signal temporal logic for sym- bolic control","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:85f186a1acbf88313f56c061be32ea6c5fc94f202fa0158b4edddf980cca61ab","observation_id":"9ab91f3e-c88c-4f10-8939-631578d197af","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","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-06-26T20:35:54.743119Z","title":"STLnet: Signal temporal logic en- forced multivariate recurrent neural networks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-26T20:35:54.743119Z"},"links":{"citing_paper":"/paper/2606.19561"},"observation_digest":"sha256:a20c78def5c0890dde93c0da13f2c2b86b0429552a43c848653f39e1d1cf3f45","observation_id":"6261d25b-7e59-445c-9bbd-2dd1de903597","resolution":{"observed_at":"2026-06-26T20:35:54.743119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.19561","last_updated":"2026-06-17T20:01:56Z","latest_version":1,"primary_category":"cs.RO","snapshot_observed_at":"2026-08-07T03:46:00.648786Z","submitted_at":"2026-06-17T20:01:56Z","title":"pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems"},"reference_resolution":{"displayed":20,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":15,"verified_exact":5,"verified_fuzzy":0},"total_outbound_references":20},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"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."}