{"as_of":"2026-08-07T09:15:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:258a0f275309d5b8fb1059932267e245021a9d436f19f91dcea6c0501da62edc","coverage":[{"denominator":79,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":79,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-04T00:33:35.666915Z","state":"measured"},{"denominator":79,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":79,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/2511.00934/citation-record","integrity":"/paper/2511.00934/integrity","json":"/paper/2511.00934/citation-record.json","paper":"/paper/2511.00934"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-04T00:33:27.307043Z","title":"Generalizing Safety Be- yond Collision-Avoidance via Latent-Space Reachability Analysis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:27.307043Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:bb96577e8a3b995e4c8c90852f474b5ecc1a55a6488f6ed822acca1c1c5874de","observation_id":"de17ebcf-cb89-4de0-99be-74de2881bf97","resolution":{"observed_at":"2026-08-04T00:33:27.307043Z","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-04T00:33:27.426816Z","title":"Semantically Safe Robot Manipulation: From Semantic Scene Understanding to Motion Safeguards,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:27.426816Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:e41abd61ede3b8bff20fbb4b4d54e9184bc0386d38def6c3d1cd6b49a860416b","observation_id":"6633be34-e680-4fab-921b-37202d1f38ce","resolution":{"observed_at":"2026-08-04T00:33:27.426816Z","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-04T00:33:27.508933Z","title":"Autonomous COLREGs-compliant decision making using maritime radar tracking and model predictive control,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:27.508933Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:84dee856a5736a131175e1fb5292ccf0755b06c8f79d8a25ec3b7f7ba12324e4","observation_id":"b5c4933b-58e4-4208-b13c-8ae15db328e9","resolution":{"observed_at":"2026-08-04T00:33:27.508933Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.13376","last_updated":"2025-05-19T17:19:43Z","snapshot_observed_at":"2026-08-04T09:34:04.633248Z","submitted_at":"2025-05-19T17:19:43Z","title":"Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.13376","snapshot_observed_at":"2026-08-04T00:33:27.643941Z","title":"Seeing, Saying, Solving: An LLM-to-TL Framework for Cooperative Robots,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:27.643941Z"},"links":{"cited_paper":"/paper/2505.13376","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:c9acc4d77708843249cfa39412b5e6e0cd8f77098629520b248f052623e9d0eb","observation_id":"bd8b472d-674c-4678-bf00-e1aa4e4a00e7","resolution":{"observed_at":"2026-08-04T00:33:27.643941Z","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-04T00:33:27.811879Z","title":"AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:27.811879Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:0b7230c5c291e8eac6a73b619445dbc75be2dc822308e286f8b2aa342aa01bfd","observation_id":"ff96e290-c7cc-44da-bd63-de8885df15f7","resolution":{"observed_at":"2026-08-04T00:33:27.811879Z","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-04T00:33:27.932644Z","title":"Continuous-Time Control Synthesis Under Nested Signal Temporal Logic Specifications,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:27.932644Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:5fef5c59139c1123d7beb6cbb344db3a54fd5b6d6159ff51716dda54bd48fd45","observation_id":"331722aa-14bb-460a-868f-cd1e95080469","resolution":{"observed_at":"2026-08-04T00:33:27.932644Z","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-04T00:33:28.057934Z","title":"Control of Mobile Robots Using Barrier Functions Under Temporal Logic Specifications,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.057934Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:f416391d3ede66dea321dca065536f1cb360d7dcc4ee279371ad719980480c4d","observation_id":"7d9a5701-ae85-473d-84f9-f159199e21f1","resolution":{"observed_at":"2026-08-04T00:33:28.057934Z","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-04T00:33:28.173189Z","title":"Reinforcement learning with temporal logic rewards,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.173189Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:ca140ce27b7ed6627398e6dd16ab88d9488397c9a2cd49b16bedc8e7d38abd8d","observation_id":"1f49d93d-070b-4e23-a201-8249e96710cc","resolution":{"observed_at":"2026-08-04T00:33:28.173189Z","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-04T00:33:28.303473Z","title":"Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.303473Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:eeccd77d8fd99bec4f874c27f6dffce9d744d53161c8b60f161e8a59ee3019ef","observation_id":"f5a86ea2-0462-4347-95c6-c11e70091ed1","resolution":{"observed_at":"2026-08-04T00:33:28.303473Z","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-04T00:33:28.436375Z","title":"Safe Control Under Uncertainty with Prob- abilistic Signal Temporal Logic,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.436375Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:e1c7a13cc2640f75338b577bcbeb3b6f4508d992c1362cd1e1af1bdc341359c7","observation_id":"abed02eb-8add-49b9-874f-2eee7206b385","resolution":{"observed_at":"2026-08-04T00:33:28.436375Z","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":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1510.08474","snapshot_observed_at":"2026-08-04T00:33:28.566145Z","title":"Control with Probabilistic Signal Temporal Logic,","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.566145Z"},"links":{"cited_paper":"/paper/1510.08474","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:ddc09dfd1d0e546607fd907fcd2684d007942dc12a23c1c599f9d28b531a2e54","observation_id":"05de1846-3adb-4575-89cb-c549bbdec4da","resolution":{"observed_at":"2026-08-04T00:33:28.566145Z","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-04T00:33:28.720047Z","title":"Confor- mal Prediction for STL Runtime Verification,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.720047Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:1431bfe9b5d911b512a703a2d8eba541e72f9fc751e402d4a9814b203b321862","observation_id":"8763d599-84cf-4c9c-89df-547bb185a220","resolution":{"observed_at":"2026-08-04T00:33:28.720047Z","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-04T00:33:28.879403Z","title":"A theory of the learnable,","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.879403Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:fbf9649daed04e35ec6075f66ed422588c4f523c38aad0bfc5d9188f01f90ee9","observation_id":"361c8ce0-df2a-4f4b-bad6-79eadae6d4b3","resolution":{"observed_at":"2026-08-04T00:33:28.879403Z","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-04T00:33:28.984806Z","title":"Interval Signal Tempo- ral Logic From Natural Inclusion Functions,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:28.984806Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:28865e3faabefc5db76ba6a0e6ea1b05bfcf7c63170483b80294117a61a2c0ce","observation_id":"521e08a2-5688-4258-9574-cdc5e2ace7dc","resolution":{"observed_at":"2026-08-04T00:33:28.984806Z","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-04T00:33:29.059246Z","title":"Estimating Reachable Sets with Scenario Optimization,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.059246Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:7ef8dc172943dc7c52b48afa4cbb99ba34b4def6208c8607aad1debd24ea9f18","observation_id":"ecf43d33-0dae-4493-9c96-2840461bd82c","resolution":{"observed_at":"2026-08-04T00:33:29.059246Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.06541","last_updated":"2025-09-11T10:42:16Z","snapshot_observed_at":"2026-07-06T21:06:31.469370Z","submitted_at":"2025-04-09T02:46:03Z","title":"Data-Driven Reachability with Scenario Optimization and the Holdout Method","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.06541","snapshot_observed_at":"2026-08-04T00:33:29.174206Z","title":"Data-Driven Reachability with Scenario Optimization and the Holdout Method,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.174206Z"},"links":{"cited_paper":"/paper/2504.06541","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:aac228c2bf8e3d647719ede173cee7c3a906f0b9b49439e830da33402c4946ed","observation_id":"73fa140b-7dca-4f82-a6e3-2b98df52b2b3","resolution":{"observed_at":"2026-08-04T00:33:29.174206Z","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-04T00:33:29.296145Z","title":"Set Propagation Techniques for Reachability Analysis,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.296145Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:5dce6f55ad6d981b13e70a3aeb578060b68a1768072075362d04b3c3657e085d","observation_id":"993b4e00-c141-4754-8597-57ff461e0a09","resolution":{"observed_at":"2026-08-04T00:33:29.296145Z","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-04T00:33:29.365883Z","title":"Guarantees for Real Robotic Systems: Unifying Formal Controller Synthesis and Reachset- Conformant Identification,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.365883Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:dd872112bce0f517746c3da6bf9735f64b933ab530155b3cc48cfebfb8590197","observation_id":"f736d53d-3dd6-4d56-85f6-8e7a3a2899f1","resolution":{"observed_at":"2026-08-04T00:33:29.365883Z","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-04T00:33:29.437286Z","title":"Data-Driven Reachability Analysis with Christoffel Functions,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.437286Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:fb1caf93bcfc18a3ceddfbab95274b83749ea33d047e416a2517abfc5d364432","observation_id":"d4584ce1-a0e2-4342-84cc-07f7061ae2ed","resolution":{"observed_at":"2026-08-04T00:33:29.437286Z","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-04T00:33:29.527716Z","title":"NeuReach: Learning Reachability Functions from Simulations,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.527716Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:d7dea238865da39461492e050506e7ff8cc6424b1c7556ac01c950195dbdc973","observation_id":"f394ff21-f572-466c-9069-c1e632da2b2e","resolution":{"observed_at":"2026-08-04T00:33:29.527716Z","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-04T00:33:29.591173Z","title":"Data-Driven Reachability Analysis for Gaussian Process State Space Models,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.591173Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:fc638c8edbf8ad6c920d84b792df263cbb32eb317a1ed6488225027c4c303d65","observation_id":"a76fe014-babd-401b-88e0-50a3ac46efab","resolution":{"observed_at":"2026-08-04T00:33:29.591173Z","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-04T00:33:29.648341Z","title":"Reachability-based safe learning with Gaussian processes,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.648341Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:2e8dade8780e3fee949903eac7cef2aded285a0990176146f1d7aa26c0ab02ee","observation_id":"b55c7bdf-8a3f-40f8-b6de-17e58003cd15","resolution":{"observed_at":"2026-08-04T00:33:29.648341Z","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-04T00:33:29.740027Z","title":"Nonconvex Scenario Op- timization for Data-Driven Reachability,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.740027Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:b4e90e6ea0217466cf79b3638dff0452f0777011bfd85556c1a9690f91d6d664","observation_id":"bd162fd0-ad31-4001-900e-f7dcdfd012f7","resolution":{"observed_at":"2026-08-04T00:33:29.740027Z","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-04T00:33:29.886380Z","title":"Verification of neural reachable tubes via scenario optimization and conformal prediction,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.886380Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:63b8b2f22d5c067c6b49505cfb5742ca824485c7cd9b0f28b8d67fb8c5779702","observation_id":"77413744-9ed1-4c1d-a14a-c7ee0acc18b2","resolution":{"observed_at":"2026-08-04T00:33:29.886380Z","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-04T00:33:29.987190Z","title":"Scenario-Based Probabilistic Reach- able Sets for Recursively Feasible Stochastic Model Predictive Control,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:29.987190Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:587e677a28f2f3c5b94ea34e272f9ec9779949157525ca07ae398f67eec51aab","observation_id":"61d25a97-1d1b-4b24-809a-319c5c48bd50","resolution":{"observed_at":"2026-08-04T00:33:29.987190Z","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-04T00:33:30.079420Z","title":"Data-Driven Reachability Analysis of Stochastic Dynamical Systems with Conformal Inference,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.079420Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:7e059df75fcba596516282f0f00528b1676d5cdd0f229c187a68d8529b26fd7a","observation_id":"1aef0691-29f8-450a-ba21-303d7224b77d","resolution":{"observed_at":"2026-08-04T00:33:30.079420Z","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-04T00:33:30.175574Z","title":"Conformalized Reachable Sets for Obstacle Avoidance with Spheres,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.175574Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:dffd967f09abb79d1314d5d05e75b9d6039b94253a5b32198aa6200d999f23da","observation_id":"1c72d877-2444-40da-a222-c3157164d275","resolution":{"observed_at":"2026-08-04T00:33:30.175574Z","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-04T00:33:30.279882Z","title":"Data-driven Reachability using Christoffel Functions and Conformal Prediction,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.279882Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:8cce400254e3cb44885314d0d64d9cb0cb3e4353b0ce931ae413db0e7cf0d84a","observation_id":"9c5514c9-a20d-4086-bb5c-844c75ff1b9f","resolution":{"observed_at":"2026-08-04T00:33:30.279882Z","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-04T00:33:30.376970Z","title":"Data-Driven Reachability Analysis Using Matrix Zonotopes,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.376970Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:db0f0d2ebae1d02a993978474cbd055e088df9f3d29931efd4e62b50819dba61","observation_id":"4a3554f6-c1a5-4f54-b312-fcff93020f11","resolution":{"observed_at":"2026-08-04T00:33:30.376970Z","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-04T00:33:30.439200Z","title":"Data- Driven Reachability Analysis From Noisy Data,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.439200Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:19d52dcd18189ce2ef38c7d631b5a5fe8875ed500c65ab427e2ac64409b338a1","observation_id":"d6f4f3b1-2bbf-4af1-8c52-82f8a45e83d1","resolution":{"observed_at":"2026-08-04T00:33:30.439200Z","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-04T00:33:30.550372Z","title":"Data-Driven Reachability Analysis for Nonlinear Systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.550372Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:8fd34a5ae12fd608f7a6afa1e4fac62556687cb9982677a63e39ad633c52bad3","observation_id":"0b42066f-bfc6-4b10-abd3-b7b32c21aa56","resolution":{"observed_at":"2026-08-04T00:33:30.550372Z","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-04T00:33:30.643134Z","title":"Two Space-Time Obstacle Repre- sentations Based on Ellipsoids and Polytopes,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.643134Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:276c6813c43d83de24c5e4c8e57481d894a53f5af40f155b67be6e7a1cc0f525","observation_id":"a4862ad7-051f-474a-bc56-7b6990b16816","resolution":{"observed_at":"2026-08-04T00:33:30.643134Z","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-04T00:33:30.746618Z","title":"Safe Autonomy for Uncrewed Surface Vehicles Using Adaptive Control and Reachability Analysis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.746618Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:8155f06dc4c405173f9caf4a27371a106533b4349bf97abe9ef0b3e561cb4d4b","observation_id":"ad3b5020-76dc-410f-955b-87f9b8ec4be4","resolution":{"observed_at":"2026-08-04T00:33:30.746618Z","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-04T00:33:30.845072Z","title":"A Tutorial on Conformal Prediction,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.845072Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:b0f55f52840d72d0dc9d66dcbe3daee0271b2b73c9bd57f5470af5671f2ec6af","observation_id":"5cd43650-86da-46f8-833e-8c0d801eb642","resolution":{"observed_at":"2026-08-04T00:33:30.845072Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2409.00536","last_updated":"2025-08-15T23:44:47Z","snapshot_observed_at":"2026-08-07T03:43:11.671859Z","submitted_at":"2024-08-31T20:05:55Z","title":"Formal Verification and Control with Conformal Prediction","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2409.00536","snapshot_observed_at":"2026-08-04T00:33:30.910027Z","title":"Formal Verification and Control with Conformal Prediction,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:30.910027Z"},"links":{"cited_paper":"/paper/2409.00536","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:b1f5d60fc98244640816ea3e432256a32695c8b1622887bd40e6ea6e1ef5f19b","observation_id":"a158342f-e8a9-4a86-a00a-03ad7cbb3e95","resolution":{"observed_at":"2026-08-04T00:33:30.910027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2107.07511","last_updated":"2022-12-07T05:08:01Z","snapshot_observed_at":"2026-07-06T11:29:34.579530Z","submitted_at":"2021-07-15T17:59:50Z","title":"A Gentle Introduction to Conformal Prediction and Distribution-Free Uncertainty Quantification","version":6},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2107.07511","snapshot_observed_at":"2026-08-04T00:33:31.016285Z","title":"A Gentle Introduction to Con- formal Prediction and Distribution-Free Uncertainty Quantification,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.016285Z"},"links":{"cited_paper":"/paper/2107.07511","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:f3432e2fab4ca26960eeecefa042bea7c45c81c80cc2f389f8d41e7a3dc7f6d9","observation_id":"b3968f75-4bcc-44ad-b366-4948a2f584b0","resolution":{"observed_at":"2026-08-04T00:33:31.016285Z","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-04T00:33:31.119630Z","title":"V ovk, A","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.119630Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:077052ce70bdd7ff335eaa4666d17ccffaa647c80e0e705280bae44897e55976","observation_id":"6c080009-db61-42fb-952c-1d3f8bb152a6","resolution":{"observed_at":"2026-08-04T00:33:31.119630Z","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-04T00:33:31.195017Z","title":"Scenario optimization,","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.195017Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:d92b5dd42c099b073066518d8244938d3dd21d80dbe197831ea17517b24dc58d","observation_id":"e7f0bb23-eb96-4f25-bfed-43e1510b944b","resolution":{"observed_at":"2026-08-04T00:33:31.195017Z","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-04T00:33:31.287780Z","title":"A General Scenario Theory for Nonconvex Optimization and Decision Making,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.287780Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:c4e76fc53753649e12e522e9ba8c8e23ade78b93b8fbf95e5b6690859034bb87","observation_id":"425fd4b8-bac0-4b7a-a621-9b9224f9de95","resolution":{"observed_at":"2026-08-04T00:33:31.287780Z","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-04T00:33:31.382079Z","title":"Non-convex scenario optimization,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.382079Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:d9061bf7fe005277aad7fc0ccdb08112e5e1fbd5681cd20df601aaec88335c3d","observation_id":"9acf4217-e54a-43d8-aa8a-b9e296327349","resolution":{"observed_at":"2026-08-04T00:33:31.382079Z","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-04T00:33:31.459506Z","title":"Conformal Predic- tion in the Loop: Risk-Aware Control Barrier Functions for Stochastic Systems With Data-Driven State Estimators,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.459506Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:4bfe55f0f58f37e9fafbc579ba5a08f10ac932cc999f99b8800086af7bd4151f","observation_id":"45b8892c-0256-4e6a-bf1f-057e282321dd","resolution":{"observed_at":"2026-08-04T00:33:31.459506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.03792","last_updated":"2024-12-05T01:01:53Z","snapshot_observed_at":"2026-07-06T20:01:54.557848Z","submitted_at":"2024-12-05T01:01:53Z","title":"Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.03792","snapshot_observed_at":"2026-08-04T00:33:31.559506Z","title":"Safe Adaptive Cruise Control Under Perception Uncertainty: A Deep Ensemble and Conformal Tube Model Predictive Control Approach,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.559506Z"},"links":{"cited_paper":"/paper/2412.03792","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:274eaa4025056d36f6a98615610e2e209ae955c54daffaa829ff24c4374a5d95","observation_id":"dd3d0fe0-ee24-433b-8d1a-fae8aabf4a16","resolution":{"observed_at":"2026-08-04T00:33:31.559506Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2312.04242","last_updated":"2025-07-18T00:30:39Z","snapshot_observed_at":"2026-07-06T16:58:15.536031Z","submitted_at":"2023-12-07T11:58:58Z","title":"Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.04242","snapshot_observed_at":"2026-08-04T00:33:31.639390Z","title":"Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Confor- mal Prediction,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.639390Z"},"links":{"cited_paper":"/paper/2312.04242","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:94339b1426924eec07035353ad943c9944d4b5767fb8112cc95c0765d5e2c36d","observation_id":"a85336bd-a94a-4260-b097-654321239d4f","resolution":{"observed_at":"2026-08-04T00:33:31.639390Z","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-04T00:33:31.730500Z","title":"Safe Planning in Dynamic Environments Using Conformal Prediction,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.730500Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:b23cbfb1299952bdf0ee0ca88e0f31a946578147e4c4f974b5cf6aec42f6dd3f","observation_id":"4bd22f82-7cef-4d37-b365-f41d238d288a","resolution":{"observed_at":"2026-08-04T00:33:31.730500Z","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-04T00:33:31.811659Z","title":"Safety-Critical Control with Un- certainty Quantification using Adaptive Conformal Prediction,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.811659Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:de8653a45736cb9b4c62bf069cedbab5b8f8b4767d8b90198eb51fb62bdfa840","observation_id":"3a8d4b77-5edd-4234-b194-7700cf680f4a","resolution":{"observed_at":"2026-08-04T00:33:31.811659Z","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-04T00:33:31.918399Z","title":"Uncer- tainty quantification and robustification of model-based controllers using conformal prediction,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.918399Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:2cac7c46b1244e29323da09e0e31e9380531612420abbc34e6165b33071faa37","observation_id":"eced9243-c12b-4278-82e9-b9294615e642","resolution":{"observed_at":"2026-08-04T00:33:31.918399Z","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-04T00:33:31.984537Z","title":"The scenario approach to robust control design,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:31.984537Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:af1694b63f4e9d3f675c3184ba7eccc8ce764e8d8a977dfa56868274c5584d2d","observation_id":"6a50221c-af4f-4183-ad7a-10b0ae69f11b","resolution":{"observed_at":"2026-08-04T00:33:31.984537Z","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-04T00:33:32.061524Z","title":"Non-convex scenario optimization,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.061524Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:1f74b9d816c720f9479eccd6940e92123587cf2c317e7e4be1a54d15b7ba6c69","observation_id":"892307f1-a7d4-45b2-9c89-f5d2ff01dcc2","resolution":{"observed_at":"2026-08-04T00:33:32.061524Z","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-04T00:33:32.135912Z","title":"Scenario-Based Trajectory Optimization in Uncertain Dynamic Envi- ronments,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.135912Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:110b544c03ad386934e7a34cb92edbc34879b415cd9ce231aabfabbb2f2f0a0c","observation_id":"4f5dc6de-3131-4bd2-8e0f-6e8c241e0404","resolution":{"observed_at":"2026-08-04T00:33:32.135912Z","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-04T00:33:32.180411Z","title":"Sample-based bounds for coherent risk measures: Applications to policy synthesis and verification,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.180411Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:088b9d163a867dee8eae4b91b651ba502552bc9c52ee57cf6a532a78ebbd9273","observation_id":"c6f0ab7c-0cd7-423c-914c-78dbbb9875e4","resolution":{"observed_at":"2026-08-04T00:33:32.180411Z","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-04T00:33:32.275614Z","title":"Monitoring temporal properties of con- tinuous signals,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.275614Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:82b80929a2cc91c451d0321268d50a5a4d3e0a0f061eecf58d038d5f7d320ab2","observation_id":"88ddd39f-e5b2-4a21-b764-53dc7b7dcfde","resolution":{"observed_at":"2026-08-04T00:33:32.275614Z","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-04T00:33:32.355027Z","title":"Robustness of temporal logic spec- ifications for continuous-time signals,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.355027Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:6ae85ef34019168f73d3658e74264cde50bba2abbe96512beea5d16918e9f061","observation_id":"8ba4a03f-99d4-40f1-b6c4-755a32aa124e","resolution":{"observed_at":"2026-08-04T00:33:32.355027Z","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-04T00:33:32.445730Z","title":"Incremental reasoning in probabilistic Signal Temporal Logic,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.445730Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:d76d67b1e73e76623d1ae3eeb462a423f31dd4125cc8c4a62fd616a3abe48296","observation_id":"4d80642f-a94a-4c53-9160-9bccbb52d0a1","resolution":{"observed_at":"2026-08-04T00:33:32.445730Z","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-04T00:33:32.551834Z","title":"Robust online monitoring of signal temporal logic,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.551834Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:079a29670c113dadd4c8e888564e0bd2d7c6b9f05ab420002477e5fa48d29a88","observation_id":"0945bc02-d8a1-48ac-865b-75102f631335","resolution":{"observed_at":"2026-08-04T00:33:32.551834Z","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-04T00:33:32.631344Z","title":"STL Model Check- ing of Continuous and Hybrid Systems,","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.631344Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:d920947226e76664f022c118d8b73c691ee4263dea0bc3e3c958abc26c519413","observation_id":"c37cf27e-7bda-499c-9cc9-f54bbf9a7039","resolution":{"observed_at":"2026-08-04T00:33:32.631344Z","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-04T00:33:32.685422Z","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":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.685422Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:d88ed39624646eac09643e1ed34f7ab9125eb80bb0d5e37638d68f44cb413f09","observation_id":"e116c2d1-ca4d-4936-b9b9-ffed5ba3c7f6","resolution":{"observed_at":"2026-08-04T00:33:32.685422Z","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-04T00:33:32.771395Z","title":"Model Predictive Robustness of Signal Temporal Logic Predicates,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.771395Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:dd10fc155dd560e5f87ba3c3b4ee9103f9d7e884b0549b28440bdcb762f01a8d","observation_id":"13b6eb44-158a-4bbe-98f4-eb548e202946","resolution":{"observed_at":"2026-08-04T00:33:32.771395Z","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-04T00:33:32.853929Z","title":"Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.853929Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:02c32d07ad297414f6f1ad98b9d72a5455c59af93cf8fad50039d68534cfb4cf","observation_id":"47a68279-cb66-4317-a828-560f898c9773","resolution":{"observed_at":"2026-08-04T00:33:32.853929Z","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-04T00:33:32.926849Z","title":"Signal Temporal Logic Neural Predictive Control,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.926849Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:7fde375d77a22b11cc702f5a8b931b539b27207c91422ebcd06b5f8540c3b90c","observation_id":"e2e59e43-fbf3-499f-bc0c-25a6695b4750","resolution":{"observed_at":"2026-08-04T00:33:32.926849Z","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-04T00:33:32.985670Z","title":"SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:32.985670Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:a795394c59728d7622f3694aadff73a3ec14eb2f6c907a67ff120edc0cb2cfbc","observation_id":"c699b0d4-172f-411f-b0ce-16f8cf936ae1","resolution":{"observed_at":"2026-08-04T00:33:32.985670Z","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-04T00:33:33.051372Z","title":"Runtime Monitoring of Time Window Temporal Logic,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.051372Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:bc29aa5b3e3beaf0c3de4af5b9a8b4bd08bc73763490e155e393f08a497f5a92","observation_id":"ea2adff6-39ad-4b80-8483-e3dedb8bba8b","resolution":{"observed_at":"2026-08-04T00:33:33.051372Z","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-04T00:33:33.143311Z","title":"Planning and Runtime Monitoring of Robotic Manipulator using Metric Interval Temporal Logic,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.143311Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:a369fc8b5e0b4581fc7dd8c1d3d4ffe3db7209bf96f41500b3f9fd42369501a0","observation_id":"fd0e7789-c65f-4e8e-af64-cc4a67a1d96b","resolution":{"observed_at":"2026-08-04T00:33:33.143311Z","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-04T00:33:33.211451Z","title":"Sleep When Everything Looks Fine: Self-Triggered Monitoring for Signal Temporal Logic Tasks,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.211451Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:917106708d98076fc8f569cff9bbaf8ed776bb1c51cf7cc8808b36e651a828f3","observation_id":"9aa1515c-e583-457c-ad78-eccd39d0100f","resolution":{"observed_at":"2026-08-04T00:33:33.211451Z","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-04T00:33:33.327088Z","title":"Temporal Logics for Learning and Detection of Anomalous Behavior,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.327088Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:97b21f72fc562e163a0ddd565aea8ae1bd12aaef34e4e99638c32cbbf08991e1","observation_id":"deda73fb-85ee-4538-9e93-9a308107f6df","resolution":{"observed_at":"2026-08-04T00:33:33.327088Z","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-04T00:33:33.377679Z","title":"Automatic simulation-based testing of autonomous ships using Gaussian processes and temporal logic,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.377679Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:fa3faf3d073c1eaaec15157a37bcb9accb6e154deca90d492cfb05102a924998","observation_id":"0e2c60e7-8da0-4d94-b3ee-224ee341e092","resolution":{"observed_at":"2026-08-04T00:33:33.377679Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.06970","last_updated":"2026-05-27T15:03:38Z","snapshot_observed_at":"2026-08-04T11:09:45.576343Z","submitted_at":"2025-10-08T12:56:31Z","title":"Falsification-driven reinforcement learning for maritime motion planning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.06970","snapshot_observed_at":"2026-08-04T00:33:33.447673Z","title":"Falsification-Driven Reinforcement Learning for Maritime Motion Planning,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.447673Z"},"links":{"cited_paper":"/paper/2510.06970","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:e97398dbb7447eecfddda0fa14c1a0d4bba9453da3bd403d3c7ce3b614dbd275","observation_id":"00abde7f-34a7-40d0-b017-e4159966c965","resolution":{"observed_at":"2026-08-04T00:33:33.447673Z","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-04T00:33:33.507058Z","title":"Past- time Signal Temporal Logic Hybrid Switching Control for Underwater Vehicles,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.507058Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:8120fe11b23df900ed45720224b9aad857547af4360fdd1d293322f78ff417aa","observation_id":"c993f6b6-c879-40f1-98a0-6c8f149e1d56","resolution":{"observed_at":"2026-08-04T00:33:33.507058Z","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-04T00:33:33.665115Z","title":"Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.665115Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:f8a059156beac64052117e2120053ea1b2ec1d758c39a6d0a886665255e61fb9","observation_id":"3e5c27a8-d352-4751-b015-3c79e2426d1d","resolution":{"observed_at":"2026-08-04T00:33:33.665115Z","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-04T00:33:33.912796Z","title":"Computation of Minimum-V olume Covering Ellipsoids,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:33.912796Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:fdde076ce4f210563c25396e549c10797ea617137f81e773d1dfd482788304ee","observation_id":"e2c64e28-dc79-4287-8048-4ed71a1ce395","resolution":{"observed_at":"2026-08-04T00:33:33.912796Z","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-04T00:33:34.066211Z","title":"Computing the V olume of a Zonotope,","venue":null,"work_id":null,"year":1989},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:34.066211Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:263034ca275868410d5ee6ccddf83a8007023866bbcb538c3c7f8aed419f17a9","observation_id":"29fae14e-5c08-455c-a274-9d9d5c36582f","resolution":{"observed_at":"2026-08-04T00:33:34.066211Z","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-04T00:33:34.293331Z","title":"Determinants and the volumes of paral- lelotopes and zonotopes,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:34.293331Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:34503d07b34d31f96dc334823c6b99f2de93a64480bb0bcc03b0643ec4cfaf9b","observation_id":"a9130284-bc88-4628-bd52-4ffa4296ce52","resolution":{"observed_at":"2026-08-04T00:33:34.293331Z","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-04T00:33:34.454874Z","title":"Convention on the International Regulations for Preventing Collisions at Sea, 1972 (COLREGs),","venue":null,"work_id":null,"year":1972},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:34.454874Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:d0b76054359a8e2e0ead830bb2f47486cb98c65c8cbcbe1160a8c60d3eb5d1cb","observation_id":"ac174581-2e8d-4335-89a5-27e32d778313","resolution":{"observed_at":"2026-08-04T00:33:34.454874Z","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-04T00:33:34.612057Z","title":"Temporal Logic Formalization of Marine Traffic Rules,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:34.612057Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:2d32b45964fa09676d4d5399de3c340f1576a7bc89ee5ca5b0bc72ba428fe991","observation_id":"5c386548-33a8-4462-a17b-bbab40aa47f6","resolution":{"observed_at":"2026-08-04T00:33:34.612057Z","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-04T00:33:34.790230Z","title":null,"venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:34.790230Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:98ced4e51330b72551501949cc79d4eecc306dc73e9e7d99a5de4a079828aa03","observation_id":"b5b22b52-048a-42b3-b8fe-4fea861b4f73","resolution":{"observed_at":"2026-08-04T00:33:34.790230Z","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-04T00:33:35.044224Z","title":"Line-of-sight guidance for path following of marine vehicles,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:35.044224Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:19c42be85c9a8610cb86b6d2e5c0d77ba364c4175be7fe4d9be863cbc37290c9","observation_id":"d60e203a-b45b-4bfd-8188-5ed0bf587659","resolution":{"observed_at":"2026-08-04T00:33:35.044224Z","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-04T00:33:35.190769Z","title":"Provably Safe Reinforcement Learning: Conceptual Anal- ysis, Survey, and Benchmarking,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:35.190769Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:011fefbd45b278e33d1eca6cf604bb22a7aa9e39c6ee7214993a3eaea3f48086","observation_id":"b0e947d4-b5c4-4617-9749-d3e70f5c4df9","resolution":{"observed_at":"2026-08-04T00:33:35.190769Z","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-04T00:33:35.331968Z","title":"Toward verified artificial intelligence,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:35.331968Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:c269157e461396f13ae6dc1fd607b5795f8c897f4de9951238b56af286ef1523","observation_id":"a80721d1-eef5-40d5-9eb6-37f476643878","resolution":{"observed_at":"2026-08-04T00:33:35.331968Z","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-04T00:33:35.476505Z","title":"Interval Signal Temporal Logic for Robust Optimal Control,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:35.476505Z"},"links":{"citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:c9950871f9ad014a06dfdfd40dc3ae6ab49b0aa467bef74654a8e4449019af93","observation_id":"dc7048dc-9645-42d8-bab1-3ffcec3a138d","resolution":{"observed_at":"2026-08-04T00:33:35.476505Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2505.06787","last_updated":"2026-07-17T19:44:41Z","snapshot_observed_at":"2026-07-23T23:19:04.750202Z","submitted_at":"2025-05-10T23:48:32Z","title":"Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin","version":5},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.06787","snapshot_observed_at":"2026-08-04T00:33:35.666915Z","title":"Digital-physical testbed for ship autonomy studies in the Marine Cybernetics Laboratory basin,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis","version":3},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-04T00:33:35.666915Z"},"links":{"cited_paper":"/paper/2505.06787","citing_paper":"/paper/2511.00934"},"observation_digest":"sha256:2f1cb0d2e0b1a6d1c0e1e80b51775d41b67c3396e8f2f8194540279e1cf1cea8","observation_id":"fe3fc94e-0597-4bd4-ba92-aefa6a51fb56","resolution":{"observed_at":"2026-08-04T00:33:35.666915Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2511.00934","last_updated":"2026-07-22T19:42:56Z","latest_version":3,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-06T22:35:30.463314Z","submitted_at":"2025-11-02T13:22:01Z","title":"pacSTL: PAC-Bounded Signal Temporal Logic from Data-Driven Reachability Analysis"},"reference_resolution":{"displayed":79,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":79,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":79},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 79 of 79 outbound references and 0 inbound Pith citation observations for arXiv:2511.00934."}