{"as_of":"2026-08-08T08:28:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3f9a00f6440a85f496d92621af4168c44274b4064932d16ac6c555a69b200c89","coverage":[{"denominator":46,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":46,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T12:53:17.503722Z","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-08T06:32:00.761636+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/2505.23635/citation-record","integrity":"/paper/2505.23635/integrity","json":"/paper/2505.23635/citation-record.json","paper":"/paper/2505.23635"},"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-07T12:53:26.690267Z","title":"Abstract and concrete categories: The joy of cats, 2004","venue":null,"work_id":"ed25f99d-0785-4bf9-ba0d-733d1ba7496e","year":2004},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.093011Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:95532a57dc5d327fa731bd73deed7ebbcb5528ca6ac74473e7f763cf44b72281","observation_id":"951ef8e2-d83f-4d44-926d-0791320ade0d","resolution":{"observed_at":"2026-08-07T12:53:26.844172Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:26.463321Z","title":null,"venue":null,"work_id":"c0e60e78-733e-444f-9231-acad5475dfd6","year":2014},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.232749Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:473a43dfe23ae1b7cb81a27c8f2e40086ed8084301575727c9e0f33461b8317c","observation_id":"ab194114-7094-49bd-984c-c15654de9acb","resolution":{"observed_at":"2026-08-07T12:53:26.558272Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.stacs.2024.10","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:53:26.248963Z","title":"o nig, Karla Messing, Jonas Forster, Lutz Schr\\","venue":null,"work_id":"50149b43-48f8-4801-a150-9aedb1b616ea","year":2024},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.401597Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:b97cab22154282d9577671076b83d23047770ddd698ddf5e3198b81c04845009","observation_id":"ffc0e6a9-09ce-47a1-9bba-a19eb001fe96","resolution":{"observed_at":"2026-08-07T12:53:26.364533Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:26.028029Z","title":"Henneysey-milner type theorem for measurable pseudometrics, 2025","venue":null,"work_id":"ee0b80bd-f1e6-4cb7-880f-9538a0067917","year":2025},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.509099Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:602b9ba0d0659eb08a4754f82613f7d7e2717574a1742a30e51f9419bde2bd90","observation_id":"9dbd38c4-0093-4118-8789-45912ff3657a","resolution":{"observed_at":"2026-08-07T12:53:26.121153Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:25.867044Z","title":"Bogachev","venue":null,"work_id":"a9db520b-839e-4193-9a57-a7a1236b5b4d","year":1998},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.613168Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:8912318103a464f56fa18c9cca2803e770d45b37cc9ec410bfec6c490dfbeb98","observation_id":"484324df-2ddb-442a-89aa-73ae3c398c93","resolution":{"observed_at":"2026-08-07T12:53:25.932792Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:13.676707Z","title":"Up-to techniques for behavioural metrics via fibrations","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.676707Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:87167ba06bb68a7d9779131e3d2a92c06074937509c21585f6b13ceca252857f","observation_id":"5e266990-9ca4-4a04-acb8-93fe49b2aa7c","resolution":{"observed_at":"2026-08-07T12:53:13.676707Z","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-07T12:53:25.725536Z","title":"Decision-theoretic planning: structural assumptions and computational leverage","venue":null,"work_id":"2593178e-4984-4417-b21e-1a7f39cd91b5","year":1999},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.739412Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:91a504937a82c9693c8439ce0e8d6177804079f4bf273895eec9ab11caeea985","observation_id":"7a5396b9-2e35-4b6e-bfb7-2336359cdd6b","resolution":{"observed_at":"2026-08-07T12:53:25.798098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4153/cjm-1964-021-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:53:18.231527Z","title":null,"venue":null,"work_id":"7aba9330-ed57-412b-abdd-b0d503dbda19","year":1964},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.798784Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:f30357f4707fd77ad70447fd95f193bc9a3e52743fa3dc4a358e5730f0ce9ce8","observation_id":"c25f3b74-404d-455e-a7a9-fc96eaccb09e","resolution":{"observed_at":"2026-08-07T12:53:18.314495Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2501.13008","last_updated":"2025-01-22T16:49:42Z","snapshot_observed_at":"2026-07-06T20:24:31.858337Z","submitted_at":"2025-01-22T16:49:42Z","title":"A behavioural pseudometric for continuous-time Markov processes","version":1},"cited_work":{"arxiv_id":"2501.13008","doi":null,"metadata_source":"pith","pith_arxiv_id":"2501.13008","snapshot_observed_at":"2026-08-07T12:53:18.751402Z","title":"A behavioural pseudometric for continuous-time Markov processes","venue":"cs.LO","work_id":"2e4da186-4f22-4d6d-8d45-831aa7ce7e09","year":2025},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:13.912307Z"},"links":{"cited_paper":"/paper/2501.13008","citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:bbb2cfb7fdfa2a5beabf8578ee225de1f9d33796b54ad50d4cf84a8f7bbaca17","observation_id":"39c1de53-ef22-4ca7-81d5-21fb84bb2a7c","resolution":{"observed_at":"2026-08-07T12:53:18.802107Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:25.465937Z","title":"Metrics for labeled M arkov systems","venue":null,"work_id":"fc552c34-7b70-40fb-a23a-cb2277aa894c","year":1999},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.048378Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:c527f2f1cc2c9e0bccf2a13ef8e6ba6c77e4cd4e8e11e7938dbee6df43cef258","observation_id":"3a012039-bef0-48af-91fc-38c101ce63ec","resolution":{"observed_at":"2026-08-07T12:53:25.594917Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:14.192931Z","title":"Bisimulation for labelled M arkov processes","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.192931Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:a3efa9caa00a85643e8a218c1c54d18c9dc106de99fea867a75ccb5df3034c13","observation_id":"e34d56f0-f6a2-4499-98ab-b3939b923405","resolution":{"observed_at":"2026-08-07T12:53:14.192931Z","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-07T12:53:14.285122Z","title":"Metrics for labelled M arkov processes","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.285122Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:01d347229a2df2e8c93ea10af041ae77df8740b95697258356a9296c8e76ed1b","observation_id":"16715c65-6cb7-4d7a-aeba-01e6c0948ec8","resolution":{"observed_at":"2026-08-07T12:53:14.285122Z","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-07T12:53:25.204150Z","title":"Stochastic Relations: Foundations for M arkov Transition Systems","venue":null,"work_id":"352fc370-0587-4022-b387-6d79e9f5e14c","year":2007},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.391285Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:43a13203131353f0eff9f43de73781ce014d39cb0db329efc15a5557e4b5dd42","observation_id":"42e88bb7-aa97-4f06-86a1-404cd3d87624","resolution":{"observed_at":"2026-08-07T12:53:25.336147Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1409.2662","last_updated":"2014-11-12T12:22:07Z","snapshot_observed_at":"2026-07-06T03:53:55.793568Z","submitted_at":"2014-09-01T10:18:05Z","title":"Measures and all that --- A Tutorial","version":3},"cited_work":{"arxiv_id":"1409.2662","doi":null,"metadata_source":"pith","pith_arxiv_id":"1409.2662","snapshot_observed_at":"2026-08-07T12:53:18.447029Z","title":"Measures and all that --- A Tutorial","venue":"math.FA","work_id":"113166f2-51f6-48d3-a701-ad222fc0c818","year":2014},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.532448Z"},"links":{"cited_paper":"/paper/1409.2662","citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:b5be2cf980358685aaa9211cc273b6b73091551827715236082062a6816287df","observation_id":"256fa10e-be60-4b56-ad98-fcbd54714583","resolution":{"observed_at":"2026-08-07T12:53:18.476385Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:24.824840Z","title":null,"venue":null,"work_id":"3959338c-5ab6-460b-b529-b57ea8dfe827","year":2002},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.593757Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:d6857054329568eb04a8684e661fa3d5d74e3979c5685963ac3f0cd727063e4b","observation_id":"7324108a-1cda-4003-9b6a-5f51db9a4924","resolution":{"observed_at":"2026-08-07T12:53:25.017275Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:24.590989Z","title":"Linear Operators , volume 3 of Pure and Applied Mathematics","venue":null,"work_id":"8a24d4f9-0783-434b-967f-ec7665a9b0a8","year":1958},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.676357Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:4dc92005385056b59ff77185eff3d7823b1ad8be0d25862e98bb65d47c7a8430","observation_id":"1d7397ad-c9b4-4574-9fd9-357a4edac18d","resolution":{"observed_at":"2026-08-07T12:53:24.687830Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:24.256362Z","title":"General topology , volume 6 of Sigma series in pure mathematics","venue":null,"work_id":"9c7e3c0e-423e-41c3-a650-336d6f349397","year":1989},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.778276Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:7fb717a4aee2a5db3a8c845c1437b23a917faf08838eca5bed3b8198bcddd4fb","observation_id":"768513c0-9dab-4e24-9c67-0f38700a6605","resolution":{"observed_at":"2026-08-07T12:53:24.426431Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:23.886762Z","title":null,"venue":null,"work_id":"1433d182-83fa-4d34-9192-141c62953e83","year":1985},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.887500Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:3e223dbc048a85ee1a99760a8cd094572895338d1837a8c376549808c45e2452","observation_id":"cfdb55b9-18c5-45dc-bc2b-3328f18d096a","resolution":{"observed_at":"2026-08-07T12:53:24.078242Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:23.639409Z","title":"Generalizations of analytic and standard measurable spaces","venue":null,"work_id":"7e19a222-efa4-48c0-beba-d871f798d84f","year":1981},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:14.996072Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:e913dfe2a68f731f4d264731b7398549832492efdf1225aedd17dba8c02ca75f","observation_id":"82f8521d-448b-44c6-8231-7eaa3e93dbcf","resolution":{"observed_at":"2026-08-07T12:53:23.756383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1207.4114","last_updated":"2012-07-11T14:43:04Z","snapshot_observed_at":"2026-07-06T02:52:02.941345Z","submitted_at":"2012-07-11T14:43:04Z","title":"Metrics for Finite Markov Decision Processes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1207.4114","snapshot_observed_at":"2026-08-07T12:53:15.089157Z","title":"Metrics for finite M arkov decision processes","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.089157Z"},"links":{"cited_paper":"/paper/1207.4114","citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:904213a8e9c4462f13b90929059921e45adeae1844552332076655f2b0dd458b","observation_id":"35b9e6b6-5f56-4b24-b6c0-1ae77d318567","resolution":{"observed_at":"2026-08-07T12:53:15.089157Z","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-07T12:53:23.483523Z","title":"Bisimulation metrics for continuous M arkov decision processes","venue":null,"work_id":"76906c8d-30b1-4cb5-933b-39456b070cfb","year":2011},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.178762Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:4fa900f9ecaf9bc4d80d8b37496fe7b1f686c549a984734cf7cf2469e57f3141","observation_id":"1cd1ca77-0a7f-4df7-bb2a-1f360828b5fb","resolution":{"observed_at":"2026-08-07T12:53:23.545578Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2023.22","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:53:18.066955Z","title":"Quantitative H ennessy- M ilner theorems via notions of density","venue":null,"work_id":"e9796646-1aed-4a6b-b8f6-2066ca99ed2f","year":2023},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.280128Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:7553392a298b46ace07339e59f04900e2b44437408be6d44ab817b815b27e563","observation_id":"be937a8f-fcc5-4d10-9e9e-29c3aa28dd66","resolution":{"observed_at":"2026-08-07T12:53:18.129958Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:23.283644Z","title":null,"venue":null,"work_id":"91f2affc-78ad-444b-a9c3-19c0465f8be4","year":2000},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.353307Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:e70a032b04e7180330a083e33e2f99a4ddeae1fd6bcead5f71bc0fe7ccdfb6b5","observation_id":"c4896b0c-1a4d-4a6a-88f1-490e59689fcd","resolution":{"observed_at":"2026-08-07T12:53:23.377426Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:23.013647Z","title":"Bellemare","venue":null,"work_id":"9025f91f-a72a-42c1-bedf-3adb3a1bd2e7","year":2019},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.448526Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:1a73508d435ea8852152c4b06808d885f255994813638bfa1acc2538d717d866","observation_id":"b2fab5ad-6b85-42bb-bd44-2cdb337e2b97","resolution":{"observed_at":"2026-08-07T12:53:23.145990Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:22.802951Z","title":"A categorical approach to probability","venue":null,"work_id":"41d04b76-afac-4eca-b507-f39e2019013b","year":1982},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.559059Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:e283505a8bdbbedc7bda5fd0e01d8e48a34fef3d3bab756a10b983947f77cbe7","observation_id":"4aa629f4-e3c9-4469-aa15-3d709be7afbe","resolution":{"observed_at":"2026-08-07T12:53:22.894261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:15.693279Z","title":"Equivalence notions and model minimization in M arkov decision processes","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.693279Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:7d43f9d689a625b43afd4dee6c31ecf6c272df875860eac5141e43478d07bd56","observation_id":"7796cc8b-4055-4a7e-ba81-ccee114a5546","resolution":{"observed_at":"2026-08-07T12:53:15.693279Z","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-07T12:53:22.484101Z","title":"Predelnye raspredeleniya dlya summ ne\\-za\\-vi\\-si\\-mykh sluchaynykh velichin","venue":null,"work_id":"c65a244e-bb2b-467c-b85b-5468efba7f60","year":1949},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.772233Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:184a8ad85c1e6c4431cfe7a67c0aa6683a5078034b5a8b4784e45e5d2e9516e4","observation_id":"fbcd11b0-bd83-48e2-836e-213453cd17ef","resolution":{"observed_at":"2026-08-07T12:53:22.621518Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:22.298431Z","title":"On observing nondeterminism and concurrency","venue":null,"work_id":"0b7644e0-6939-4c02-9251-af0dfb21fd10","year":1980},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.853657Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:d5e514349ee30449ca77fa13503602f5f51961cedf96fbf1a9abfe3b2be26a86","observation_id":"c8a166e3-9fb7-4e32-9bdd-4518c671ad3d","resolution":{"observed_at":"2026-08-07T12:53:22.390978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:22.109196Z","title":null,"venue":null,"work_id":"342286d7-92d3-40ae-bd1f-ad0b70114ce1","year":1999},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:15.930514Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:3b03ef4965a74f33a536c375e45978a8f448f49307ba5840d81014660a60e059","observation_id":"27e07de0-dba3-4272-9f6b-c1e86ce762e5","resolution":{"observed_at":"2026-08-07T12:53:22.202960Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:21.905816Z","title":"Classical descriptive set theory , volume 156 of Graduate Texts in Mathematics","venue":null,"work_id":"a6334772-568f-4dbc-a0c5-0dcc1328ee43","year":2012},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.009717Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:42160244a0393d74cac86047470bf7a0cb338cb1e71e965e96d6958491b3c8f7","observation_id":"9e2ef5d2-e721-4d2b-9f18-6aa2805660f3","resolution":{"observed_at":"2026-08-07T12:53:21.990092Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:21.650348Z","title":"Coalgebraic Behavior Analysis: From Qualitative To Quantitative Analyses","venue":null,"work_id":"70be3d02-5104-4826-a59d-c487bf277495","year":2016},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.120495Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:e2291f01daec50c15a81e680546c462f7aa673d328fad3457b77d831499430a6","observation_id":"0d067d11-ef54-415b-9290-c8ce78814804","resolution":{"observed_at":"2026-08-07T12:53:21.803046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:21.395151Z","title":"Expressivity of quantitative modal logics: Categorical foundations via codensity and approximation","venue":null,"work_id":"bfeff457-40ca-44ab-9ad8-5636916f1821","year":2021},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.195018Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:ac3db555dffa212627c3bc451065a7bac48de4c3a654dbdb9860baaaf5ef7b4c","observation_id":"8e6e7c4c-5638-4133-ba02-e35885f8371b","resolution":{"observed_at":"2026-08-07T12:53:21.497618Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.4230/lipics.csl.2020.26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:53:17.782464Z","title":"Expressive Logics for Coinductive Predicates","venue":null,"work_id":"a73e2a72-01d7-45a9-b96b-664ede442065","year":2020},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.274083Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:dfabd3faa719fd0ef9b42157714fc4622aed66a13815ea4380d8325d13f3c10c","observation_id":"c3a4e935-73f5-4a84-8225-81210b037379","resolution":{"observed_at":"2026-08-07T12:53:17.929065Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:21.139974Z","title":"Two classes of measures","venue":null,"work_id":"518cd5b0-fd6a-45f1-b829-798a9bf655b5","year":1981},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.340036Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:eff837665d4597eb429c9f682ba153551f03d7352abdc42724d4cb7e900ac3f2","observation_id":"fbf1b108-8a43-4d29-a8b6-465d50302fb5","resolution":{"observed_at":"2026-08-07T12:53:21.232170Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:21.060607Z","title":"Ramachandran and L","venue":null,"work_id":"0a066fbd-177f-4d74-a87d-b10c000149bf","year":2000},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.423808Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:1363fe294e05f668d616c430dee40cfed89098a66ff0b1bb6b1d9b24c76489cf","observation_id":"d74aefd1-33e4-4220-bbf3-3d58c0dd2022","resolution":{"observed_at":"2026-08-07T12:53:21.063695Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:20.959226Z","title":"A general duality theorem for marginal problems","venue":null,"work_id":"e53959f2-40e4-4937-a3d2-33952b778d9e","year":1995},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.538828Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:9b4598e6fe0557e0cf04e7987cb2af4e64753412fe4e7e998e21218b7fc830cf","observation_id":"c4a13613-128d-4e79-ae76-f1f087172277","resolution":{"observed_at":"2026-08-07T12:53:21.054190Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:20.701074Z","title":"On quasi-compact measures","venue":null,"work_id":"4b9a5d48-11db-4bf5-ade8-386e0b6d21ba","year":1953},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.639972Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:ed9f2d7314a0549fcdc4b33974321f500296cc80165e55b21219dd24f84dd844","observation_id":"85c42084-e417-4b70-b305-f64898a4ba8a","resolution":{"observed_at":"2026-08-07T12:53:20.806730Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-1-4613-3557-3","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T12:53:17.620853Z","title":"Minimax Theorems and Their Proofs , chapter 1","venue":null,"work_id":"8d08011e-679c-42cb-b244-c264dba227b6","year":1995},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.753304Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:20f85ed866c86e90bf518473640a1e1dc28031cb76e436279e9d2adf701dc846","observation_id":"6aca2d06-8c76-4e19-92d1-733fe0a08138","resolution":{"observed_at":"2026-08-07T12:53:17.675848Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:20.506230Z","title":null,"venue":null,"work_id":"2eb4ed51-733f-49fb-8b7a-6fee6cf90e48","year":1917},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.858956Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:9624a03a9f7b58491311037399c85877c62739c82ffe43602b4a753a228da30a","observation_id":"335ae66c-d91c-4a18-8da2-b963fc261b9d","resolution":{"observed_at":"2026-08-07T12:53:20.583048Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:20.265500Z","title":"Sutton and Andrew G","venue":null,"work_id":"c800bc15-fa08-419b-bfd5-77fce2aa5775","year":2018},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:16.968488Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:d4b55e1422dff8e2391a59ff47dbd698da96a74b4e08ccf5b6e25578957cd52d","observation_id":"df560353-0124-450e-94fa-411bc75513ef","resolution":{"observed_at":"2026-08-07T12:53:20.421235Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:19.872836Z","title":"An algorithm for quantitative verification of probabilistic transition systems","venue":null,"work_id":"9040dafe-a385-4829-910b-de02424767b3","year":2001},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:17.059455Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:f536b7957d392afd33a0a18ff933fb0ca29db47a1f37dd52dfb494646d8ab037","observation_id":"89e9670a-2f97-4047-a9f9-8db8ea857f7c","resolution":{"observed_at":"2026-08-07T12:53:20.056768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:19.518794Z","title":"Towards quantitative verification of probabilistic transition systems","venue":null,"work_id":"e8a17dda-2c78-47bf-acb9-a18920a6de6f","year":2001},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:17.138244Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:c62870fd740219fb7cc1007f46221525cb4a0b93a8e1088213d4412b56fe5151","observation_id":"ea6f75ab-5bb5-4b55-ba32-a431f1d39baa","resolution":{"observed_at":"2026-08-07T12:53:19.699261Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:19.374501Z","title":"van Douwen","venue":null,"work_id":"c44b0895-5a76-4b62-9e83-da1625a911b0","year":1984},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:17.240734Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:e9a772101dd11881debaa6a4f8c3289d75abbf21f74584aa17a9991dff870399","observation_id":"8a4b75ee-2302-4f4b-8f5e-e4e85ba21aa2","resolution":{"observed_at":"2026-08-07T12:53:19.431315Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:19.138908Z","title":"Viglizzo","venue":null,"work_id":"ee2976df-4235-4c28-835f-983340dde522","year":2005},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":44,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:17.374422Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:97af9a53838391a4a16f4313b627721c3fdbf97c5dd73a663af7e4c982150a66","observation_id":"a7d7b62f-8d7d-4493-8853-9701da91d61d","resolution":{"observed_at":"2026-08-07T12:53:19.258818Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:18.999566Z","title":"Ward Henson, and Alexander Usvyatsov","venue":null,"work_id":"064fe8dd-7d56-4dca-9344-1151477709a8","year":2008},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":45,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:17.449433Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:0a60cb11b948ca4cf560ee32a3367c0f511314703d7958f8bf5bffba14180eac","observation_id":"a04d702c-e644-4e16-8cf1-5edd29f435f3","resolution":{"observed_at":"2026-08-07T12:53:19.063026Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+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-07T12:53:18.877877Z","title":"Learning invariant representations for reinforcement learning without reconstruction","venue":null,"work_id":"be88bda3-ec0c-4fdd-95b4-0d21c74928d4","year":2021},"citing_paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces","version":1},"reference_index":46,"source":"arxiv_source","source_observed_at":"2026-08-07T12:53:17.503722Z"},"links":{"citing_paper":"/paper/2505.23635"},"observation_digest":"sha256:77ad89eb55a82b036ce26fa3c15e36f4112c9322a5d2ab53e0489542fb034d64","observation_id":"45127c5a-e011-4c70-8dc9-c999bbbf8bf5","resolution":{"observed_at":"2026-08-07T12:53:18.938615Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.23635","last_updated":"2025-05-29T16:44:36Z","latest_version":1,"primary_category":"cs.LO","snapshot_observed_at":"2026-08-07T12:39:20.321653Z","submitted_at":"2025-05-29T16:44:36Z","title":"Expressivity of bisimulation pseudometrics over analytic state spaces"},"reference_resolution":{"displayed":46,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":11,"verified_exact":7,"verified_fuzzy":28},"total_outbound_references":46},"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-08T06:32:00.761636+00:00","source":"crossref"},{"observed_at":"2026-08-08T06:31:55.24221+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 46 of 46 outbound references and 0 inbound Pith citation observations for arXiv:2505.23635."}