{"as_of":"2026-08-18T15:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:eb603cd3a9d519d8380d4b0c47c1db30c103c62cf3ea39db800d2b0d0ce918cb","coverage":[{"denominator":31,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":31,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-08T13:32:27.433969Z","state":"measured"},{"denominator":31,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":31,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-18T06:34:40.430872+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/2503.04762/citation-record","integrity":"/paper/2503.04762/integrity","json":"/paper/2503.04762/citation-record.json","paper":"/paper/2503.04762"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.830093Z","title":"Safety and security in cyber-physical systems and internet-of-things systems,","venue":null,"work_id":"47c52b5c-bece-443e-aafb-20ff9c60c9f9","year":2017},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.339053Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:7de28b460a8c1f5111e4c7c4eb83b220eff3223f8b1627db2f82a3e89a8107bd","observation_id":"4526b296-341a-4b3a-9bf2-e543b20ef2fa","resolution":{"observed_at":"2026-08-08T13:32:27.833849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.820593Z","title":"Safety-critical advanced robots: A survey,","venue":null,"work_id":"b04c1d04-66f4-47d0-a9fa-3204eb58bc32","year":2017},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.343226Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:dfeb374f70e5967c4ba3df59adcd6a92681cbea52c427945bf52c5c8f88d9080","observation_id":"2db7a81e-9af3-4c6b-be09-6d9d224f7c02","resolution":{"observed_at":"2026-08-08T13:32:27.824025Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.811027Z","title":"Safety assessment of collaborative robotics through automated formal veri- fication,","venue":null,"work_id":"afe4ef6d-dda7-4842-9681-a701d729cad8","year":2019},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.346598Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:c00927ee430a46863a1d938a2ddb5d435e253c458bc414364a69c7216629e876","observation_id":"da995edd-3a20-4b8a-9e53-7de4a64bb4ab","resolution":{"observed_at":"2026-08-08T13:32:27.814345Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.801837Z","title":"Safety verification of hybrid systems using barrier certificates,","venue":null,"work_id":"59f0504b-eb1f-4bec-b949-234556614fb0","year":2004},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.349949Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:d7c65795d901256c3befcfa4463362314bae51cfa7c2c8211a5fe3767fc00177","observation_id":"8a93c993-ae45-4114-9abc-1955f670ec2f","resolution":{"observed_at":"2026-08-08T13:32:27.805217Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.792506Z","title":"Monitoring temporal properties of con- tinuous signals,","venue":null,"work_id":"b2f4de1b-695a-49bd-8d6e-f5956ad9757a","year":2004},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.353319Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:58c16b3223918230077f4a1f8eff25918463bd48889141f5a6134318e7e119e5","observation_id":"6b153237-f187-4c15-ada7-a8deb59b509b","resolution":{"observed_at":"2026-08-08T13:32:27.796209Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-08T13:32:27.356811Z","title":"Hamilton-jacobi reachability: A brief overview and recent advances,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.356811Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:e6d5c18fd436096a41e691a7400348b2dae9531b1a59288955c77b48add43dff","observation_id":"48ac9624-bd1c-44b5-b46c-13b5eabe458a","resolution":{"observed_at":"2026-08-08T13:32:27.356811Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.776197Z","title":"Signal temporal logic meets reachability: Connections and applications,","venue":null,"work_id":"a2177e31-f108-4b78-baa9-8faa2d483246","year":2018},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.360302Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:2257346ad6c4ebc93c14a67461697302a0ced3df4bd9d66483a0641dc3e1251c","observation_id":"0f7882bf-d907-4648-9dc1-c6c6b520c43e","resolution":{"observed_at":"2026-08-08T13:32:27.779482Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.766437Z","title":"Stl model checking of continuous and hybrid systems,","venue":null,"work_id":"1153b6ba-f1ee-474a-a0f6-f701667fb90a","year":2016},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.363289Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:98dc7fe85be4e6cf02d17a7a6a4d6f9dc46d17e971b57e3c459050f635d8e94a","observation_id":"a2aae7d7-543d-43d2-b79c-dc6d3eb79885","resolution":{"observed_at":"2026-08-08T13:32:27.769936Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.756669Z","title":"Using four-valued signal temporal logic for incremental verification of hybrid systems,","venue":null,"work_id":"f531b244-f58a-4941-aa69-4c55d8fb1dda","year":2024},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.366296Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:2597355a68999043e1e2644638068bf9943c0a7fd0882bc70518b083c3070b87","observation_id":"843e51a6-2458-406a-9e1a-2d61c6a42d61","resolution":{"observed_at":"2026-08-08T13:32:27.759958Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.746566Z","title":"Fully automated verification of linear time-invariant systems against signal temporal logic specifications via reachability analysis,","venue":null,"work_id":"7ef763fd-217c-4e0a-b833-f99779dde7b8","year":2024},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.369353Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:b4fde2348ef4cb707f271094ee986a83acba8ff81cf4d21c06c5d5b8faae3c38","observation_id":"01143262-4f5e-48cf-96f9-74c5d9e38caf","resolution":{"observed_at":"2026-08-08T13:32:27.750144Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-08T13:32:27.372206Z","title":"Finite-time regional verification of stochastic non-linear systems,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.372206Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:3e3b936bd53ed231cdf9988c0e695dfad54c2c707ead173bc9eddfd8be13c097","observation_id":"6ca40670-e55f-4ea5-8416-64cb17e3757b","resolution":{"observed_at":"2026-08-08T13:32:27.372206Z","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-08T13:32:27.375336Z","title":"A barrier function approach to finite-time stochastic system verification and control,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.375336Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:c5abc02d6747fd846686cc159e3b04db4c3724d4aa9c0aae7fcab5e2f0ab747c","observation_id":"8cc553b7-bb4c-4cb2-87e0-d1632981f2c9","resolution":{"observed_at":"2026-08-08T13:32:27.375336Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2006.01109","last_updated":"2022-12-24T22:24:37Z","snapshot_observed_at":"2026-07-06T09:25:07.613043Z","submitted_at":"2020-06-01T17:49:07Z","title":"Collision Probabilities for Continuous-Time Systems Without Sampling [with Appendices]","version":2},"cited_work":{"arxiv_id":"2006.01109","doi":null,"metadata_source":"pith","pith_arxiv_id":"2006.01109","snapshot_observed_at":"2026-08-08T13:32:27.504389Z","title":"Collision Probabilities for Continuous-Time Systems Without Sampling [with Appendices]","venue":"cs.RO","work_id":"8b458cdd-bd09-4e21-bff4-8d603aed0f95","year":2020},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.378331Z"},"links":{"cited_paper":"/paper/2006.01109","citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:7f534e47b191d5155cdcff4224a4da61e7393334b6cf111c14234effc3dcfb7b","observation_id":"0cf5f2f8-7cc2-4afa-89d4-abad95b5ddbf","resolution":{"observed_at":"2026-08-08T13:32:27.508214Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.727388Z","title":"Monte carlo motion plan- ning for robot trajectory optimization under uncertainty,","venue":null,"work_id":"33b8587e-b1f3-4684-8b0d-97ef6b43812f","year":2017},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.381862Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:425ee0d8f177176a7533b4468b9cbe4e152deb1e9fcb092c54803652f3d11762","observation_id":"b21a1a71-f361-4e4c-92af-2df0de2bc33b","resolution":{"observed_at":"2026-08-08T13:32:27.730769Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.02107","last_updated":"2024-10-03T00:04:00Z","snapshot_observed_at":"2026-08-17T02:25:34.734894Z","submitted_at":"2024-10-03T00:04:00Z","title":"Safety Verification of Stochastic Systems: A Set-Erosion Approach","version":1},"cited_work":{"arxiv_id":"2410.02107","doi":null,"metadata_source":"pith","pith_arxiv_id":"2410.02107","snapshot_observed_at":"2026-08-08T13:32:27.490944Z","title":"Safety Verification of Stochastic Systems: A Set-Erosion Approach","venue":"eess.SY","work_id":"42e798ea-74e5-46b0-a1a5-2abf4478e77e","year":2024},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.384798Z"},"links":{"cited_paper":"/paper/2410.02107","citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:ba2663a13a35592979ea4507a068f4b240e429158c99c82bc1e290a90957b591","observation_id":"b8d7d939-4adb-491d-b765-4b291f6f3283","resolution":{"observed_at":"2026-08-08T13:32:27.495592Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.718151Z","title":"Safe control under uncertainty with proba- bilistic signal temporal logic,","venue":null,"work_id":"de579b34-21b5-4096-94b4-79b32ced31e2","year":2016},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.388028Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:339baff451526502d8cfa9c67400ac64474621cad38ec7a323fffdba66f398cc","observation_id":"5fad108f-abc2-4f00-b0bf-e4b0cb02c8d6","resolution":{"observed_at":"2026-08-08T13:32:27.721551Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.709219Z","title":"Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances,","venue":null,"work_id":"0cd2e22d-01d1-4889-bd18-5c2a261d650c","year":2018},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.390929Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:0481daf4f9a0e490d9d9917480523edbdb1e36f5fc144d761c4dfec1f64fcb79","observation_id":"90e6b49d-30fb-4767-a5af-9ffcb9ef969b","resolution":{"observed_at":"2026-08-08T13:32:27.712408Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.699954Z","title":"Distributed model predictive control for probabilistic signal temporal logic specifications,","venue":null,"work_id":"73136049-c57f-4571-9e51-730b7722165d","year":2023},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.393815Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:9e2eca45d6bf2a2bd25d50394a359281fc261483049bafe79843eeb569783fdc","observation_id":"c6af39f6-316d-47b8-adc3-8db5dcf3964d","resolution":{"observed_at":"2026-08-08T13:32:27.703446Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.02827","last_updated":"2024-09-15T19:35:37Z","snapshot_observed_at":"2026-08-18T15:11:10.137373Z","submitted_at":"2024-05-05T06:26:21Z","title":"Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.02827","snapshot_observed_at":"2026-08-08T13:32:27.396898Z","title":"Probabilistic tube-based control synthesis of stochastic multi-agent systems under signal temporal logic,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.396898Z"},"links":{"cited_paper":"/paper/2405.02827","citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:a28ffd64414a8d7fd95f4ee2dabb39ebe8d26e14f4bb2670c4ce83911806ee14","observation_id":"d1470395-757e-47c0-b332-4972aeed6023","resolution":{"observed_at":"2026-08-08T13:32:27.396898Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.691122Z","title":"Control barrier functions for stochastic systems under signal temporal logic tasks,","venue":null,"work_id":"9afefb20-c291-497d-89e0-138f4a77361a","year":2024},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.400548Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:52caf71b72ca8abb7fa5c34ea4770d5f6b8bd0c4dba517eb55b378c417ba8d33","observation_id":"a53dd172-82d7-43c4-9ccb-1d293e15ef9e","resolution":{"observed_at":"2026-08-08T13:32:27.694441Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.681923Z","title":"Data-driven verification of stochastic linear systems with signal temporal logic constraints,","venue":null,"work_id":"d35cc4c1-f46e-41eb-b262-f5579454c4bc","year":2021},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.403499Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:8507192ed362aa768ab97a3195d94ec6d42bb474293085ebaaa3a4df5b107dea","observation_id":"b2060191-8416-48f9-97c4-9eef802adf43","resolution":{"observed_at":"2026-08-08T13:32:27.685366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2409.09334","last_updated":"2024-09-14T06:44:04Z","snapshot_observed_at":"2026-08-16T13:18:37.180450Z","submitted_at":"2024-09-14T06:44:04Z","title":"Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems","version":1},"cited_work":{"arxiv_id":"2409.09334","doi":null,"metadata_source":"pith","pith_arxiv_id":"2409.09334","snapshot_observed_at":"2026-08-08T13:32:27.468590Z","title":"Probabilistic Reachability of Discrete-Time Nonlinear Stochastic Systems","venue":"eess.SY","work_id":"5e6f389f-6c91-48d4-8576-03553e4c04a2","year":2024},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.406590Z"},"links":{"cited_paper":"/paper/2409.09334","citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:08e3333b2128e8a01694c816cfe07565bc346be1e2b981ebd1fc4dd75e1abaf2","observation_id":"3a357f10-a53c-41e6-8629-c9313b1686af","resolution":{"observed_at":"2026-08-08T13:32:27.474106Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.672422Z","title":"Theory and computation of dis- turbance invariant sets for discrete-time linear systems,","venue":null,"work_id":"19f72702-02f4-46ed-9d88-649a929c055f","year":1998},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.409742Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:a0708a51226a5fb3cbc3905e95cfab520500466ca7ff15d959ba95ac19fab0f2","observation_id":"12b64337-372d-4595-a569-3a0dfdc844d4","resolution":{"observed_at":"2026-08-08T13:32:27.675854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+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-08-08T13:32:27.412662Z","title":"Formal methods for control synthesis: An optimization perspective,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.412662Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:bb2ac686c45fee9642a13bc20dfcbeb112929030786ff534377acc4d34d8e20a","observation_id":"dbc5910b-50f3-41b1-8dee-e7905cd6fab1","resolution":{"observed_at":"2026-08-08T13:32:27.412662Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.658048Z","title":"Robustness of temporal logic spec- ifications for continuous-time signals,","venue":null,"work_id":"37f76e35-27f0-4316-b2f6-c1f46985217a","year":2009},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.415664Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:1cc47428d1be996bd1f24a41828fc2da7db1cd1edebbab0a88040e2cfaefbdf3","observation_id":"70c56837-55d8-4f81-9ee6-daa1487a3919","resolution":{"observed_at":"2026-08-08T13:32:27.661333Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.648937Z","title":"Robust temporal logic model predictive control,","venue":null,"work_id":"8bdc98a3-0ea4-4e21-baaf-59bb10f46624","year":2015},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.418716Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:6b0e5ed071488b4cfa765231b5f3b8c922c51fd378e96c69cb0ed7561549d12a","observation_id":"d982853b-3464-4394-88c7-90a1e4959d50","resolution":{"observed_at":"2026-08-08T13:32:27.652257Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.12225","last_updated":"2024-09-03T17:38:06Z","snapshot_observed_at":"2026-08-16T13:33:35.886876Z","submitted_at":"2024-07-17T00:39:49Z","title":"Probabilistic Reachability Analysis of Stochastic Control Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.12225","snapshot_observed_at":"2026-08-08T13:32:27.421716Z","title":"Probabilistic reachability analysis of stochastic control systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.421716Z"},"links":{"cited_paper":"/paper/2407.12225","citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:ae9bdc9a7f828086d3e5665f977c5cd1a4fdd8aa097f9e0521bd5a9c570d231d","observation_id":"cb883d42-9f2b-4979-aa59-562707dba44c","resolution":{"observed_at":"2026-08-08T13:32:27.421716Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.543299Z","title":"A framework for worst- case and stochastic safety verification using barrier certificates,","venue":null,"work_id":"a0a324b9-0424-43b0-8f6d-ca7548165c9c","year":2007},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.424895Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:ec6e78326b7da9a32da834a91ea41df98f493037e8789010198adc2d29eb922a","observation_id":"afdb0ff4-f0e8-4012-ae1e-fad20cc2941d","resolution":{"observed_at":"2026-08-08T13:32:27.642563Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.533914Z","title":"Signal temporal logic neural predictive control,","venue":null,"work_id":"c2fda759-67ee-44e4-a8b7-f71354338bea","year":2023},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.427859Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:9e44c913b7ef0e254d9d92d3ab2b22c756e560a97c68278ed15e546d08864a17","observation_id":"d5f817d6-ac0e-4030-8741-500e93f6540d","resolution":{"observed_at":"2026-08-08T13:32:27.537289Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.524503Z","title":"Simulation-driven reacha- bility using matrix measures,","venue":null,"work_id":"3598e749-45da-4095-8038-ace56943214a","year":2017},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.431015Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:3d60e41bae3457600ee629b3f6db51674c699e77a876c0befc01bad85808b757","observation_id":"da9be735-008d-4504-a362-0af0b3369491","resolution":{"observed_at":"2026-08-08T13:32:27.528053Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T13:32:27.514582Z","title":"An introduction to CORA 2015,","venue":null,"work_id":"ee66e380-c670-4ad6-9735-7283b4ed01d2","year":2015},"citing_paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-08T13:32:27.433969Z"},"links":{"citing_paper":"/paper/2503.04762"},"observation_digest":"sha256:c2111ecb4400173a330f781a8a52df5230f6efd2d65d430d0576c2eaafd2221e","observation_id":"8e717966-c9d2-437a-9f6b-6b0829601236","resolution":{"observed_at":"2026-08-08T13:32:27.517849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2503.04762","last_updated":"2025-02-11T03:17:40Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-16T05:01:38.699899Z","submitted_at":"2025-02-11T03:17:40Z","title":"Safety Verification of Stochastic Systems under Signal Temporal Logic Specifications"},"reference_resolution":{"displayed":31,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":3,"verified_fuzzy":22},"total_outbound_references":31},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-18T06:34:40.430872+00:00","source":"crossref"},{"observed_at":"2026-08-18T06:34:34.496301+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 0 inbound Pith citation observations for arXiv:2503.04762."}