Paper Citation Record · LEDGER

Deciding Fast Termination for Probabilistic VASS with Nondeterminism

As of 6 August 2026, this Paper Citation Record lists 50 of 50 outbound references and 0 inbound Pith citation observations for arXiv:1907.11010.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
1907.11010 v1

Coverage vector

measured 50 of 50 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-24T15:51:55.534675Z

measured 50 of 50 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-06T06:34:29.942622+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

50 of 50 outbound references displayed

verified exact0
verified fuzzy36
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation e157fac6-f57a-448d-968b-8a1098778933 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 1

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.182110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 81468bd2-8099-4860-bb23-ce04467742b6 · outbound

This paper cites In: Proceedings of ICALP 2015.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of ICALP 2015

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.172593Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 638a9153-25d1-46b3-8cba-f8ec1f65729e · outbound

This paper cites International Journal of Foundations of Computer Science 22(04), 783–799 (2011).

Deciding Fast Termination for Probabilistic VASS with Nondeterminism International Journal of Foundations of Computer Science 22(04), 783–799 (2011)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.169396Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2fb2b0c9-d398-4db6-9390-665bb0f1f8cd · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.194597Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation dbb2f0a6-b6a1-44d7-8b5b-8bd6baaa49de · outbound

This paper cites In: Proceedings of LI CS’16.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of LI CS’16

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:39.904937Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 44bc68b7-f2a2-4ab8-a3b3-8fd55c9c70ab · outbound

This paper cites Veith, H., Widder, J.: Decidability in parameterized veriﬁcation.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Veith, H., Widder, J.: Decidability in parameterized veriﬁcation

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.070340Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 0441a0b6-7a93-4f74-926d-78773106c17e · outbound

This paper cites In: Proceedings of RP 2011.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of RP 2011

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.099099Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 58a6b193-a522-4feb-ab8e-461028dcd42f · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.092996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 88ef3be1-441a-4650-b235-927e063b1972 · outbound

This paper cites In: Proceed ings of ICALP 2011, Part II.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceed ings of ICALP 2011, Part II

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.080849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a215eb11-0319-4257-897b-e9cbd88c2f8b · outbound

This paper cites In: Proceed- ings of LICS 2018.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceed- ings of LICS 2018

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.083971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 37d7e764-6581-4c39-96ac-4e42c53dd873 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.096063Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation baceb189-6de4-468f-b422-4342863ffd9b · outbound

This paper cites In: P roceedings of ICALP 2012, Part II.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: P roceedings of ICALP 2012, Part II

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.073923Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a9b8bc4f-1fdc-40b4-9594-898ddfbf267e · outbound

This paper cites In: 2011 Eleventh International Conference on Appl ication of Concurrency to System Design.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: 2011 Eleventh International Conference on Appl ication of Concurrency to System Design

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.077392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 72e1854c-bd17-4591-98d8-8d286e1a1458 · outbound

This paper cites In: Proceedings of FSTTCS 2010.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of FSTTCS 2010

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.089849Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 79b18222-8010-402e-bc32-5a8bab16f085 · outbound

This paper cites In: Proceedings of CONCUR 2013.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of CONCUR 2013

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.102537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d7c6b3f2-0019-4385-9618-de2f801d9e02 · outbound

This paper cites In: CA V (2017).

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: CA V (2017)

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.063058Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8e92a438-5e57-495e-a345-18600bd79d7d · outbound

This paper cites In: Computer Aided Veriﬁc ation.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Computer Aided Veriﬁc ation

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.140393Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation e04743b1-86cf-4ce5-af17-90a94e5efcb8 · outbound

This paper cites In: Proceedings of LICS 2017.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of LICS 2017

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.153368Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 66f632d2-f62c-46e2-a971-710c3b5e3629 · outbound

This paper cites In: Proceedings of STOC 2019.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of STOC 2019

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.159277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9db61e9e-2805-4939-938f-9cb26b24838a · outbound

This paper cites Lectures on Petri nets I: Basic models pp.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Lectures on Petri nets I: Basic models pp

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.165959Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation fcdbdcad-bd0b-483a-8e92-217b1f708c93 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.143550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a8215788-06bb-492a-b336-2f5bacf00d9c · outbound

This paper cites Niksic, F.: An smt- based approach to coverability analysis.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Niksic, F.: An smt- based approach to coverability analysis

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.130978Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9ec1791f-35ea-4bdd-b475-164cb3f7c3e1 · outbound

This paper cites Bulletin of the EATCS 52, 245–262 (1994).

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Bulletin of the EATCS 52, 245–262 (1994)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.134154Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 82b96874-b93a-4bd6-804b-c876d3c5cd6b · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.184820Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a3dbf81d-be70-45bf-b79d-526b0987098f · outbound

This paper cites In: Thiemann, P.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Thiemann, P

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.187926Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 643e1d9d-2ea0-4722-8307-ff914764b4c7 · outbound

This paper cites Nature 521(7553), 452–459 (2015) 16 T.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Nature 521(7553), 452–459 (2015) 16 T

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.127748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 91262231-39f3-453d-bd42-56b8305b676e · outbound

This paper cites In: Proceedin gs of POPL’09.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedin gs of POPL’09

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.175953Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation a25ec9be-5ed6-4e5e-bda0-f72a0db619dd · outbound

This paper cites ACM Trans.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism ACM Trans

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.137164Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 98043887-d6f7-4551-a41d-8696957bc454 · outbound

This paper cites In: Proceedings of ICALP 2015.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of ICALP 2015

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.121550Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d89ec2f6-30ac-42a9-944b-8f06280aedad · outbound

This paper cites Acta Inf.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Acta Inf

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.115156Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b8d77f16-563e-4e50-971a-f1db1e989207 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.124549Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation df0fe931-1190-4ee1-a78a-270ea14f0221 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.105761Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2e1c9287-405c-4444-8ff7-0ff5755d2237 · outbound

This paper cites In: Proceedings of STOC 1982.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of STOC 1982

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.108835Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 2ecdead1-945e-473f-abfc-78eebeac1092 · outbound

This paper cites In: Proceedings of STOC 1988.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of STOC 1988

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.112065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation f1a33b4e-1ddf-4143-9806-a1e053cdc4e2 · outbound

This paper cites In: Proceedings of POPL 2011.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of POPL 2011

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.118323Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation b5f8310f-ddaf-4999-8f43-36acd4cbf277 · outbound

This paper cites In: Proceedings of ICALP 2018.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of ICALP 2018

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.150219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 24cc070d-879f-4212-9513-2cb5b82fc7eb · outbound

This paper cites In: Proceedings of LICS 2019 (2 019).

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of LICS 2019 (2 019)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.179075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 32c5374a-e373-497d-9491-e92d96b02866 · outbound

This paper cites Technical re- port 62 (1976).

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Technical re- port 62 (1976)

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.162648Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 94980bac-7813-4f20-847b-3e28abebf8c4 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 39

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:40.146982Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 863e1ed2-c2e0-4d7c-a4b2-367777b26410 · outbound

This paper cites In: Proceedings of PLDI’1 8.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proceedings of PLDI’1 8

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.191081Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 8a8c5764-92ac-41b4-9ff5-dddfafe19a41 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:39.887626Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation d3560912-a2a4-4d60-a7f2-285bd20df754 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:39.890331Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 9a261bfa-a496-4b6d-9ece-4afe97ff5301 · outbound

This paper cites ACM Trans.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism ACM Trans

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:40.086901Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 560ae925-1326-422f-ba7d-445d8231f808 · outbound

This paper cites In: Proccedin gs of CA V 2014.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism In: Proccedin gs of CA V 2014

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:39.879435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1029896f-e0cd-4f7c-b77d-2be693e39a23 · outbound

This paper cites The MIT Press (2005).

Deciding Fast Termination for Probabilistic VASS with Nondeterminism The MIT Press (2005)

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:39.882409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 95b2fc60-8cac-45e1-aabf-8de3fcfe9b2d · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:39.884989Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 1b985585-f1cd-4993-b2e6-e057650e02a9 · outbound

This paper cites ACM Tran s.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism ACM Tran s

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:39.893225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation 091c372d-b15e-408a-8420-92b7d838470d · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:39.896335Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation be2fcdbc-1256-4d0d-b0d5-5339c3e655f9 · outbound

This paper cites an unresolved cited work.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-05-24T15:54:39.902262Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Observation cd6b0731-17f2-4873-8d3e-c8fdba71cb3b · outbound

This paper cites First, we consider the demonic case.

Deciding Fast Termination for Probabilistic VASS with Nondeterminism First, we consider the demonic case

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-05-24T15:54:39.899098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-06T06:34:29.942622+00:00.

Pith citing papers

No inbound Pith citation observations are available.