{"as_of":"2026-08-15T15:11:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0d34f20aaa6f4a7aa9831fb6f0d0fc5bd706487bbcdabc11e13f7ef9e9dc7202","coverage":[{"denominator":45,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":45,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:26:30.268548Z","state":"measured"},{"denominator":46,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":46,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T04:26:02.944496Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"pith","source_observed_at":"2026-08-14T04:26:03.225927Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"cited_work":{"arxiv_id":"2505.15290","doi":null,"metadata_source":"pith","pith_arxiv_id":"2505.15290","snapshot_observed_at":"2026-08-14T04:26:03.225927Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","venue":"cs.LO","work_id":"4131dec8-8adc-4ecd-bf44-c9ce188a0ccb","year":2025},"citing_paper":{"arxiv_id":"2608.08922","last_updated":"2026-08-09T21:28:01Z","snapshot_observed_at":"2026-08-15T12:07:14.704821Z","submitted_at":"2026-08-09T21:28:01Z","title":"Clustered Attractor Manifolds and Dynamical Condensation in Self-Attention","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-14T04:26:02.944496Z"},"links":{"cited_paper":"/paper/2505.15290","citing_paper":"/paper/2608.08922"},"observation_digest":"sha256:127159ada916cb786435c5e69312af7f4a486a0a713403c763ba8a090e9ca141","observation_id":"f427e7f8-d8da-4714-a889-0d0b41930445","resolution":{"observed_at":"2026-08-14T04:26:03.232583Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2505.15290/citation-record","integrity":"/paper/2505.15290/integrity","json":"/paper/2505.15290/citation-record.json","paper":"/paper/2505.15290"},"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-07T15:26:39.685691Z","title":"In: Vitter, J.S., Spirakis, P.G., Yannakakis, M","venue":null,"work_id":"b051bb09-2871-40c7-ab47-660160e49d03","year":2001},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:25.713115Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:edb56cb16d8768e14a34b3ccb2afc9efed6d29e5a2d769e415b62647afe46fde","observation_id":"ba91d823-e29b-484c-9823-0ddfcbf4f26f","resolution":{"observed_at":"2026-08-07T15:26:39.764204Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:39.530181Z","title":"The MIT Press, Cambridge, MA, USA (2008)","venue":null,"work_id":"d775d254-c604-42db-adaa-89778057e5a0","year":2008},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:25.823284Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:b53b93b0ef241cbd3ff57d4a5a6aff438f2efe60569eae1f6ab40ab822aedb9f","observation_id":"de5e0541-b9a8-4727-8ec0-06c263657a9f","resolution":{"observed_at":"2026-08-07T15:26:39.619885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:39.350794Z","title":null,"venue":null,"work_id":"3daba829-89dd-4b2a-bf9c-c6b1958f0ce4","year":2010},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:25.946838Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:50b5174327aa540197ec27b0abb11e5610c3d2761365feede63722ce88477264","observation_id":"104756b5-cfa9-43b5-acc2-e4ef25002d19","resolution":{"observed_at":"2026-08-07T15:26:39.432316Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:39.201038Z","title":"SIAM (1994)","venue":null,"work_id":"bc1b4bf4-5be9-4d71-bc83-1de486f4a554","year":1994},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.100582Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:23051e702312582bd76f8f0a2e8c1cfe1596290903752b721495eff1d4231c98","observation_id":"a6a78d32-494f-4fa2-a4b5-2124fc524313","resolution":{"observed_at":"2026-08-07T15:26:39.296796Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:39.051224Z","title":"In: Orejas, F., Spirakis, P.G., van Leeuwen, J","venue":null,"work_id":"b6e6484e-9f84-42cf-b43b-740624809af7","year":2001},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.254969Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:3ecda4a97c625618a8a8c294931b324e25b68e0c2b239395a557fcef2ff2cea8","observation_id":"c19586d8-b604-4089-af8e-fd4f6322c357","resolution":{"observed_at":"2026-08-07T15:26:39.124571Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:38.882019Z","title":"In: Bao, F., Li, H., Wang, G","venue":null,"work_id":"f61a4d45-4c54-490e-8639-b476cf6fe4c4","year":2009},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.344008Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:0b5db8fbbc1b309287615f85f756fb90a888a17dcc88fe11e0e9fb6a2df30b33","observation_id":"e48bd845-7ed6-48d9-8bde-c0b816e4a3a6","resolution":{"observed_at":"2026-08-07T15:26:38.930116Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:38.719595Z","title":"Logical Methods in Computer Science6(3) (2010)","venue":null,"work_id":"a361b452-790f-41ab-a135-0e784591c020","year":2010},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.428647Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:e958eecf5af12eea6eaebc5bed4247dbcb81f8ae77dfe430ef8e7bc9cfde45ca","observation_id":"c8751d49-600b-4d73-8581-bf06173565e1","resolution":{"observed_at":"2026-08-07T15:26:38.789540Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:38.529111Z","title":"In: Birkedal, L","venue":null,"work_id":"dab5ed6a-926b-474d-b1e6-c2da1aef12a2","year":2012},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.512462Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:c0738a83443dd2f87753c41574922464b531ab4e9e3b786bae137389f8cf15e1","observation_id":"bdf0365a-90da-499a-ab7e-3329c6914b15","resolution":{"observed_at":"2026-08-07T15:26:38.623893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:38.315210Z","title":null,"venue":null,"work_id":"8bedcd71-3ee4-4bd5-b2ea-5279b6ac7591","year":2011},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.601814Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:2b8adb4f9f684c582794f765bd12d20ad0b35759995bbbd3a069c578b9a32aca","observation_id":"2c5222da-c0ad-45f8-a174-85e289593a17","resolution":{"observed_at":"2026-08-07T15:26:38.403820Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:38.129170Z","title":"In: Burgard, W., Roth, D","venue":null,"work_id":"3eb31883-e33d-4b44-bdf3-a0c35a6554b1","year":2011},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.753823Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:792bb65462d52d630265410ec7c7f7d4e812558489a4236a8a23ebf71c54a23f","observation_id":"f0d632a0-66b3-46ed-89f6-e746ae854634","resolution":{"observed_at":"2026-08-07T15:26:38.215985Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:37.974546Z","title":"Cambridge University Press, Cambridge, United Kingdom (2002)","venue":null,"work_id":"1c68d649-f23c-419e-bbe4-ba5874793fb5","year":2002},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:26.907267Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:8684a86a0e9d261dc789cae23b2cb648da02848bc5f9b3caba2bf632c5f43a80","observation_id":"6330bf98-598b-402b-ab49-952416d2112f","resolution":{"observed_at":"2026-08-07T15:26:38.059239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:37.783703Z","title":"In: Proceedings of the 4th International Conference on the Quantitative Eval- uation of Systems","venue":null,"work_id":"f4376e34-ac56-4745-9158-90ba778ec033","year":2007},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.034782Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:27e2dafb01532dbfa79cefba17bd3929135d9aee7749da8aa4c2feac2cd1a284","observation_id":"a074fa2a-54ed-4608-8ef0-3454761dcc37","resolution":{"observed_at":"2026-08-07T15:26:37.877011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:37.525687Z","title":"Information Processing Letters87(6), 309–315 (2003)","venue":null,"work_id":"9db5a1d6-fc97-4b49-a823-af3a092c8312","year":2003},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.185276Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:a442411e0e496072113537d9002e7238da18a28f61cc3e0a1de0512067330d6c","observation_id":"c2143b98-d832-45c3-bee5-9cb16ec052c8","resolution":{"observed_at":"2026-08-07T15:26:37.689011Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:37.226243Z","title":"In: Baeten, J.C.M., Mauw, S","venue":null,"work_id":"3a5d18b1-081a-456c-9897-bb005b63ef9a","year":1999},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.297963Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:8a677ac215cd4b2041ce4b1c6b4e4a700e352650009e140855c52a1158b1dee7","observation_id":"2967ae4f-5a91-44c0-809e-e18f828c1ae5","resolution":{"observed_at":"2026-08-07T15:26:37.389650Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:36.966287Z","title":"Theoretical Computer Science318(3), 323–354 (Jun 2004) 44 S","venue":null,"work_id":"329c0a5c-d150-43b2-ac55-857cbd20f562","year":2004},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.415910Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:362402e38eabad8211dcc3020bd31839523fd801bcb78fb8aef4f1292b0bcd7f","observation_id":"c2951b37-9bbf-4e19-affc-0adb3e6d8590","resolution":{"observed_at":"2026-08-07T15:26:37.069706Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:36.758311Z","title":"In: Proceedings of the 5th International Conference on the Quantitative Evaluation of Systems","venue":null,"work_id":"9203a8d8-2f35-4dcd-b5e3-357e6648d67f","year":2008},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.533799Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:1d991fd0152bb81859e29f4df8a4f236e9e0e1f3e911f480008658699374e9fa","observation_id":"60ad7e09-90b1-456d-a967-43b48547fe2d","resolution":{"observed_at":"2026-08-07T15:26:36.881744Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:36.399503Z","title":"Land9(11) (Oct 2020)","venue":null,"work_id":"8e86f506-e47e-4438-ab15-8c501a97dfbd","year":2020},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.628428Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:727dfc26c4f97a2430a43b2574250ba9635f3d59b2f28a8a4ca04e1172e0e194","observation_id":"1bb56581-9bdb-4560-9870-f4619337d58c","resolution":{"observed_at":"2026-08-07T15:26:36.537791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:36.123246Z","title":"Publicationes Mathematicae6, 290–297 (1959)","venue":null,"work_id":"ff5bc31b-734e-4756-be4a-a99fad29deab","year":1959},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.656362Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:da445267e6b3ffc65706facf1acddf36f3d8fd1a83313a1b6d511f7b99b657fa","observation_id":"6bbbf94f-53f7-4725-ae9e-587022cb6f1a","resolution":{"observed_at":"2026-08-07T15:26:36.273908Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:35.793095Z","title":"In: Laarman, A., Sokolova, A","venue":null,"work_id":"0d9dc7ff-ca90-480c-aa14-0dede42c6a99","year":2021},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.713783Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:917a40499bea571bcc7ce24299c9438a7c853022cdfb181aaeef72907f6b8a94","observation_id":"fda6c972-d779-4f89-8d62-a12d0bbc4b92","resolution":{"observed_at":"2026-08-07T15:26:35.956355Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:35.597120Z","title":"In: Proceedings of the 37th International Conference on Computer Aided Verification","venue":null,"work_id":"f33709ab-4a67-4e77-b514-28cfe355778c","year":2025},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.872805Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:8d4d6c9fce0340895d7830ffe2eebfeabeb11469cbcb62ffeaca7769201993b6","observation_id":"36d2c735-6c96-4e34-a45b-18ffc6600e04","resolution":{"observed_at":"2026-08-07T15:26:35.678210Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:35.363320Z","title":"Rand Corporation (1956)","venue":null,"work_id":"236866f0-b7c9-42c6-98d2-8ceb5642f968","year":1956},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:27.956798Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:d642368d8511b0441cbad948aa4058e3a2f5e5f75dd48d4fac672418324c3af4","observation_id":"594ccf95-72c5-4646-9c6a-9656ff0201ac","resolution":{"observed_at":"2026-08-07T15:26:35.490569Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:35.117053Z","title":"In: Broy, M., Jones, C.B","venue":null,"work_id":"f6ad661f-d6a6-4d5a-9008-fb33bdf31bb9","year":1990},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.040415Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:a0ebf3500f6f44eb58971be47dc472a161b0eaab80bc0a1e054dc6c7b22e6619","observation_id":"a4d787d1-c5de-44a8-9446-1717073dd721","resolution":{"observed_at":"2026-08-07T15:26:35.244465Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:34.958676Z","title":"In: Vojnar, T., Zhang, L","venue":null,"work_id":"4352f0fd-1e71-4647-aba1-374e8645358e","year":2019},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.198351Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:eeaa44436029b12170f1004213700ddce5ed1831264286f01ab373f1123d1a7c","observation_id":"d6d4e16e-fb1d-40c5-aae4-2f8f5fff610e","resolution":{"observed_at":"2026-08-07T15:26:35.023552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:34.787947Z","title":"International Journal on Software Tools for Technology Transfer 24(4), 589–610 (2022)","venue":null,"work_id":"6e76fe70-12c4-4845-9885-83b36828ac00","year":2022},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.253027Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:683ea7a485cc5423d9fc58e126500d8cff432205db4e594ee5aabd1514dd94c1","observation_id":"91916241-7f2f-4de6-8177-d4595a0870f6","resolution":{"observed_at":"2026-08-07T15:26:34.854655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:34.608153Z","title":"Studies in Applied Mathematics20(1/4), 224–230 (Apr 1941)","venue":null,"work_id":"b885216d-041c-444b-8600-9af87f725f54","year":1941},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.328926Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:04c9dc55dc889dd31439c024a16bbae4356d75e722532af0480de98a06b68ef2","observation_id":"babf3284-9e1a-4904-9598-dcf71ebe777d","resolution":{"observed_at":"2026-08-07T15:26:34.719532Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:34.199967Z","title":"Lecture Notes in Computer Science, vol","venue":null,"work_id":"ee7b6351-c301-43c3-9d90-7a48306e3e98","year":2014},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.408706Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:39b31102d8918175e59b65bd671b179e0e146376cbbcdf9a603774956c97525a","observation_id":"ac0dd25b-2677-4c43-98d2-ee7111ae6717","resolution":{"observed_at":"2026-08-07T15:26:34.396524Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:33.793093Z","title":"In: Proceedings of the 6th Annual Symposium on Logic in Computer Science","venue":null,"work_id":"4dc35c2a-2c71-4e62-910c-b060c8e5a97e","year":1991},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.521558Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:0aac1fb4ad1bc01e9d289edb928299ad2e6ecbd9f2e861c59263219102f775ec","observation_id":"32bf6eff-b55e-4190-9edd-7bb8037f9ca0","resolution":{"observed_at":"2026-08-07T15:26:33.973229Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:33.544857Z","title":"In: Proceedings of the 26th Annual ACM Symposium on Theory of Computing","venue":null,"work_id":"2c1f2d07-a2c6-4442-9376-23dd603c281e","year":1994},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.593752Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:d9e800b607d16ff9ad4cb22934bd3ab613ccdd604162aeeac945e0c8b64ce309","observation_id":"04b3fb2e-514a-404e-8353-a630473e5271","resolution":{"observed_at":"2026-08-07T15:26:33.667176Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:33.255287Z","title":"In: Proceedings of the 13th Inter- national Conference on Tools and Algorithms for the Construction and Analysis of Systems","venue":null,"work_id":"75eaaf23-9d28-4bba-8f08-907d5250e52b","year":2007},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.678102Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:f63e6b6c98a2fcb024380c20bb143f6b82675213471854cac50356f39c083dff","observation_id":"ebe9d717-5740-4dc4-9f7b-00ba61086368","resolution":{"observed_at":"2026-08-07T15:26:33.396518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:33.006499Z","title":"Springer-Verlag, Heidelberg, Ger- many (1960) Robust Probabilistic Bisimilarity 45","venue":null,"work_id":"9105836d-434b-40cb-a0a3-831d675bd229","year":1960},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.793085Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:f02bc0669d67e42de8f70c5f6c4313682810821d32175a2215823d578449bc7c","observation_id":"be3023d2-1bf3-43de-9167-16a11d887709","resolution":{"observed_at":"2026-08-07T15:26:33.125484Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:32.811517Z","title":"In: Johnson, D.S., Fagin, R., Fredman, M.L., Harel, D., Karp, R.M., Lynch, N.A., Papadimitriou, C.H., Rivest, R.L., Ruzzo, W.L., Seiferas, J.I","venue":null,"work_id":"74d1c4af-7c11-48b2-8858-fd83b2a41cb2","year":1983},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:28.921673Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:fe4874a0c051edaab7483e7e7e0e77b4041205645b350c653392964f076f1ba2","observation_id":"30e2f82a-9faa-46ed-97e7-f643ddd24025","resolution":{"observed_at":"2026-08-07T15:26:32.890450Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:32.671810Z","title":"In: Gopalakrishnan, G., Qadeer, S","venue":null,"work_id":"1ce6fbf9-23fd-4ca7-b384-3a042b09d90a","year":2011},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.000379Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:564872112686ee89e619969e1f58e14880934485feab5b8a7c3e3f3f3816f744","observation_id":"4b1947a3-3663-45e0-8514-3cb341211020","resolution":{"observed_at":"2026-08-07T15:26:32.738124Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:32.514909Z","title":"In: Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages","venue":null,"work_id":"e287245b-7a27-4038-91f7-0609edc77c84","year":1989},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.104320Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:ec15626bdf05b3d7c016fe8db9e42a90d0016f4f64d1a550b59038f6d6e8f237","observation_id":"874b55e0-04d1-4a1e-9b15-78b848f7d1ab","resolution":{"observed_at":"2026-08-07T15:26:32.585977Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:32.347344Z","title":"Monographs in Computer Science, Springer (2004)","venue":null,"work_id":"98ecadd0-7458-4f7f-924e-98dbd526bba8","year":2004},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.210362Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:7105f3b235fa0f0a1b7c0307bfc6b49a66ff37dde5012bdfc69e2544c13ef9f5","observation_id":"df5248e1-ea83-4c1b-b8b2-7e146779aa61","resolution":{"observed_at":"2026-08-07T15:26:32.436615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:32.191673Z","title":"Frontiers in Built Environment 3, 58 (Oct 2017)","venue":null,"work_id":"6afefec9-76d4-43eb-9257-6dc8282cf849","year":2017},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.293943Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:8ab29187506f19a55e4ee26c6aee14a1121c5f70cb537bb8d772b95c7a2e0a89","observation_id":"b15bd062-4898-4e1f-b791-40e6dbef7c0d","resolution":{"observed_at":"2026-08-07T15:26:32.263552Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:32.025079Z","title":"Cambridge University Press, New York, NY, USA (1995)","venue":null,"work_id":"fd199bc1-1d8f-4bb5-90af-bfff71a1e114","year":1995},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.362290Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:7ecc9ff0613e579721679d6ba1bd17b38de7ccb33443b924494bce42f2cb7f61","observation_id":"250f631f-7feb-415e-ae7b-a37508f6c3b7","resolution":{"observed_at":"2026-08-07T15:26:32.092081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:31.851492Z","title":"In: Householder, A.S., Forsythe, G.E., Germond, H.H","venue":null,"work_id":"5f2ba5ad-13a9-450b-8996-57e1598e3b9b","year":1951},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.457143Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:c89507d183eead9129a99d0c8c276f0eea426b12c1ed7b658ae6f80dee9be66e","observation_id":"4140d32f-4265-44f1-8802-14489dd339fd","resolution":{"observed_at":"2026-08-07T15:26:31.950063Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:31.704572Z","title":"ClinicoEconomics and Outcomes Research9, 537–546 (Sep 2017)","venue":null,"work_id":"dcf9065a-15d6-4215-bded-41a0e2215fa4","year":2017},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.591548Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:3eb7b4ca1ae18d7c1cc28092b3f08bbc5e3517cbef4eff0d00a37d201d8e9093","observation_id":"db1f1774-8fb9-428d-b017-6fa2518e2993","resolution":{"observed_at":"2026-08-07T15:26:31.773486Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:31.559386Z","title":"BIT Numerical Mathemat- ics 15(3), 331–334 (Sep 1975)","venue":null,"work_id":"cbdac36a-e4b4-4ec5-a9df-c0f78e345cea","year":1975},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.687596Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:d761715ebb5bed448d254ddd9cddd705fbfddc787108306689362c0737e1ce8f","observation_id":"046db900-795e-4333-9fa6-c90a820214d5","resolution":{"observed_at":"2026-08-07T15:26:31.627160Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:31.392344Z","title":"Graduate Texts in Mathematics, Springer- Verlag, New York, NY, USA (1964)","venue":null,"work_id":"93e70fb4-f72b-467a-a824-c8135ac6f663","year":1964},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.782396Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:2c1285368948b73a0959bb2413854e4d822be0a0e6613cdd6379744efa857d07","observation_id":"d74070fe-d3f0-436d-a531-b0c25df6910a","resolution":{"observed_at":"2026-08-07T15:26:31.481216Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:31.192081Z","title":"PharmacoEconomics 39(8), 869–878 (Aug 2021)","venue":null,"work_id":"5da4645b-cea7-41a9-a7a6-27060631901a","year":2021},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:29.877500Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:f4b5240dd440746102e195f9e9462348d641e6730b12de29ce03426471e2b9f6","observation_id":"eca78ae1-43d7-4978-8fd2-e7fd13d08d4a","resolution":{"observed_at":"2026-08-07T15:26:31.308761Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:30.973354Z","title":null,"venue":null,"work_id":"671daab5-33e6-4baa-a2ff-5032c69bfecc","year":2018},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:30.004973Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:376bc4f628b5ed0d42002e1898b8f27cf8bc5d16a6c58ae3a6f2ecf0159625fd","observation_id":"35e2e833-657a-4bc4-a37f-9c8117f418e7","resolution":{"observed_at":"2026-08-07T15:26:31.065806Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:30.772456Z","title":"In: Meyer, R., Nestmann, U","venue":null,"work_id":"e2291f91-81ff-4fbd-8e99-c653c76c67a7","year":2017},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:30.132578Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:2b4e949a2a980fd5bbc99a68272a71777753d59efef5d238b8f12d553606b7e5","observation_id":"c82ecbbf-aad7-4eae-ab3e-e52e401a993e","resolution":{"observed_at":"2026-08-07T15:26:30.863658Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:30.581029Z","title":"IET Systems Biology4, 193–211 (2010)","venue":null,"work_id":"f5ddaf88-c442-47a9-a7f0-4a94c746bc6b","year":2010},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:30.200802Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:bd9a4d373100d4e4f5904dac96d9f86281b11edf40ddb276abcaf79c8fc43618","observation_id":"76411eb7-c741-4134-ae54-8322bd88abb3","resolution":{"observed_at":"2026-08-07T15:26:30.688250Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+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-07T15:26:30.403742Z","title":"Automated Software Engineering10(2), 203–232 (Apr 2003)","venue":null,"work_id":"618920c5-6510-4f32-ae56-a1c3e17a4e09","year":2003},"citing_paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-07T15:26:30.268548Z"},"links":{"citing_paper":"/paper/2505.15290"},"observation_digest":"sha256:9b2699c75c6371aefbf04df2ad2fe24d7beb63c2f3b060a73619a3f8fa6220e9","observation_id":"76b3fbc1-eaac-4e60-8942-6f30eba8c1c6","resolution":{"observed_at":"2026-08-07T15:26:30.474350Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-15T06:32:42.880941+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.15290","last_updated":"2026-06-25T14:49:43Z","latest_version":2,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-13T00:39:29.014517Z","submitted_at":"2025-05-21T09:20:46Z","title":"Robust Probabilistic Bisimilarity for Labelled Markov Chains"},"reference_resolution":{"displayed":45,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":3,"verified_exact":0,"verified_fuzzy":42},"total_outbound_references":45},"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-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 45 of 45 outbound references and 1 inbound Pith citation observation for arXiv:2505.15290."}