{"as_of":"2026-08-16T08:10:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:facc398c69e2f6c24cfc079e7c8ced00f7273651e41735e714a2e3a21e63e05f","coverage":[{"denominator":12,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":12,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-14T13:49:14.788024Z","state":"measured"},{"denominator":12,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":12,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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/1908.04625/citation-record","integrity":"/paper/1908.04625/integrity","json":"/paper/1908.04625/citation-record.json","paper":"/paper/1908.04625"},"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-14T13:49:14.938289Z","title":"Strategy synthesis for multi-dimensional quantitative objectives","venue":null,"work_id":"9c0054c1-026d-4e4e-8be4-3d31b1c25bd0","year":2012},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.758945Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:a149e93ee28ee342948c2855d5807c77060f9579b91894a3503fc2638bde5114","observation_id":"f6ca9c35-ddef-41e8-8d2f-20926aa469b2","resolution":{"observed_at":"2026-08-14T13:49:14.942854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.917041Z","title":"Predicate abstraction and refinement for verifying multi-threaded programs","venue":null,"work_id":"c6764cca-f4b2-46e5-86fa-e6d840bf169a","year":2011},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.764567Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:0914415c20f5444575f1ac82c3a3b5194ae853b873140f5fc815152afb6cbdcc","observation_id":"b53c1319-b815-4983-bbc7-59faed77e60d","resolution":{"observed_at":"2026-08-14T13:49:14.923680Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.839566Z","title":"Convex language semantics for nondeterministic probabilistic automata","venue":null,"work_id":"ec121518-b501-4e87-8c23-d261474847e2","year":2018},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":1979,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.783631Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:0207afd8e31fd75186ed3cda9874dc3bf2bd3ca1bc74636e982800449bae833c","observation_id":"e3177e16-a847-4673-968a-d2f130d3e5c4","resolution":{"observed_at":"2026-08-14T13:49:14.845790Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.858190Z","title":"Percentile queries in multi- dimensional markov decision processes","venue":null,"work_id":"87802b96-9698-4ec2-afa6-2639ab1e51ef","year":2015},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2003,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.778446Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:988c14faffb6cfb51a7b058b61635a3511c1d20728cd51eea7ca208cfefe3d02","observation_id":"843099ff-7ef4-4e5a-9c71-89e043561953","resolution":{"observed_at":"2026-08-14T13:49:14.867869Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.881186Z","title":"Non-deterministic weighted automata on random words","venue":null,"work_id":"4df6c798-3daf-4bab-9a52-ffd2ce3aec9e","year":2018},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.773902Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:e503e3f02a8b65d2b4f4daf270fe09ff2c3edf38db00df592fc67f1f51851c00","observation_id":"e0781915-255a-4513-9298-9baba8650026","resolution":{"observed_at":"2026-08-14T13:49:14.887476Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:15.026383Z","title":"Markov chains and unambiguous büchi automata","venue":null,"work_id":"73516703-bdb7-4c5e-91ed-199d05104836","year":2016},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.734587Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:51215cb87e6fe2eb9a7595f4df67ed911ed043941f2f87eb8003522eab420ed8","observation_id":"2ae3e0de-fc9a-498c-8d48-8ce5959b0f87","resolution":{"observed_at":"2026-08-14T13:49:15.031135Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.953452Z","title":"Henzinger, and Jan Otop","venue":null,"work_id":"29845809-c08a-4e2e-b0c4-021c4ef6ab29","year":2016},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.753146Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:7907c6f18472b84483caee79993503b9a370e0a3e7f43b39423110bcf21fa980","observation_id":"fe3844d0-6311-433b-abda-84ebb7ae7078","resolution":{"observed_at":"2026-08-14T13:49:14.958849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.969946Z","title":"Henzinger","venue":null,"work_id":"8fd881f3-1b98-426a-8b42-570b493149a5","year":2009},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.748250Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:2ea298d104ceda7e3fa63a625f5f6a6e2c72156ddc63c6c830204e703a3f6c41","observation_id":"d2b3ff05-805a-4b83-b086-807103ef5065","resolution":{"observed_at":"2026-08-14T13:49:14.975383Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.991996Z","title":"Henzinger","venue":null,"work_id":"d89e95f8-3849-43a8-ba7c-38d360e52499","year":2012},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.744039Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:02bd12a8512d51d3d57f5d423b83255960df231dc233dd99dd21bdb85e99cff2","observation_id":"93d548ed-93b9-4f52-8d03-4e095e1ed8be","resolution":{"observed_at":"2026-08-14T13:49:14.998038Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:15.011159Z","title":"Regular repair of specifications","venue":null,"work_id":"4a46b010-7144-40de-86d5-900a9a689b3d","year":2011},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2016,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.739786Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:17f027653dfb8282bb66b5d5a2c5c3324958ece058722ed26d9001f78001e465","observation_id":"70d83eec-b135-490a-bc1b-7c2f082120ed","resolution":{"observed_at":"2026-08-14T13:49:15.015849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.898961Z","title":"Kwiatkowska, Gethin Norman, and David Parker","venue":null,"work_id":"7ad24c77-7970-48d3-9096-64f029a6e4df","year":2006},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.769366Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:d09ba63cece15c89cb2936f5e315fa8fbf3f220a27fbdbe904e548a05fec7ad6","observation_id":"73e11e28-c183-494a-8a08-a22fe0ecb850","resolution":{"observed_at":"2026-08-14T13:49:14.904097Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-14T13:49:14.821488Z","title":null,"venue":null,"work_id":"867e9d97-a73f-4162-99cf-05c15afef1c8","year":1985},"citing_paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains","version":2},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-14T13:49:14.788024Z"},"links":{"citing_paper":"/paper/1908.04625"},"observation_digest":"sha256:0a0496f6e5f28f3b37bb6649c2c0323de1b20693a4e0a48e10746e4f66d4d428","observation_id":"c3d246ef-1a40-40cf-9062-b2dbc3ec2007","resolution":{"observed_at":"2026-08-14T13:49:14.827771Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1908.04625","last_updated":"2019-10-31T13:13:04Z","latest_version":2,"primary_category":"cs.FL","snapshot_observed_at":"2026-08-16T05:42:55.372324Z","submitted_at":"2019-08-13T13:14:56Z","title":"Non-deterministic weighted automata evaluated over Markov chains"},"reference_resolution":{"displayed":12,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":1,"verified_exact":0,"verified_fuzzy":11},"total_outbound_references":12},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 12 of 12 outbound references and 0 inbound Pith citation observations for arXiv:1908.04625."}