{"as_of":"2026-08-08T01:29:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:94ffdd4d76d9d757fd3e8fd9e7a374ad14b55f04dd1c03c4e7139da7d85bc31c","coverage":[{"denominator":50,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":50,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-24T15:51:55.534675Z","state":"measured"},{"denominator":50,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":50,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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/1907.11010/citation-record","integrity":"/paper/1907.11010/integrity","json":"/paper/1907.11010/citation-record.json","paper":"/paper/1907.11010"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f7de8ba9-410b-47b1-a432-09c31f44a1cb","year":1998},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:fba438500370cde90e31fdc88c2fdff01d94d305e50ccc302aed1541521fa039","observation_id":"e157fac6-f57a-448d-968b-8a1098778933","resolution":{"observed_at":"2026-05-24T15:54:40.182110Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of ICALP 2015","venue":null,"work_id":"09ba9a80-c2b5-4613-b30e-57d1291f7748","year":2015},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:6e00a9abb391622186910fee471963ad489c04be2800b8f002cc524f9b910eeb","observation_id":"81468bd2-8099-4860-bb23-ce04467742b6","resolution":{"observed_at":"2026-05-24T15:54:40.172593Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"International Journal of Foundations of Computer Science 22(04), 783–799 (2011)","venue":null,"work_id":"60bc8f36-0959-4767-a976-79174be5b324","year":2011},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:a66cf897a7e9bc178e18e7847584273dd16fe1cbf3a12708a389a8da2c9ac5bc","observation_id":"638a9153-25d1-46b3-8cba-f8ec1f65729e","resolution":{"observed_at":"2026-05-24T15:54:40.169396Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"5d9ac89d-8c7c-4832-b6f1-bb5a3709bdf6","year":null},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:7cea96e3991ac4daa3bfbabbf8c1aada87605f3168742b70d7479666c00161e1","observation_id":"2fb2b0c9-d398-4db6-9390-665bb0f1f8cd","resolution":{"observed_at":"2026-05-24T15:54:40.194597Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of LI CS’16","venue":null,"work_id":"c76fc61c-a4e8-4f04-b42b-dcea31f3a4c6","year":2016},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:dc368b38d7b5658000fd1d8d0b078965e4b3ae7c55293bb205c88c31a3a7abf7","observation_id":"dbb2f0a6-b6a1-44d7-8b5b-8bd6baaa49de","resolution":{"observed_at":"2026-05-24T15:54:39.904937Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Veith, H., Widder, J.: Decidability in parameterized verification","venue":null,"work_id":"105499a8-7118-46d7-8bd1-c1a74da32335","year":2016},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:fac93b3d3bb2cc6cdc7e76c7638de9b59f5e4a43cae2f95572bbb18cd8308b4e","observation_id":"44bc68b7-f2a2-4ab8-a3b3-8fd55c9c70ab","resolution":{"observed_at":"2026-05-24T15:54:40.070340Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of RP 2011","venue":null,"work_id":"4615a5be-d17c-41bd-8417-2640f3887168","year":2011},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:0415e759cd6210d4ed612fcda3c9d6cf3371c8e074cccb9eda2440ea39bf4098","observation_id":"0441a0b6-7a93-4f74-926d-78773106c17e","resolution":{"observed_at":"2026-05-24T15:54:40.099099Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"999358e1-13ef-4692-a86f-70a7f47ecea8","year":2014},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:aebb72bdc7d6a6061b0d9ea9bda76e42efd81a65faad1d05a41dbfeee4a9c942","observation_id":"58a6b193-a522-4feb-ab8e-461028dcd42f","resolution":{"observed_at":"2026-05-24T15:54:40.092996Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceed ings of ICALP 2011, Part II","venue":null,"work_id":"3967363c-81c7-41a4-b497-b8f90f9738e7","year":2011},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:2b250df04dc221ad793ff56733341193c026d37c65846e8f808fd04700c871c0","observation_id":"88ef3be1-441a-4650-b235-927e063b1972","resolution":{"observed_at":"2026-05-24T15:54:40.080849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceed- ings of LICS 2018","venue":null,"work_id":"7faf82dd-1f42-47c0-ab43-1128b4f12e3e","year":2018},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:cc0337500274f9895ca06e501cbc994507b9b8667db61d7ba58c3ecdeec76208","observation_id":"a215eb11-0319-4257-897b-e9cbd88c2f8b","resolution":{"observed_at":"2026-05-24T15:54:40.083971Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"e645d1ab-0718-4546-aac4-75634a642f68","year":2014},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:c3fcbecbc13912c6e74a59c1a032b224ee355c700bd67e1ad06d3e5c48c5097d","observation_id":"37d7e764-6581-4c39-96ac-4e42c53dd873","resolution":{"observed_at":"2026-05-24T15:54:40.096063Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: P roceedings of ICALP 2012, Part II","venue":null,"work_id":"3fb8b36c-8324-4cb4-b995-bc8d353b54ca","year":2012},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:0c33fa99671301f858efec34aac5ccf7f5bfbf677e5a53ff97f9ab08b5092937","observation_id":"baceb189-6de4-468f-b422-4342863ffd9b","resolution":{"observed_at":"2026-05-24T15:54:40.073923Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: 2011 Eleventh International Conference on Appl ication of Concurrency to System Design","venue":null,"work_id":"3ef502c9-ec52-4cb4-9280-e0f674160551","year":2011},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:10098ea8e7ba7263a26c8b75fbfa9b6fc08545b3adef5c09208bee253b021192","observation_id":"a9b8bc4f-1fdc-40b4-9594-898ddfbf267e","resolution":{"observed_at":"2026-05-24T15:54:40.077392Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of FSTTCS 2010","venue":null,"work_id":"3b5225ac-dc0f-46e6-8c9f-42907be9b464","year":2010},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:75812444dcfd582e3e9ed01c4434f383cc754f2a9cdddcb0a8ebeb4703633bc6","observation_id":"72e1854c-bd17-4591-98d8-8d286e1a1458","resolution":{"observed_at":"2026-05-24T15:54:40.089849Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of CONCUR 2013","venue":null,"work_id":"2828c4ac-56b4-47c8-9132-9b2377cf0989","year":2013},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:6298308648813cb6b820486627fa8629505fe1dc70aa33a8bb732ab940094c24","observation_id":"79b18222-8010-402e-bc32-5a8bab16f085","resolution":{"observed_at":"2026-05-24T15:54:40.102537Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: CA V (2017)","venue":null,"work_id":"22751a87-0f81-4315-a819-b58d704f79e2","year":2017},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:f045afad916f2a320ae15749fbf2b9c6c6c7112968690442733005bb500a4d9e","observation_id":"d7c6b3f2-0019-4385-9618-de2f801d9e02","resolution":{"observed_at":"2026-05-24T15:54:40.063058Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Computer Aided Verific ation","venue":null,"work_id":"44d13e5b-7ece-43cb-8bb0-7af08ed2d2af","year":2017},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:cea44baa7f30805a4a88a3f9cccda36db8f41c83c991b2f45fa9427dbfb3c268","observation_id":"8e92a438-5e57-495e-a345-18600bd79d7d","resolution":{"observed_at":"2026-05-24T15:54:40.140393Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of LICS 2017","venue":null,"work_id":"f6e85f03-edcc-4da3-b073-c76d8470768c","year":2017},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:52d805c112ffbfdca4831c666f421442502afedd25623b1318db13f2597b094d","observation_id":"e04743b1-86cf-4ce5-af17-90a94e5efcb8","resolution":{"observed_at":"2026-05-24T15:54:40.153368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of STOC 2019","venue":null,"work_id":"301ff02d-c715-4032-8921-0019dfd5fac3","year":2019},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:4e0562d458a5d61d91514543ffd23e123a46502bd4808ee5aef3e2fccc9cb5dd","observation_id":"66f632d2-f62c-46e2-a971-710c3b5e3629","resolution":{"observed_at":"2026-05-24T15:54:40.159277Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Lectures on Petri nets I: Basic models pp","venue":null,"work_id":"17604ae8-b375-486b-88ed-96fda527d82c","year":1998},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:5aa26c9329b6e414a4364f0bec49f3e55fc1d2b73d4f8812b8816d5ce2abb7b5","observation_id":"9db61e9e-2805-4939-938f-9cb26b24838a","resolution":{"observed_at":"2026-05-24T15:54:40.165959Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"55041bda-cd10-47b6-9eda-721bd8efe5e2","year":2006},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:c813deccb29a5613753bb5b05eb4bbf208ffa5d213fc64c8a5eee6d901cd1270","observation_id":"fcdbdcad-bd0b-483a-8e92-217b1f708c93","resolution":{"observed_at":"2026-05-24T15:54:40.143550Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Niksic, F.: An smt- based approach to coverability analysis","venue":null,"work_id":"ed78b79d-189f-4695-9341-52f0e29c20d0","year":2014},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:6c6af6b1d45d3c58941d547b4bdaed8e6a35885dde3fec653de72097180a070c","observation_id":"a8215788-06bb-492a-b336-2f5bacf00d9c","resolution":{"observed_at":"2026-05-24T15:54:40.130978Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Bulletin of the EATCS 52, 245–262 (1994)","venue":null,"work_id":"87912ad4-d39e-4b75-8b96-69d70d815cbe","year":1994},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:0a01af0b3206ec8db123ffb1f4d5f6f4039c637e0542ba30f403608056166daf","observation_id":"9ec1791f-35ea-4bdd-b475-164cb3f7c3e1","resolution":{"observed_at":"2026-05-24T15:54:40.134154Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"abc9405c-683e-4d38-9366-2e0322185731","year":2012},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:c50eb88c689167beeba7012bb733fe57edca03d08437bb96e3805bd0068d15c5","observation_id":"82b96874-b93a-4bd6-804b-c876d3c5cd6b","resolution":{"observed_at":"2026-05-24T15:54:40.184820Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Thiemann, P","venue":null,"work_id":"ab6e5439-8bde-45b7-805e-138f01da4d16","year":2016},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:ff9bdc0eda1718cb833a5a83b38a1da55d9e21b3d0aaa12dcb2cef223c9f2ab4","observation_id":"a3dbf81d-be70-45bf-b79d-526b0987098f","resolution":{"observed_at":"2026-05-24T15:54:40.187926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Nature 521(7553), 452–459 (2015) 16 T","venue":null,"work_id":"8afa1e77-5583-42c3-80c4-3151c8b9316a","year":2015},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:4c51aa63c5cc79ed2eed7d3ea7fdb90f061ba591a47af4c214035c806ad61bf9","observation_id":"643e1d9d-2ea0-4722-8307-ff914764b4c7","resolution":{"observed_at":"2026-05-24T15:54:40.127748Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedin gs of POPL’09","venue":null,"work_id":"e79e0f37-f51b-4fd6-aace-6f8b30e19ec8","year":2009},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:d3da720c7f20e7f1f66b978f9bc57589d8e08f978824c92076fceea1bd8d035e","observation_id":"91262231-39f3-453d-bd42-56b8305b676e","resolution":{"observed_at":"2026-05-24T15:54:40.175953Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"ACM Trans","venue":null,"work_id":"b65fa557-4562-4901-bd01-3fb7a78830da","year":2012},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:bef16280f95696f3ff3305e4ac6cc8c1b9644142f952ec63c577213761a9c349","observation_id":"a25ec9be-5ed6-4e5e-bda0-f72a0db619dd","resolution":{"observed_at":"2026-05-24T15:54:40.137164Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of ICALP 2015","venue":null,"work_id":"dbd88c1f-1ae1-4237-84ea-ba4625e14ffc","year":2015},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:ecfb40610a6b218de2551baac767b8faed2bdac35751a458568064184cb1e635","observation_id":"98043887-d6f7-4551-a41d-8696957bc454","resolution":{"observed_at":"2026-05-24T15:54:40.121550Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Acta Inf","venue":null,"work_id":"ce116d59-cc6b-45c8-b6cd-b664d97bd978","year":2019},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:bd832febd80f612c567fa8dd35974da743c1b58fe42c57147bbd9d60602e3591","observation_id":"d89ec2f6-30ac-42a9-944b-8f06280aedad","resolution":{"observed_at":"2026-05-24T15:54:40.115156Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"c422672b-3793-4f93-9454-1ebdf866bd27","year":2018},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:65fe98bef9cfd1fb7138c8f0e4b398c88319e9a7b5cfba63fb812c687d2a5139","observation_id":"b8d77f16-563e-4e50-971a-f1db1e989207","resolution":{"observed_at":"2026-05-24T15:54:40.124549Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"56f203b5-0d48-4963-8b7a-b30605754ae7","year":1969},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:221f0a86f8fb647c9df6caa9758f04e631679431437859be9d9cc2dcc24ebfb3","observation_id":"df0fe931-1190-4ee1-a78a-270ea14f0221","resolution":{"observed_at":"2026-05-24T15:54:40.105761Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of STOC 1982","venue":null,"work_id":"4f0bf7bf-1962-4548-a2e5-14904c138994","year":1982},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:4f8c2d31e50f24cd52d3cace8ee3c65d59bf5853c3651a04db8f4648ea078c08","observation_id":"2e1c9287-405c-4444-8ff7-0ff5755d2237","resolution":{"observed_at":"2026-05-24T15:54:40.108835Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of STOC 1988","venue":null,"work_id":"80635386-d134-40ba-ac71-b03a062cff6b","year":1988},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:3319b08065654c13aff434d5c70c49defcfc2cd7b087ae41a4d6b37b2cc0f0cb","observation_id":"2ecdead1-945e-473f-abfc-78eebeac1092","resolution":{"observed_at":"2026-05-24T15:54:40.112065Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of POPL 2011","venue":null,"work_id":"4bd56807-749d-4e48-8e6b-ad66a1d4729a","year":2011},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:c042afbb3ef19adf72aa92453392170b2d8a83395730e9441fd2cb53596b7531","observation_id":"f1a33b4e-1ddf-4143-9806-a1e053cdc4e2","resolution":{"observed_at":"2026-05-24T15:54:40.118323Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of ICALP 2018","venue":null,"work_id":"ef4b15a9-e414-47d6-95ab-323ed1a597ab","year":2018},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:e89f28828758719ba4721d3e84a967fbf951041768519d2b854e47cb47b7a668","observation_id":"b5f8310f-ddaf-4999-8f43-36acd4cbf277","resolution":{"observed_at":"2026-05-24T15:54:40.150219Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of LICS 2019 (2 019)","venue":null,"work_id":"6f1d391b-bac8-4b19-a424-9b74abefdbd5","year":2019},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:e4b6cf4c8095f08d04d760adfe1cc5b3fbf588940c7217dbe2a5a25bba7c5b2a","observation_id":"24cc070d-879f-4212-9513-2cb5b82fc7eb","resolution":{"observed_at":"2026-05-24T15:54:40.179075Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"Technical re- port 62 (1976)","venue":null,"work_id":"9d29634a-6bfb-4cff-8c50-d6b8b5a731b0","year":1976},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:7485d8fd1918f5df2a555c3eddf87b06b064f677e41fb73b99330ff6b1119359","observation_id":"32c5374a-e373-497d-9491-e92d96b02866","resolution":{"observed_at":"2026-05-24T15:54:40.162648Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"6b8e2c5e-db54-41ac-a1c0-7a6a6abdf974","year":1984},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:952f253878863e3736c8a487c66cbffc6c4bdd4a453de2326283686b6dda3763","observation_id":"94980bac-7813-4f20-847b-3e28abebf8c4","resolution":{"observed_at":"2026-05-24T15:54:40.146982Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proceedings of PLDI’1 8","venue":null,"work_id":"a9fc4a99-9fd8-49ca-ab8c-965819aeda81","year":2018},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:973f9d30f0d64dd67dcb4d98cac883361f3813c9bc0cae31f0a1c2352d84bd7a","observation_id":"863e1ed2-c2e0-4d7c-a4b2-367777b26410","resolution":{"observed_at":"2026-05-24T15:54:40.191081Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"9c1761fa-20cd-4c2a-9de1-c4e36ebbce60","year":1994},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:77e7770d7f7ef06133c07ebe1a1799fbdeec8fce1567a54f77d729009ba3a40d","observation_id":"8a8c5764-92ac-41b4-9ff5-dddfafe19a41","resolution":{"observed_at":"2026-05-24T15:54:39.887626Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"49e505c9-8528-421e-9628-3061f35c25b9","year":1978},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:83261acf8b80c6bf83a790118362548ce0a4355f175912556944fed0b8884df2","observation_id":"d3560912-a2a4-4d60-a7f2-285bd20df754","resolution":{"observed_at":"2026-05-24T15:54:39.890331Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"ACM Trans","venue":null,"work_id":"74875511-07f2-479b-bba3-8cf5113b242b","year":2016},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:4df601ca4bad319f4bcc0b991f21a44216723338402ffe2247c1d44fab2579bc","observation_id":"9a261bfa-a496-4b6d-9ece-4afe97ff5301","resolution":{"observed_at":"2026-05-24T15:54:40.086901Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"In: Proccedin gs of CA V 2014","venue":null,"work_id":"dcfa8128-e110-4810-9587-bee813f0e71f","year":2014},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:05abb70772f5fb3e6a78524efb98af3cb33d588b0147d3ee404dcfcec0f0a83b","observation_id":"560ae925-1326-422f-ba7d-445d8231f808","resolution":{"observed_at":"2026-05-24T15:54:39.879435Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"The MIT Press (2005)","venue":null,"work_id":"e68c5514-8751-4711-a529-5169281a64fd","year":2005},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:53515f9873287e9d97f94a21ec32934c0987ad42bd7a43f18f528a8144699fec","observation_id":"1029896f-e0cd-4f7c-b77d-2be693e39a23","resolution":{"observed_at":"2026-05-24T15:54:39.882409Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"f1151a3f-cfa6-402c-9cbd-578cb4695af3","year":2015},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:b00f140582f5696851f3a5f6ddb321382d19480767949e9380db8b2daece019e","observation_id":"95b2fc60-8cac-45e1-aabf-8de3fcfe9b2d","resolution":{"observed_at":"2026-05-24T15:54:39.884989Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"ACM Tran s","venue":null,"work_id":"18bab3e1-cc3d-4260-82a5-e4c04fe95171","year":2008},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:bd75a75113aca75bb6a6858e231c07f676e11782e11d33aefbbd1089bd338ca5","observation_id":"1b985585-f1cd-4993-b2e6-e057650e02a9","resolution":{"observed_at":"2026-05-24T15:54:39.893225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a1700ba6-3a03-4e3f-8795-a76897bbfd32","year":1992},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:a59062269f129ef3c1961b0b1aee266465241ea77f477616ef0501652b58f0c0","observation_id":"091c372d-b15e-408a-8420-92b7d838470d","resolution":{"observed_at":"2026-05-24T15:54:39.896335Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"06124e0a-37ba-47a7-907a-d7c004e52db5","year":null},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:e0df9293163c272064a37de87db375df7b05fb5e4db07cb6267ce1a40cb886d6","observation_id":"be2fcdbc-1256-4d0d-b0d5-5339c3e655f9","resolution":{"observed_at":"2026-05-24T15:54:39.902262Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06-05T21:23:00.469572Z","title":"First, we consider the demonic case","venue":null,"work_id":"ac697984-12e9-46f0-a97f-7e924405a3f4","year":null},"citing_paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-24T15:51:55.534675Z"},"links":{"citing_paper":"/paper/1907.11010"},"observation_digest":"sha256:7a7d7f7e12d8469a2dd5c53ce2d84b4f20b52e73f9dd20a987dfa670d13c3066","observation_id":"cd6b0731-17f2-4873-8d3e-c8fdba71cb3b","resolution":{"observed_at":"2026-05-24T15:54:39.899098Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"1907.11010","last_updated":"2019-07-25T12:41:23Z","latest_version":1,"primary_category":"cs.FL","snapshot_observed_at":"2026-07-06T08:10:10.910194Z","submitted_at":"2019-07-25T12:41:23Z","title":"Deciding Fast Termination for Probabilistic VASS with Nondeterminism"},"reference_resolution":{"displayed":50,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":36},"total_outbound_references":50},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:1907.11010."}