{"as_of":"2026-08-18T23:25:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:69db77863c253a183ebff0bccd7a4156df574dcc9b1199aa191322e5a65759e8","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-18T23:04:31.604696Z","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:67f6960cdd5a39c9756611070ee4a62837c2656f6250e8f8fb403f7cd939b279","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-18T23:04:31.604696Z","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:b97db9d89b87e2dd81144fab864666d08565fa1aaa52f68b75083ae1215e7c72","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-18T23:04:31.604696Z","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:2ca74426ac4b8af7fc993f3e774682afb5787e1e0fa5e5a642fee00e4c613d2a","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-18T23:04:31.604696Z","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:533d172ce5ff1412a4970e03166da22d8519334374fb58a0e96f44f8087ff42a","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-18T23:04:31.604696Z","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:440e09cc384f6e9444ca72716b5c7930ad869f8628a28633551ee3c386d0ad53","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-18T23:04:31.604696Z","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:dea39d3555cacc0244209b6d7f6be5aa75fe09efc696408f218e74b87f2b59d5","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-18T23:04:31.604696Z","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:c5f66b85612d2d00f04dfe7412519975ec6a89e5c3e0fff86185fce9bfc27ea9","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-18T23:04:31.604696Z","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:630a89b3ec5b1a81ec00298fe24476087f8a620d804399f6b9bc6829a5c429ef","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-18T23:04:31.604696Z","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:118ff7fb693e6399fd4e672578c4d093d6a5139c60ae8aeb6b6af3c5f037ade4","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-18T23:04:31.604696Z","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:facb4c4b3673cbb05f736e523136ec6e21e35659d546d0ec79db6289e1c2f9ed","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-18T23:04:31.604696Z","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:7cf3e246d79a1466a1d46b7268803caf3970dcf3fff342b618499bd0ef3ae4c4","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-18T23:04:31.604696Z","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:55efadc3b400e9a271dfb74e0887176e363bdea3cc78ebd436d5c213747e3f41","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-18T23:04:31.604696Z","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:8bc456ba545d0fd47014dec49eab67835bc001e503a8db5deb5ff176a1d4728e","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-18T23:04:31.604696Z","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:f8071bbd9904e797eaa33cb91e9a9d40dad8eb1ea78274f7f211a249e0dcbd8d","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-18T23:04:31.604696Z","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:180f96199e088f14eec20e4571a6d1e4798c7196c311267d0b0e0a2d59ad8273","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-18T23:04:31.604696Z","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:908321824e3e9299b6ce366871d92e135a90e12789ebfec684d2301a81de4e3a","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-18T23:04:31.604696Z","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:5e6634d742dca728bf1fe8fbb31f2d5808a9da6985594eaddc6f377ac312fdcf","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-18T23:04:31.604696Z","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:f8a3f48fede28ffd208dd2f8ed6fdcfcf02fa28ab0826d18e138031ba0c1631c","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-18T23:04:31.604696Z","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:415399efd602412f3b5bf3094631e89a46e9dfc95fe38b310909cbe98fc8dae6","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-18T23:04:31.604696Z","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:a63c3139ddec00ce3c0f2b12d50adc90dc4625707af38dde0499b7a73a31e576","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-18T23:04:31.604696Z","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:f15fd6d7b2e38681d58d249cd54a6477798701eb6fee5807a35bd5f4bf2ab2b8","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-18T23:04:31.604696Z","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:9530677e3320fec3921b43739000659e6645e086dff331d8d6dd2f8ed7b3bae7","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-18T23:04:31.604696Z","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:e8c2793d75105b783957679c77bea39ab4f0157564100c41cb327936d522f48b","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-18T23:04:31.604696Z","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:e8ad398fc8001bdbde20072766560ab4e832bbf38e76042d17669278865a2dbe","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-18T23:04:31.604696Z","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:f07f1df6c2a466276f4e9bb2e6f1f76f1b8ca163c517dc342515e5017723a5e7","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-18T23:04:31.604696Z","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:e3d1692881ae15f24beb79c3055b048b7bb88c8efbe8513dba1a10373fd52552","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-18T23:04:31.604696Z","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:d20f5f22ec040615f6070ca273c5b40028d1026256675038527e130f436a469f","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-18T23:04:31.604696Z","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:e47d867334d8f6c6c327a8419e5abf675d3d230b7ba889aa1ed508388407b24e","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-18T23:04:31.604696Z","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:b6a5e5048d355ec7df63dd37fe4842e901ad60276141a882a3ca8e220bf6bc51","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-18T23:04:31.604696Z","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:aadae05db6a5a4419d8b67756e1bb74f9a5a331a3e60cdbc5633ad9974ce8ecb","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-18T23:04:31.604696Z","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:9819f6c9aec35f73c3665a281111b800b5f10693607d8e490abc036a3c319e99","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-18T23:04:31.604696Z","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."}