Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-14T13:49:14.788024Z
Paper Citation Record · LEDGER
Non-deterministic weighted automata evaluated over Markov chains
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.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
12 of 12 outbound references displayed
- verified exact0
- verified fuzzy11
- unresolved1
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation f6ca9c35-ddef-41e8-8d2f-20926aa469b2 · outbound
This paper cites Strategy synthesis for multi-dimensional quantitative objectives.
Non-deterministic weighted automata evaluated over Markov chains Strategy synthesis for multi-dimensional quantitative objectives
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.942854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation b53c1319-b815-4983-bbc7-59faed77e60d · outbound
This paper cites Predicate abstraction and refinement for verifying multi-threaded programs.
Non-deterministic weighted automata evaluated over Markov chains Predicate abstraction and refinement for verifying multi-threaded programs
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.923680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e3177e16-a847-4673-968a-d2f130d3e5c4 · outbound
This paper cites Convex language semantics for nondeterministic probabilistic automata.
Non-deterministic weighted automata evaluated over Markov chains Convex language semantics for nondeterministic probabilistic automata
Reference 1979
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.845790Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 843099ff-7ef4-4e5a-9c71-89e043561953 · outbound
This paper cites Percentile queries in multi- dimensional markov decision processes.
Non-deterministic weighted automata evaluated over Markov chains Percentile queries in multi- dimensional markov decision processes
Reference 2003
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.867869Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation e0781915-255a-4513-9298-9baba8650026 · outbound
This paper cites Non-deterministic weighted automata on random words.
Non-deterministic weighted automata evaluated over Markov chains Non-deterministic weighted automata on random words
Reference 2006
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.887476Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 2ae3e0de-fc9a-498c-8d48-8ce5959b0f87 · outbound
This paper cites Markov chains and unambiguous büchi automata.
Non-deterministic weighted automata evaluated over Markov chains Markov chains and unambiguous büchi automata
Reference 2008
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:15.031135Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation fe3844d0-6311-433b-abda-84ebb7ae7078 · outbound
This paper cites Henzinger, and Jan Otop.
Non-deterministic weighted automata evaluated over Markov chains Henzinger, and Jan Otop
Reference 2010
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.958849Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation d2b3ff05-805a-4b83-b086-807103ef5065 · outbound
This paper cites Henzinger.
Non-deterministic weighted automata evaluated over Markov chains Henzinger
Reference 2012
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.975383Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 93d548ed-93b9-4f52-8d03-4e095e1ed8be · outbound
This paper cites Henzinger.
Non-deterministic weighted automata evaluated over Markov chains Henzinger
Reference 2013
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.998038Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 70d83eec-b135-490a-bc1b-7c2f082120ed · outbound
This paper cites Regular repair of specifications.
Non-deterministic weighted automata evaluated over Markov chains Regular repair of specifications
Reference 2016
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:15.015849Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation 73e11e28-c183-494a-8a08-a22fe0ecb850 · outbound
This paper cites Kwiatkowska, Gethin Norman, and David Parker.
Non-deterministic weighted automata evaluated over Markov chains Kwiatkowska, Gethin Norman, and David Parker
Reference 2017
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-14T13:49:14.904097Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Observation c3d246ef-1a40-40cf-9062-b2dbc3ec2007 · outbound
This paper cites an unresolved cited work.
Non-deterministic weighted automata evaluated over Markov chains Unresolved cited work
Reference 2018
- Resolution
- unresolved
- raw_fallback, observed 2026-08-14T13:49:14.827771Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.