{"as_of":"2026-08-18T06:00:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:2d6b40c5c015574b2d98dd36e5a93737d284e3a2da324484abafdcc52bc75271","coverage":[{"denominator":59,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":59,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-15T19:11:19.383982Z","state":"measured"},{"denominator":59,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":59,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+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/2506.17602/citation-record","integrity":"/paper/2506.17602/integrity","json":"/paper/2506.17602/citation-record.json","paper":"/paper/2506.17602"},"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-15T19:11:20.564716Z","title":"The ARCH-COMP friendly verification competition for continuous and hybrid systems,","venue":null,"work_id":"57549dd3-3ad8-4bf6-affa-931a1555f656","year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.109221Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:85ac76d6056226e1cb711ffbc90bb74eac2116fcebba1d08f38a66c5cc47e9a0","observation_id":"d87d1fad-c4c9-4ed7-b0af-d3fa0afe7162","resolution":{"observed_at":"2026-08-15T19:11:20.570387Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.549719Z","title":"Automated verification and synthesis of stochastic hybrid systems: A survey,","venue":null,"work_id":"9533299d-76ff-488a-b67b-a1dd5e638f24","year":2022},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.114177Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:b26a22f3807bf0494e24108168de0ec377494647b71f912cddd601fd512fd031","observation_id":"91d197c8-23f3-46a6-867e-ba77445a7162","resolution":{"observed_at":"2026-08-15T19:11:20.554244Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.535803Z","title":"Tools at the frontiers of quantitative verification - QComp 2023 competition report,","venue":null,"work_id":"c270b3c4-0b15-4648-b82c-d1c3f757064b","year":2023},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.118979Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:a59a1c084b1d2cf371582e7a857212e71b0009f058d53929d51aedafbade918b","observation_id":"79c3f987-c81a-44f6-9702-dd9b06cc6a7c","resolution":{"observed_at":"2026-08-15T19:11:20.540216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2404.14804","last_updated":"2025-06-11T05:56:01Z","snapshot_observed_at":"2026-08-16T13:58:38.659740Z","submitted_at":"2024-04-23T07:34:04Z","title":"PRoTECT: Parallelized Construction of Safety Barrier Certificates for Nonlinear Polynomial Systems","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2404.14804","snapshot_observed_at":"2026-08-15T19:11:19.123788Z","title":"Protect: Parallelized construction of safety barrier certificates for nonlinear polynomial systems,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.123788Z"},"links":{"cited_paper":"/paper/2404.14804","citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:223fd89f63e204a52e9b38a59a3c86cc7de5d93ca614eff63cf75c1536b6200b","observation_id":"19ae524a-130d-4acd-aa94-8a700d6ee55c","resolution":{"observed_at":"2026-08-15T19:11:19.123788Z","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-15T19:11:20.520622Z","title":"Protect: Parallel construction of barrier certificates for safety verification of polynomial systems,","venue":null,"work_id":"11893a25-404e-4191-a6d1-58ecbf771377","year":2025},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.128595Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:a4f2fecd5921a7b2cee1a274142cb013650c3e66fa46d166265fd433920250f5","observation_id":"3ee4beec-b708-49bb-9804-ed12bcd3d598","resolution":{"observed_at":"2026-08-15T19:11:20.525213Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.506045Z","title":"Yuan, SumOfSquares.py","venue":null,"work_id":"fa22b805-3046-4f8c-9a11-0ae560c924a0","year":null},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.133434Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:85f947417306cb1557fdef28aa22ae8db44c8eee5c6d6f17808efba6b020daa6","observation_id":"4d7c6221-5c66-4a0a-ae1c-7fb7ba56895f","resolution":{"observed_at":"2026-08-15T19:11:20.510944Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.491474Z","title":"Compositional construction of control barrier certificates for large-scale interconnected stochastic systems,","venue":null,"work_id":"ba318150-491b-4e00-83e1-282b70ba409a","year":2020},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.138007Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:97c062197143f3fc1ad527eddfdf9aef740e2daec7bca38b4a9a77e18b321d19","observation_id":"76c8135f-f527-427f-9a78-335d25446d56","resolution":{"observed_at":"2026-08-15T19:11:20.496059Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.476258Z","title":"Compositional construction of control barrier functions for networks of continuous-time stochastic systems,","venue":null,"work_id":"5e45655e-72b0-4d0c-8f24-9b4ccf07521e","year":2020},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.142791Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:4b2623e167272e220a4c5c2764aee9720ea42117d8e524eda918dcab2db2a11d","observation_id":"d24efc7e-c8c4-45e1-b365-3a256a8972ad","resolution":{"observed_at":"2026-08-15T19:11:20.480914Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.460842Z","title":"ApS, Mosek optimizer api for python , 2022","venue":null,"work_id":"9c2b61d5-9855-4d59-9fe0-679f5eff0c0e","year":2022},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.146902Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:7d3699f885e3fe387312cf45e62c37003b0a4d4238a10699491e5a8b36e796d6","observation_id":"862ba1a7-1f92-4422-a2d1-ea0edc039c8e","resolution":{"observed_at":"2026-08-15T19:11:20.465398Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.446302Z","title":"CVXOPT: A Python package for convex optimization,","venue":null,"work_id":"e66f4078-a868-4936-9d9b-e93468487dbf","year":2013},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.150987Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:b999b3a155450ebdd428a8bbdb2e7337dae4f8fe60cfd4118ff18b643534300f","observation_id":"6e270aef-f7e9-4140-8c7e-f1292591a9bc","resolution":{"observed_at":"2026-08-15T19:11:20.450960Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.431395Z","title":"IMPaCT: Interval MDP parallel construction for controller synthesis of large-scale stochastic systems,","venue":null,"work_id":"406f9164-b514-4197-a209-52955a5a8de6","year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.154678Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:cb009b9a739ccddfe768da161854618c811056c02eabf61cebef3ea95d9d5bec","observation_id":"a1889cf9-5c89-4a93-addc-707c38e8979d","resolution":{"observed_at":"2026-08-15T19:11:20.436427Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.417109Z","title":"IMPaCT: A parallelized software tool for IMDP construction and controller synthesis with convergence guarantees,","venue":null,"work_id":"846894f4-0b97-4fda-835c-77393f4bb66b","year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.159323Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:cca18e6eb8b321315d507700309bb99c038aa4c2697ac2bb788bfa3d49d99b9f","observation_id":"fa5f0aa5-680c-49af-b177-d5bbd4f9f0f1","resolution":{"observed_at":"2026-08-15T19:11:20.421727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.402319Z","title":"Interval iteration algorithm for MDPs and IMDPs,","venue":null,"work_id":"22d8fce3-f90b-4557-bd5a-b619b9e424f4","year":2018},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.163303Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:fb1699637159e4abe1e113a5b96b1bcee1385dfc39f12d79910a7b662f49ce8f","observation_id":"7da6d097-58a9-4579-add5-dfd7fc2f6b9b","resolution":{"observed_at":"2026-08-15T19:11:20.406534Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.387579Z","title":"SYCL beyond OpenCL: The Architecture, Current State and Future Direction of HipSYCL,","venue":null,"work_id":"e8cf4da6-2db2-44db-90a8-645386f45390","year":2020},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.167294Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:125f4a4bcc3bdbb5a400192db18bc65074353dd82fa336fd07b380a93417593e","observation_id":"069bab27-954b-4ef7-810b-9d9f7e6a281a","resolution":{"observed_at":"2026-08-15T19:11:20.392524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.372373Z","title":"One Pass to Bind Them: The First Single-Pass SYCL Compiler with Unified Code Representation Across Backends,","venue":null,"work_id":"be7200dd-065e-49a6-85f4-362769f2767b","year":2023},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.171259Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:6e971389d1678c00d196882a7fd7b1a2f490c7276315f8e05520a26a5e2167fe","observation_id":"80c813df-d8a3-4c41-8034-b399b846ed0a","resolution":{"observed_at":"2026-08-15T19:11:20.377356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.357306Z","title":"[Online]","venue":null,"work_id":"456a3a28-afbe-4a4f-bcf7-d00e17339565","year":1997},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.175459Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:327fb6efc5f87137b4d403e3a55b66ded271705ffa2084d51ec0c5acdb11c0f1","observation_id":"6608b57e-f03d-424d-9b6d-5f0cc5dcf56a","resolution":{"observed_at":"2026-08-15T19:11:20.361680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.342633Z","title":"Data-driven abstractions via binary- tree gaussian processes for formal verification,","venue":null,"work_id":"9a227aea-877a-49a2-bf71-0b7e9197cfbf","year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.179416Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:e1c527a44b84afd224c5fb2eff35e29d9cb6ae6b33d884378402e326180296ab","observation_id":"8c0e1952-4126-442d-af43-6bc2568346ba","resolution":{"observed_at":"2026-08-15T19:11:20.347339Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.183435Z","title":"IntervalMDP.jl: accelerated value iteration for interval markov decision processes,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.183435Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:865c4ed4f6edf07513a689cd97e2886c9d8dd8f6b668ecd0fd7279a3e3871344","observation_id":"5bdd4699-2b78-4291-921f-4d12f9c1c82b","resolution":{"observed_at":"2026-08-15T19:11:19.183435Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2411.11803","last_updated":"2025-03-07T09:19:59Z","snapshot_observed_at":"2026-08-17T16:39:01.942773Z","submitted_at":"2024-11-18T18:17:36Z","title":"Scalable control synthesis for stochastic systems via structural IMDP abstractions","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2411.11803","snapshot_observed_at":"2026-08-15T19:11:19.188262Z","title":"Scalable control synthesis for stochastic systems via structural IMDP abstractions,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.188262Z"},"links":{"cited_paper":"/paper/2411.11803","citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:c1f4263c165a9b705573ad4b6aa127d568b14dd636a8afc85348e29070373b12","observation_id":"2db8bed4-f073-41ef-82d2-30280b467954","resolution":{"observed_at":"2026-08-15T19:11:19.188262Z","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-15T19:11:19.193213Z","title":"Strategy synthesis for partially- known switched stochastic systems,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.193213Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:722e0ce87cd71860c086951d70a0d321e8b2861aa71666de6bd4e0c53188941c","observation_id":"fb43cdc5-c66c-47bd-b901-9d1e1bf0b09a","resolution":{"observed_at":"2026-08-15T19:11:19.193213Z","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-15T19:11:20.328247Z","title":"Hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions,","venue":null,"work_id":"eac7f447-2ddc-4476-9f75-c50769199f51","year":2020},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.197421Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:b1f6d16056b905f7b4cbd5e8ce59c474a0c8c85455415161ba0168becdc3c94b","observation_id":"556f0e18-9402-4108-ab21-22a9d30f85b7","resolution":{"observed_at":"2026-08-15T19:11:20.332968Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.313890Z","title":"Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes,","venue":null,"work_id":"29f54f08-3aac-4a4f-8807-ad39a798112b","year":2019},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.201704Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:c0f65d6c9aea16689d7fb3201a2c63401aee8d5d797fbe84341f1475a45b2845","observation_id":"fb06fd39-5dbe-4651-a7ed-36f3a2562481","resolution":{"observed_at":"2026-08-15T19:11:20.318529Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.299280Z","title":"State-Space Construction of Hybrid Petri Nets with Multiple Stochastic Firings,","venue":null,"work_id":"50d50bb4-b7aa-458e-ad3e-54aad89975c5","year":2019},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.206464Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:8913ecff58dd1927f4cf4d9e650c7be25a87e31ec9585ea8dcf2b564e3070618","observation_id":"3b1693f1-95e2-4103-a7fd-3d41ff26eeab","resolution":{"observed_at":"2026-08-15T19:11:20.303652Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.283761Z","title":"Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro,","venue":null,"work_id":"7c211bdb-826d-49bc-b714-ac63726689e0","year":2017},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.210744Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:d0ed8d929849a5753609de0909f1df4bf7a188611849eed38d5f935759707f05","observation_id":"d6784c5d-9874-4fde-83bf-05b204766219","resolution":{"observed_at":"2026-08-15T19:11:20.288646Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.268456Z","title":"HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis,","venue":null,"work_id":"ae17b8bf-f445-4481-9cba-4671c80e528e","year":2017},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.214977Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:ae610fdf8b7159f5de7fa87e8029d9c1861772e1885a26dc6a644f24b7f7de06","observation_id":"a7b8997f-07c5-4d54-a955-e7395e2e40cb","resolution":{"observed_at":"2026-08-15T19:11:20.273112Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.253689Z","title":"A new algorithm for adaptive multidimensional integration,","venue":null,"work_id":"b8735dde-fb35-465c-8f6a-9646f2ee6635","year":1978},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.218850Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:5456ae30d5baeaae49c82ae8b9b3c36cdabec632ac0b5d5d5247a6352f8cecf9","observation_id":"2ddc1566-429f-4bf2-98ea-23137cb24a9f","resolution":{"observed_at":"2026-08-15T19:11:20.258064Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.239054Z","title":"State-space Construction of Hybrid Petri Nets with Multiple Stochastic Firings,","venue":null,"work_id":"61c581f0-f160-43ec-9b84-ae4d80c6f090","year":2021},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.222770Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:b8985b35197e0ac4e00c9d935951093923d5dbade8792c4f51090adaf6e7bc8b","observation_id":"be272723-d77c-42ec-a02d-aef892bfda3b","resolution":{"observed_at":"2026-08-15T19:11:20.243388Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-48885-6","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"Rare event simulation for stochastic hybrid systems using symbolic importance functions,","venue":"Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","work_id":"ccc5aef5-4a06-4dc9-aa86-63abcd00d9e9","year":2023},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.227003Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:4ab54d6c704f4a05aab5f0397f885f34ef769b15435e1bae48458135d3d8a091","observation_id":"eacb1e15-ebe8-40a7-b176-3a4fd0653aed","resolution":{"observed_at":"2026-08-15T19:11:19.468260Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.231572Z","title":"Symbolic state-space exploration meets statistical model checking,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.231572Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:7d282014d3a63f9426e669cdaad4a72709c13d25c9a4c9f9fc176f15e205fb68","observation_id":"097fb1e1-d203-48b6-9dd5-d6a09966a0db","resolution":{"observed_at":"2026-08-15T19:11:19.231572Z","resolver_source":null,"status":"malformed_identifier"},"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-15T19:11:20.224577Z","title":"HYPEG: Statistical Model Checking for hybrid Petri nets: Tool Paper,","venue":null,"work_id":"cebcb66d-2d2a-4bb5-90d0-b90b3e5a10d6","year":2017},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.235947Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:edcf19b97ae6c6113e797e44893b8d211dc799fe35fadff052ad49d865474456","observation_id":"d6576f74-e761-4796-aa14-24ee99ca03ed","resolution":{"observed_at":"2026-08-15T19:11:20.229168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.209327Z","title":"Statistical Model Checking for hybrid Petri nets with multiple general transitions,","venue":null,"work_id":"b2e1e77b-36e0-40ee-9bce-5ba206864688","year":2017},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.240311Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:48f17ede5a24e0a59bd2b7e7f94e889519368973226ee92267d8e21b38881f04","observation_id":"a52fe5e8-cdda-45e3-98b3-1789a5ce7974","resolution":{"observed_at":"2026-08-15T19:11:20.214299Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.244425Z","title":"Learning optimal decisions for stochastic hybrid systems,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.244425Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:9277fdfb796b094969442f31e5dbd1fac61bb734e099d3f766bbe2a55c095cb2","observation_id":"5863d835-ad3c-46df-8eb2-e3a365bcf240","resolution":{"observed_at":"2026-08-15T19:11:19.244425Z","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-15T19:11:19.248755Z","title":"Learning that grid-convenience does not hurt resilience in the presence of uncertainty,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.248755Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:ba9692f78671cd9dcc9a54944a168a06d5840826baa727322021eadd1ee642a4","observation_id":"a5e4c320-f23b-44ba-8613-5898a3771e95","resolution":{"observed_at":"2026-08-15T19:11:19.248755Z","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-15T19:11:20.194392Z","title":"Rare event simulation for stochastic hybrid systems using symbolic importance functions,","venue":null,"work_id":"bc69a56f-8a38-49fc-9d29-9d340086a136","year":2025},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.253345Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:41cf93e1a2ac32d702ee615597dfe76c42bcbe3cf359d947c08e99831fa43833","observation_id":"a021e84f-5718-4ffc-9240-52451d749bb7","resolution":{"observed_at":"2026-08-15T19:11:20.198738Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.179429Z","title":"Syscore 2.0: Toolset for formal control synthesis of continuous-state stochastic systems and temporal logic specifications,","venue":null,"work_id":"a7068e09-8e8f-494c-ae2d-423b25e1029d","year":2025},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.261316Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:cbc78d42bdd9620aee26b8cad6861d72e981ff393cf20b64e7518998f8d89ccb","observation_id":"52fa8559-e9f1-43d0-bcd7-1e518b9d577b","resolution":{"observed_at":"2026-08-15T19:11:20.184365Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.266583Z","title":"Syscore: Synthesis via stochastic coupling relations,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.266583Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:5991ee1cd51fc1d108738b82ea926fcf1595bd956a9d07042362208cc344643a","observation_id":"f5548bd9-0336-4746-9443-7ca7d40417f9","resolution":{"observed_at":"2026-08-15T19:11:19.266583Z","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-15T19:11:20.164088Z","title":"Verification of general Markov decision processes by approximate similarity relations and policy refinement,","venue":null,"work_id":"bc354199-93db-40f6-b71a-406d0c18706f","year":2017},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.274797Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:a58a400f4d0e647b2b932acfc974c847a5a21b65a59e6dfee46453e0150309ad","observation_id":"c9d68994-5611-4637-8bdb-c59fedb78aae","resolution":{"observed_at":"2026-08-15T19:11:20.168663Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.144928Z","title":"Abstracting linear stochastic systems via knowledge filtering,","venue":null,"work_id":"347a910e-2d86-4984-a7a7-477da667310d","year":2023},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.280766Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:6981df6a6ecdb4729990b342e6660fb5150bebb4aaaa3c5b194781cb594f67d8","observation_id":"a7cf384c-fff8-4c64-9c54-ccc0cc7a5968","resolution":{"observed_at":"2026-08-15T19:11:20.151727Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.129094Z","title":"AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems,","venue":null,"work_id":"1bd95678-11be-478a-b59c-4f47bebcb42d","year":2020},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.288802Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:09391319e0abe2b46ac3401c6c3e00035c73f1b98dc5fbb5f725146edd18a290","observation_id":"46a3ae33-1212-42c9-a468-8d26440730fd","resolution":{"observed_at":"2026-08-15T19:11:20.133804Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.114215Z","title":"AMYTISS: A parallelized tool on automated controller synthesis for large-scale stochastic systems,","venue":null,"work_id":"9a8ab488-89e5-427f-bb94-87d9e4b56999","year":2020},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.296825Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:ca8d5405e45377669c3f982a7cfd3cc1f547f9e223eaec6fb929ec69af3e0a86","observation_id":"e8789b79-7d51-42bb-a7ee-203ecc898a1e","resolution":{"observed_at":"2026-08-15T19:11:20.118682Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.099656Z","title":"pFaces: an acceleration ecosystem for symbolic control,","venue":null,"work_id":"e5f72349-8228-4309-9ccc-0ed1b4449739","year":2019},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.305091Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:34b41e84571cb55b15556567643373176c02887ed7aaa4b444116b33667517c6","observation_id":"2573d7f3-6c3f-4a87-bf0e-ec3abbcbe20e","resolution":{"observed_at":"2026-08-15T19:11:20.104230Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.083860Z","title":"Abstraction-based synthesis of stochastic hybrid systems,","venue":null,"work_id":"2e02e0aa-793a-48ac-9d1c-382a842c77fc","year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.309285Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:193059e5203f9c2e5d733efd0f1feb206d4da79c7fd01a5bd48adb4d5ab0359e","observation_id":"f2ab5524-03dd-4c63-b197-4ac92d0a4276","resolution":{"observed_at":"2026-08-15T19:11:20.089561Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.068533Z","title":"Automated verification and control of large-scale stochastic cyber-physical systems: Compositional techniques,","venue":null,"work_id":"ae29fa0f-e145-4cb1-b5bb-290476a1c5af","year":2019},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.313414Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:97f7539a182abebffeb08b46f54b830b1939c9202cbee5d26ef1c6c2fcc8fcf0","observation_id":"387a039b-7fe6-4257-9284-9741f6be6ff0","resolution":{"observed_at":"2026-08-15T19:11:20.073288Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.053105Z","title":"StocHy: Automated verification and synthesis of stochastic processes,","venue":null,"work_id":"13e91a2b-9363-40d3-998d-693cf620b188","year":2019},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.317911Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:e87c3e64e05a45bb40ddec0c3778f6559e8943e2d62efd920c4d49a145d34a87","observation_id":"3e7867cc-d8c7-4680-a95c-d4e9efc8676f","resolution":{"observed_at":"2026-08-15T19:11:20.057773Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.037760Z","title":"From dissipativity theory to compositional synthesis of large- scale stochastic switched systems,","venue":null,"work_id":"10ea15ce-ae16-405c-9b36-d75a1964d978","year":2022},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.322210Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:8a2dd704052fdcbb8e6a8496017b9eec5fb6160501f47001d1c135e66a13cb44","observation_id":"6e8106c7-ddbd-4230-a652-36e0122603fe","resolution":{"observed_at":"2026-08-15T19:11:20.042325Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.021717Z","title":"Scalable synthesis of finite MDPs for large-scale stochastic switching systems,","venue":null,"work_id":"c8b489a3-01cb-44cc-ae98-400689aeca7d","year":2022},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.326375Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:98c146b80f6e9c95a061c6fd4ce47d4743ddf077a227af2ce885874d3532715b","observation_id":"5a7de51d-ef34-46cf-ab32-0150faa142b6","resolution":{"observed_at":"2026-08-15T19:11:20.026649Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:20.006701Z","title":"Arch-comp23 category report: Stochastic models,","venue":null,"work_id":"9c6348b8-5160-4120-a1df-a9c538e74de7","year":2023},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.330616Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:e8204f4ca02fded154c8c872abf8a77fefa0bff596716dfa5933505aa5b47524","observation_id":"c320c87a-d949-42bb-9701-a727f3865909","resolution":{"observed_at":"2026-08-15T19:11:20.011173Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.990312Z","title":"Rare collision risk estimation of autonomous vehicles with multi-agent situation awareness,","venue":null,"work_id":"541335f8-6d57-4ad5-bbd3-0daf41c6cd67","year":2024},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.334967Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:e5d8f09585bd6280fbdf87ebf29b05ee8f782db482b886a6c186c94648156ba1","observation_id":"ac6578ba-3811-4eea-a814-f22f0b3a7e86","resolution":{"observed_at":"2026-08-15T19:11:19.995461Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.975694Z","title":"Path planning using a dynamic vehicle model,","venue":null,"work_id":"68182212-04d4-4143-a18c-3d139401990c","year":2006},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.339675Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:e70068d2adaec7a54f6d39ecb92679dc82d5eeac27e6489e8fa616467269f894","observation_id":"3851e53e-6a72-4b6a-b059-3f1bd6dd447e","resolution":{"observed_at":"2026-08-15T19:11:19.980296Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.960625Z","title":"Toward a general theory of stochastic hybrid systems,","venue":null,"work_id":"a48fd889-48f4-48e7-8fbd-30aac75d3a24","year":2006},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.344128Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:46ae41f0ccc39883b48e5dc08b71c774180826b2259a9cf12475748b8ba79d96","observation_id":"7e8c6701-5ea8-4c78-999d-04e7eba3a89e","resolution":{"observed_at":"2026-08-15T19:11:19.965480Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.945019Z","title":"Interacting particle system based estimation of reach probability of general stochastic hybrid systems,","venue":null,"work_id":"f21a417a-a97b-41b1-9616-099c4f760e49","year":2023},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.348487Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:bb466b2838429399130f1b911743c7181d4162a053dd078b2c5359a5d800b4fa","observation_id":"1df6ec66-0d6c-4517-91f3-42a44137d27e","resolution":{"observed_at":"2026-08-15T19:11:19.950076Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.928783Z","title":"Feedback refinement relations for the synthesis of symbolic controllers,","venue":null,"work_id":"3ef6decb-01e8-4e32-bd1a-59eeac830ffd","year":2016},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.353120Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:000e2f6d6f899290c9aa58496d945a24b04a7af089ece5fd8325614117724300","observation_id":"b877db0a-9776-40a8-8bad-fa32bb47a609","resolution":{"observed_at":"2026-08-15T19:11:19.933502Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.912460Z","title":"Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems,","venue":null,"work_id":"f651bfb9-e44f-4489-a282-5593d0dcfa6e","year":2021},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.357157Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:f0e6be6945ab7b991a4bea63a4115355860bdbfb7f31d88b94ffb1e5d35a5b85","observation_id":"3386c812-ec09-4b73-a24c-b6fcd34438c9","resolution":{"observed_at":"2026-08-15T19:11:19.917371Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.896799Z","title":"ARCH-COMP18 category report: Stochastic modelling,","venue":null,"work_id":"3c9a8647-a25e-4035-935f-9aaf82675bca","year":2018},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.361406Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:e9604caab748337421af6ad1714712ba68e41471ccf24ca3c8fbb105acd5725a","observation_id":"9a96493d-b7e7-46f2-800c-3306b749731a","resolution":{"observed_at":"2026-08-15T19:11:19.902283Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.879887Z","title":"ARCH-COMP19 category report: Stochastic modelling,","venue":null,"work_id":"9b597231-d30c-4054-ad21-0f23d37b0300","year":2019},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.365737Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:a55effdcea545fa42e886798ae96d8cccc02080c09b0ee7b5c2c5951635c5759","observation_id":"4f9ae6ee-ea9b-46c9-a509-581047f9f0bd","resolution":{"observed_at":"2026-08-15T19:11:19.884829Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/mqzc","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:11:19.436435Z","title":"Arch-comp20 category report: Stochastic models,","venue":null,"work_id":"6bb28e0b-42b3-42f8-9ab8-e9bbeb94cd6e","year":2020},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.370219Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:407da13c1207715b5b0526a4c4e4c0618242a07bbce68498e31dde72338a986b","observation_id":"858f6093-d719-40c4-bc15-6ebe36f607b9","resolution":{"observed_at":"2026-08-15T19:11:19.441104Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+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-15T19:11:19.864568Z","title":"ARCH-COMP22 Category Report: Stochastic Models,","venue":null,"work_id":"ea27c6ca-dbb9-40f6-bc2b-154915db9e79","year":2022},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.375037Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:c78e51b7645efbc858f4a1299a441709a5729f5e1102e07c28d0bf4a3d3977db","observation_id":"164b7ce4-a29c-4ac7-a1d6-24130c103e72","resolution":{"observed_at":"2026-08-15T19:11:19.869515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1901.01576","last_updated":"2019-01-06T17:26:55Z","snapshot_observed_at":"2026-08-14T17:34:35.322254Z","submitted_at":"2019-01-06T17:26:55Z","title":"Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems","version":1},"cited_work":{"arxiv_id":"1901.01576","doi":null,"metadata_source":"pith","pith_arxiv_id":"1901.01576","snapshot_observed_at":"2026-08-15T19:11:19.497023Z","title":"Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems","venue":"eess.SY","work_id":"70c3ed1e-cea3-4942-8271-5149ac23710a","year":2019},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.379046Z"},"links":{"cited_paper":"/paper/1901.01576","citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:8c78d90304e4bf636c4208b2d926ebf7b1ef46b06344ec00a08354a2cae32e86","observation_id":"ee730bde-f76d-44c1-829e-1e37e0b9c09c","resolution":{"observed_at":"2026-08-15T19:11:19.502317Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.29007/dprv","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-15T19:11:19.418726Z","title":"Arch-comp21 category report: Stochastic mod- els,","venue":null,"work_id":"c7913bd9-4da7-4866-b64a-a030761e0417","year":2021},"citing_paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-15T19:11:19.383982Z"},"links":{"citing_paper":"/paper/2506.17602"},"observation_digest":"sha256:954d8ec766f50d2fbc668d875db3838457c8dc6d71569069bfe41abcf054355f","observation_id":"d051426e-b38d-4135-b416-e91f59463307","resolution":{"observed_at":"2026-08-15T19:11:19.425448Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.17602","last_updated":"2025-06-21T05:42:34Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-15T19:03:40.918568Z","submitted_at":"2025-06-21T05:42:34Z","title":"ARCH-COMP25 Category Report: Stochastic Models"},"reference_resolution":{"displayed":59,"state_counts":{"malformed_identifier":3,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":7,"verified_exact":2,"verified_fuzzy":47},"total_outbound_references":59},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"As of 18 August 2026, this Paper Citation Record lists 59 of 59 outbound references and 0 inbound Pith citation observations for arXiv:2506.17602."}