{"as_of":"2026-08-22T15:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7d7ff4673f4999df1cc01e95436bd5365cfb4daf2313d627348ac3bc05691c2c","coverage":[{"denominator":54,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":54,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T05:20:32.943205Z","state":"measured"},{"denominator":54,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":54,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-22T06:32:14.747728+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.08525/citation-record","integrity":"/paper/2506.08525/integrity","json":"/paper/2506.08525/citation-record.json","paper":"/paper/2506.08525"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1023/a:1008739929481","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Henzinger","venue":"Formal Methods in System Design","work_id":"27736a6a-c6e4-4d38-8dd5-585dc47ba2ff","year":1999},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.023803Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:34bcdf068fa46db327afe75540817f28591f3bb4a733657e14c96c65d6645c70","observation_id":"ff13be69-4fe0-4313-a4be-4bb26d42a14c","resolution":{"observed_at":"2026-08-07T05:20:36.431454Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:29.064429Z","title":"Compositional parameter synthesis","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.064429Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:390790ed87c9b71b840342776afe46969c2027ec5dcbd8f1282519b28b6ff84f","observation_id":"8e1d870e-7c8b-4ede-9d9f-858aff0b353c","resolution":{"observed_at":"2026-08-07T05:20:29.064429Z","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-07T05:20:29.123070Z","title":"Principles of model checking","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.123070Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:2948970f9b74f494791e930de799e4dfbe19d0fd89c16b68467f5005ef9fb04b","observation_id":"d652f423-4663-4554-a19e-e7270ff419e6","resolution":{"observed_at":"2026-08-07T05:20:29.123070Z","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":"10.1016/j.tcs.2005.11.016","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Theoretical Computer Science","work_id":"5f4881d9-f8e4-4509-ab25-23d0d8f8438b","year":2006},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.175744Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:3b42c8ed2d07091b1fa0fb4bffc3d799d072b107afdcf76d5449269cb3a0c9c3","observation_id":"ba5d6e3a-9be6-49a9-82e1-e7a0b8c9b75d","resolution":{"observed_at":"2026-08-07T05:20:36.218361Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:29.251242Z","title":"Toward implicit learning for the compositional verification of M arkov decision processes","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.251242Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:a151eb4438be2137116fcc6adab5717bb4ee8be7b2e2670c2082c5880cf757e0","observation_id":"1d0c8217-dc1e-40c4-a8ab-666c8251e55f","resolution":{"observed_at":"2026-08-07T05:20:29.251242Z","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":"10.5220/00059786","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:20:35.772755Z","title":"Automatic compositional verification of probabilistic safety properties for inter-organisational workflow processes","venue":null,"work_id":"e442bdd3-17be-4ce2-bc14-322355dd1cd5","year":2016},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.340095Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:b08d6a66d779e0bf0a0376b53bfa7daf7d6af545295485b7834b0a4763bab0e7","observation_id":"b2a8f3bb-fe9b-490a-9397-ea091ec58c4e","resolution":{"observed_at":"2026-08-07T05:20:35.891428Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-34059-8","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Compositional reverification of probabilistic safety properties for large-scale complex IT systems","venue":"Lecture notes in computer science","work_id":"f162e02e-7d72-4752-b034-91ed6ca0520a","year":2012},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.427761Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:cb3be344c50ee8727d807605a9b43f8fd5e56d67f0d057f8bde7439b99e19c9a","observation_id":"6ab213d1-b61c-4e42-867b-df06a68044a0","resolution":{"observed_at":"2026-08-07T05:20:35.621140Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:29.542431Z","title":"Larsen, and Radu Mardare","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.542431Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:4e667338041f7cdb59640697bb904c8103285173da0390b9939da51f0766eb4a","observation_id":"213e2acd-7bd9-4952-8af5-4a0aeb4a3433","resolution":{"observed_at":"2026-08-07T05:20:29.542431Z","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-07T05:20:29.630652Z","title":"Parametric LTL on M arkov chains","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.630652Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:a0432f599ba2f4bf7f4c9b6707699d7dbd402d5ee649ccb4c670dd30efe4c68e","observation_id":"62daaff9-b823-4ab1-ab61-c6ff154cd763","resolution":{"observed_at":"2026-08-07T05:20:29.630652Z","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":"10.1007/s10703-015-0235-2","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":"CEGAR for compositional analysis of qualitative properties in M arkov decision processes","venue":"Formal Methods in System Design","work_id":"0ce5166d-8c3c-42f9-9605-0d46da9d505c","year":2015},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.717181Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:cb9964c38c1e140219e4e190870fb9b96da49ee30460c3c15de69ff29673ffdc","observation_id":"3f345807-4673-4d5c-8a50-e4dbf5354582","resolution":{"observed_at":"2026-08-07T05:20:35.372830Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:29.808134Z","title":"Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.808134Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:96d342968e429996513d9413ee5de2b76182867939285067f5c499ec9316de8c","observation_id":"e2bea74d-ecce-4ea2-b5db-0b3d3b5e53c2","resolution":{"observed_at":"2026-08-07T05:20:29.808134Z","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":"1989.39190","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:20:37.563649Z","title":"Clarke, David E","venue":null,"work_id":"f45f1c91-9a07-4139-a7f4-ebf2dc989ffb","year":1989},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.890596Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:0d4d4f914fb2244356b50ca9710579d0de8b0763a28d9bb2c345dc94affc57aa","observation_id":"99b49d8b-1388-4941-b731-8ee84f27a107","resolution":{"observed_at":"2026-08-07T05:20:37.691599Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:29.947106Z","title":"Cobleigh, Dimitra Giannakopoulou, and Corina S","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:29.947106Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:c6c383e8ad376fbfedfea917f5e59183346224a625a4e51afec66412355d4924","observation_id":"242a8ec0-47d4-473c-bf13-c08ed4cde735","resolution":{"observed_at":"2026-08-07T05:20:29.947106Z","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":"10.1007/978-3-540-31862-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Symbolic and parametric model checking of discrete-time M arkov chains","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","work_id":"37414ed9-535c-475b-9d33-738177c1c0f5","year":2004},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.033645Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:124944c890b0b4f6ac6d2216eb533b1718c98c95176a4d559f7b678291b08901","observation_id":"1f72b6c6-44b3-48e0-ab09-9728f92a91e0","resolution":{"observed_at":"2026-08-07T05:20:35.091056Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/3-540-44685-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Henzinger, and Ranjit Jhala","venue":"Lecture notes in computer science","work_id":"379f780e-43ba-4752-b668-057a261e24fd","year":2001},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.086371Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:1157f671eab7ff68cc6f7bd91c44874ea9cec7da3f0537f17a277d3bf6b74836","observation_id":"5a1035a7-dabf-437f-95ff-192805f0243f","resolution":{"observed_at":"2026-08-07T05:20:34.856442Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:30.152223Z","title":"Pasareanu, and Sharon Shoham","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.152223Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:c3bd543a6f399316e837b26382dd7c4925135932788465a6f928e8ef92bfecf1","observation_id":"5fcbd8c2-b9c6-4a41-b657-433505e9aef9","resolution":{"observed_at":"2026-08-07T05:20:30.152223Z","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-07T05:20:30.192320Z","title":"Kwiatkowska, Moshe Y","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.192320Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:826c9952919253efaf4d2540188c96857e99fe8c71f250d1b999968a58ffb8f3","observation_id":"49fef519-bc4d-44fd-a97b-6d7e017c082d","resolution":{"observed_at":"2026-08-07T05:20:30.192320Z","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":"10.1109/qest.2010.24","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Kwiatkowska, and David Parker","venue":null,"work_id":"db84fb3a-ec85-49ca-ac76-e34d9603ac16","year":2010},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.262605Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:dafb3899f35798643f13ab2be7d15e234423cc0e4aaadc877b4a1de994677a41","observation_id":"6c91c0c7-0a3e-4678-a15c-eb97c5e54517","resolution":{"observed_at":"2026-08-07T05:20:34.586389Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-642-19811-3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Kwiatkowska, and David Parker","venue":"Lecture notes in computer science","work_id":"01c8d823-c45f-43ac-8ba4-9fefd4f45162","year":2011},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.327581Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:d3f84ed66fd8e8a14f24b26b8d6e6514328c90bbc13a8616651ef35c5d3d5033","observation_id":"e82bb87f-e0ee-4740-bc49-7ea751c6a03c","resolution":{"observed_at":"2026-08-07T05:20:38.234167Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:30.406208Z","title":"Humphrey, and Ufuk Topcu","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.406208Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:0f548dd2ca6e7ed2a582f19d8e7613281e0b656824d0de756e42251c74cb52d2","observation_id":"29e09db2-e556-49dc-8168-3326430aec2c","resolution":{"observed_at":"2026-08-07T05:20:30.406208Z","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-07T05:20:30.473475Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.473475Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:3a296bb4b3b42b070ac689f562c00dd398bd6b6d5b0db3becd120fac4a271897","observation_id":"af5ba626-e4dc-476c-9b78-c573bdcd64f0","resolution":{"observed_at":"2026-08-07T05:20:30.473475Z","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-07T05:20:30.538470Z","title":"Pasareanu, and Sarai Sheinvald","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.538470Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:161b78a3dd21f0290ac44af8ebd068d34620f38ebc93b4336e3d7a238ea1df85","observation_id":"07be158d-9b34-40b7-9150-223719c05d56","resolution":{"observed_at":"2026-08-07T05:20:30.538470Z","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":"10.1007/s10703-008-0050-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":"McMillan, and Zhaohui Fu","venue":"Formal Methods in System Design","work_id":"ddc4f233-3059-499d-a004-35ee94eadc0e","year":2008},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.624619Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:46b21a11f3335b76fe3ad8eeb121d2328ad3cf35f65c3e145665a38a0fb23417","observation_id":"c888a032-c6d8-4d6b-830f-3233edc76582","resolution":{"observed_at":"2026-08-07T05:20:34.328801Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/2907943","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Learning weighted assumptions for compositional verification of M arkov decision processes","venue":"ACM Transactions on Software Engineering and Methodology","work_id":"08b67051-5404-4153-a198-d91042c4c92e","year":2016},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.691380Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:7227c4f4df62f4c9d2ed3c47dcabc9169270c9c58b71f7a65372a3a65cce16be","observation_id":"52b1adfd-24c6-49f2-b326-d6bdcb564185","resolution":{"observed_at":"2026-08-07T05:20:34.079130Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:30.776512Z","title":"Henzinger, Shaz Qadeer, and Sriram K","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.776512Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:a43452b5464042bd4bd49324172d7ff2e9b645a0f8ec522ae611419063f8a5f8","observation_id":"c46f8570-bcfd-4257-b800-9736f9424831","resolution":{"observed_at":"2026-08-07T05:20:30.776512Z","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-07T05:20:30.827321Z","title":null,"venue":null,"work_id":null,"year":1983},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.827321Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:afae5845108677791c411c1800a5932e07665b975c361e4b846ece155cb7a3e2","observation_id":"c07fcc02-e266-40ac-ac3a-3d57f7e5e8ad","resolution":{"observed_at":"2026-08-07T05:20:30.827321Z","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-07T05:20:38.217174Z","title":"Parameter synthesis in M arkov models","venue":null,"work_id":"0de5aa46-8f7d-4704-81a5-43f86bc6b973","year":2020},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.908947Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:69fa12ca15451f4bfc3a2cc146f0f7d28bbdd5502d057943a92cb0d78511247b","observation_id":"2c83677d-f391-4989-ac8f-234105d3b0d9","resolution":{"observed_at":"2026-08-07T05:20:38.220208Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:30.974689Z","title":"Parameter synthesis for M arkov models: covering the parameter space","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:30.974689Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:eaaded57213247c15ea74d8b53bc76ce301643b7a4fe26a1b2ffc2eb57f210f8","observation_id":"80f00ccb-745c-475f-b4b0-0d32d1086d67","resolution":{"observed_at":"2026-08-07T05:20:30.974689Z","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-07T05:20:31.025403Z","title":"P \\' e rez, and Tobias Winkler","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.025403Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:5e9d0e9f0447e7253e29195ad40e64b9f1c23a9e8244e5b7536af6bb200ad823","observation_id":"32bdcef3-8442-47b0-8ef9-6ea3a788e6a0","resolution":{"observed_at":"2026-08-07T05:20:31.025403Z","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-07T05:20:31.077445Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.077445Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:59d53f9d6359ff4c03c1ed99a624eb738d60e1230ae0a43b213b0d89cbc37229","observation_id":"330d4400-07f6-4d19-b1ba-4c6125bbfb85","resolution":{"observed_at":"2026-08-07T05:20:31.077445Z","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-07T05:20:31.148250Z","title":"The probabilistic model checking landscape","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.148250Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:cf0c5d30f8724ea328817edac4ce1e04c28f984990f58e647f7c773dd2fd811f","observation_id":"648cb9c2-168b-4822-9dc3-2a75840b96d7","resolution":{"observed_at":"2026-08-07T05:20:31.148250Z","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-07T05:20:31.217406Z","title":"Pasareanu, and Edmund M","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.217406Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:d4301b34772290e640d8afc3edd368f0219faf713d77bc8f8ba30a9ef990ec38","observation_id":"79b150c2-ec45-44cd-9c37-2a258f0ce0f1","resolution":{"observed_at":"2026-08-07T05:20:31.217406Z","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":"4644.13646","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:20:37.111316Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":"94c5af41-4ca9-4ef8-98a2-8156d4e02358","year":2008},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.276709Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:b73ef74bcae29234ed1855e135d506b784d5a321212c746957e6d34104b05071","observation_id":"cd17a557-9930-4ee9-925f-57209cbf3890","resolution":{"observed_at":"2026-08-07T05:20:37.162539Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:31.321728Z","title":"Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.321728Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:5ed5d6f6f8c92a96ba1082da31b082f27498451e31d7dcc72c0e867780987c08","observation_id":"96b98871-cb36-45c5-a559-f9d2a04b207a","resolution":{"observed_at":"2026-08-07T05:20:31.321728Z","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":"10.1016/j.ic.2013.10.001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu","venue":"Information and Computation","work_id":"84a3a618-dcd5-4aa8-b9c5-9d0b156a3f7b","year":2013},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.380462Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:2f0aef745a83f09a914ae694948c25e50e75bc299cbc6eff36d9e7d2d89b5331","observation_id":"1abecf24-d6d0-49a1-9702-78a60a07ef82","resolution":{"observed_at":"2026-08-07T05:20:33.817593Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2019.88868","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:20:36.842500Z","title":"Compositional stochastic model checking probabilistic automata via symmetric assume-guarantee rule","venue":null,"work_id":"6e75d3f2-f03e-46bb-80a5-0b4c36b2c396","year":2019},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.451765Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:2feef7f4f452cb3a63f098cb6a9bb2ca8ef55ac78c7945eb473f1240efe7e1a1","observation_id":"f54bcca8-4f6e-4e4f-b242-08e5bd7e7c42","resolution":{"observed_at":"2026-08-07T05:20:36.921307Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:31.504762Z","title":"Accurately computing expected visiting times and stationary distributions in M arkov chains","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.504762Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:502445f47e6368eb34b7742505f816f9506639fd1c747af4b94171ca287add1e","observation_id":"b7f31169-b542-4257-b3ad-6c6f01edf75f","resolution":{"observed_at":"2026-08-07T05:20:31.504762Z","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-07T05:20:31.587829Z","title":"Namjoshi and Richard J","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.587829Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:3b2602049a8631de231fc13b05f2613a18a1b28683b42627915b9c93bb258db6","observation_id":"83c52598-127e-40db-9c64-a3419573fc78","resolution":{"observed_at":"2026-08-07T05:20:31.587829Z","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":"10.3233/jcs-2006-14604","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Analysis of probabilistic contract signing","venue":"Journal of Computer Security","work_id":"ed212d72-0760-46a1-b8b3-a79c03d8567a","year":2006},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.651782Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:658480bf09bc033adf7785885ffdbdc43e5c23ecd5e2681e8393bd8fcb3cf0aa","observation_id":"6a09cd46-03ca-4f96-9de3-1417047cbb1b","resolution":{"observed_at":"2026-08-07T05:20:33.618849Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:31.726198Z","title":"Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.726198Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:3f61c779e8438fcc66f9a873f8b6b6ad13fcfc8c2dff0f5b989f2132330f3dd6","observation_id":"120696b1-1084-470c-b303-4a282fe86e00","resolution":{"observed_at":"2026-08-07T05:20:31.726198Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1810.08303","last_updated":"2018-10-18T23:16:23Z","snapshot_observed_at":"2026-08-14T18:12:23.786476Z","submitted_at":"2018-10-18T23:16:23Z","title":"Compositional Verification for Autonomous Systems with Deep Learning Components","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1810.08303","snapshot_observed_at":"2026-08-07T05:20:31.848738Z","title":"Pasareanu, Divya Gopinath, and Huafeng Yu","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.848738Z"},"links":{"cited_paper":"/paper/1810.08303","citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:67c8ef5ce196c433a55e908511855a3d4c25ab46eb7c39ebd41e4336df1a38b2","observation_id":"0706b79f-dd04-42ec-9331-d1d09192e324","resolution":{"observed_at":"2026-08-07T05:20:31.848738Z","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":"10.1007/978-3-031-44267-4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Pasareanu, Ravi Mangal, Divya Gopinath, and Huafeng Yu","venue":"Lecture notes in computer science","work_id":"aa0766fc-0d9b-4665-9cb0-95b91f9f7c0f","year":2023},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.921775Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:e9d82ca3e7bb59c51b937b392a92bba37c4bdc60e87d4578d38fa332f45c6a09","observation_id":"055900e8-893d-44e3-9bcd-5abac4c30fea","resolution":{"observed_at":"2026-08-07T05:20:33.398114Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:31.994326Z","title":"In transition from global to modular temporal reasoning about programs","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:31.994326Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:ec8ee8d482603487f0145e75e044e8ce40b82f60e8478d73679f1274e184a4ea","observation_id":"35f183c4-d259-42f5-b447-9fd1a83f866e","resolution":{"observed_at":"2026-08-07T05:20:31.994326Z","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-07T05:20:32.068529Z","title":"Parameter synthesis for M arkov models: Faster than ever","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.068529Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:9fe9d96877cc17c0f766e9892d1ff31a6c2033115f8fbe8499ae07fd20371a33","observation_id":"ed68797f-d5db-462c-8fc2-bdc9497060b7","resolution":{"observed_at":"2026-08-07T05:20:32.068529Z","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-07T05:20:38.193519Z","title":"Modeling and verification of randomized distributed real-time systems","venue":null,"work_id":"ab9bf611-f9c6-477d-8e4c-970b83da1ad1","year":1995},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.131819Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:b47ddb193832c541913e4eeca961ca182d5abf75cfd4d1219981d140cb839ec1","observation_id":"8cb9a6a1-0640-4631-b466-ea209f6d8d31","resolution":{"observed_at":"2026-08-07T05:20:38.196792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:38.184731Z","title":null,"venue":null,"work_id":"94b59fc3-bd19-4837-bb72-9d1f1ca16289","year":1995},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.220613Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:d913d5dc904ef5b3ea1280127ad6fab937aa2c996cdd0ebea1f51429eb23dec5","observation_id":"c3645eb6-60b8-4d46-afc6-fb4a62917005","resolution":{"observed_at":"2026-08-07T05:20:38.187723Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1109/acsd.2013.9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":"Parametrised compositional verification with multiple process and data types","venue":null,"work_id":"5011ef8d-dd4d-4acd-b2d3-11c5c7ee23c1","year":2013},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":47,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.313025Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:6c95a818c45ec751946ef01e82bb49a310c03279882decac0c6869d05ac2c784","observation_id":"4e882656-00bd-4f99-b781-9bd378698e95","resolution":{"observed_at":"2026-08-07T05:20:33.161372Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:38.175928Z","title":"Monotonicity in M arkov models","venue":null,"work_id":"d45bca32-5427-4002-a6f0-e3864bf3667e","year":2023},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":48,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.373856Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:3e8271bc059f930a3ea003116fccd92f009ce3ebaada28abd4c0d7731e41f9de","observation_id":"0c538520-53a1-40a9-8b5e-9267519a0435","resolution":{"observed_at":"2026-08-07T05:20:38.179068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:32.403145Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":49,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.403145Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:582f69b0b70a9b0bc2e9ebb5df9d43b1df1b1f739658d4fe36696e0b1addf685","observation_id":"422edb9e-4c92-4674-af4e-53a9dc9f979a","resolution":{"observed_at":"2026-08-07T05:20:32.403145Z","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-07T05:20:32.560353Z","title":"Finding provably optimal M arkov chains","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":50,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.560353Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:bd4bab3d53bba528238027d4a63ef0cbbf6ad861c5be156aee95750c1776fa40","observation_id":"f316a7df-dfbe-466b-afc1-dce51a8fad5e","resolution":{"observed_at":"2026-08-07T05:20:32.560353Z","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-07T05:20:38.161506Z","title":"An introduction to probabilistic automata","venue":null,"work_id":"117fd696-a176-4c06-8c7b-aab6f62d12a4","year":2002},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":51,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.643842Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:4c8b43ca4a866088b46293f1d4d8a35a9b0a3cafc137a9b0f4304ebbd9a9bc2f","observation_id":"ec06e2ae-7b42-4dc6-a387-cb695b89af2d","resolution":{"observed_at":"2026-08-07T05:20:38.164415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-031-75778-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"Compositional solution of mean payoff games by string diagrams","venue":"Lecture notes in computer science","work_id":"9685963c-f739-4b83-af78-848936d7243b","year":2024},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":52,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.750653Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:643ed1c3a6d0f8d15b9dda32b24f5541c2a14c086351d4e7db578aa85671c124","observation_id":"c9d1dbde-54c7-4af9-9ae7-f580fee4a5f7","resolution":{"observed_at":"2026-08-07T05:20:38.155541Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+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-07T05:20:37.849739Z","title":"Assume-guarantee strategy synthesis for stochastic games","venue":null,"work_id":"fabf3122-c824-4fe5-90b3-5e6073a38ce9","year":2015},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":53,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.877518Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:66505c7489d5ec871be44f6016b31f8e255819bf72ce8687e0cc892a914035b7","observation_id":"2685a106-03dd-4832-a690-3289bec5a56e","resolution":{"observed_at":"2026-08-07T05:20:37.920323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2016.77983","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T05:20:36.617580Z","title":"Assume-guarantee reasoning framework for MDP-POMDP","venue":null,"work_id":"46c0e4d8-b690-4c4a-84eb-700acc8a86ec","year":2016},"citing_paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata","version":1},"reference_index":54,"source":"arxiv_source","source_observed_at":"2026-08-07T05:20:32.943205Z"},"links":{"citing_paper":"/paper/2506.08525"},"observation_digest":"sha256:268e89205000295beecdad15d5eddf5778bba034a6c7e7d1ee3cd01b7d25857e","observation_id":"9745e3a1-28cb-4bdb-87db-c7d02d691211","resolution":{"observed_at":"2026-08-07T05:20:36.690616Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-22T06:32:14.747728+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.08525","last_updated":"2025-06-10T07:43:53Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-18T08:55:27.794850Z","submitted_at":"2025-06-10T07:43:53Z","title":"Compositional Reasoning for Parametric Probabilistic Automata"},"reference_resolution":{"displayed":54,"state_counts":{"malformed_identifier":1,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":28,"verified_exact":17,"verified_fuzzy":5},"total_outbound_references":54},"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-22T06:32:14.747728+00:00","source":"crossref"},{"observed_at":"2026-08-22T06:32:06.552537+00:00","source":"retraction_watch"}],"thesis":"As of 22 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2506.08525."}