Paper Citation Record · LEDGER

Omega-regular Verification and Control for Distributional Specifications in MDPs

As of 8 August 2026, this Paper Citation Record lists 35 of 35 outbound references and 0 inbound Pith citation observations for arXiv:2507.04286.

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

pith.paper-citation-record.v1
2507.04286 v1

Coverage vector

measured 35 of 35 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:01:11.293505Z

measured 35 of 35 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+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

35 of 35 outbound references displayed

verified exact9
verified fuzzy8
unresolved16
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation a9e67dd6-3c7f-4717-b4f4-933ef2087a51 · outbound

This paper cites Stochastic omega-regular verification and control with supermartingales.

Omega-regular Verification and Control for Distributional Specifications in MDPs Stochastic omega-regular verification and control with supermartingales

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:08.709335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 94ef0f35-5208-4033-b0a1-7fe4507a0920 · outbound

This paper cites Akshay, Blaise Genest, and P.

Omega-regular Verification and Control for Distributional Specifications in MDPs Akshay, Blaise Genest, and P

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:08.763200Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b51f3f9d-029f-4218-87af-0c9196a4dbbf · outbound

This paper cites Akshay, Timos Antonopoulos, Jo \" e l Ouaknine, and James Worrell.

Omega-regular Verification and Control for Distributional Specifications in MDPs Akshay, Timos Antonopoulos, Jo \" e l Ouaknine, and James Worrell

Reference 3

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.457612Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 23cf078b-ee98-49f6-912c-0355e1b57001 · outbound

This paper cites Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic.

Omega-regular Verification and Control for Distributional Specifications in MDPs Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:08.895762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12ef776b-3e34-41c4-b4ed-aaa1545e4a6c · outbound

This paper cites Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic.

Omega-regular Verification and Control for Distributional Specifications in MDPs Akshay, Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:12.081209Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fbd310b2-c56d-4e0b-bf9b-b462e283c740 · outbound

This paper cites Akshay, Blaise Genest, and Nikhil Vyas.

Omega-regular Verification and Control for Distributional Specifications in MDPs Akshay, Blaise Genest, and Nikhil Vyas

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:09.032923Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb3bfa77-df69-486f-85e4-72b8615f6d1e · outbound

This paper cites Polynomial reachability witnesses via stellens \" a tze.

Omega-regular Verification and Control for Distributional Specifications in MDPs Polynomial reachability witnesses via stellens \" a tze

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:09.083570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ebe8fdad-c732-4772-90b2-342a7311c640 · outbound

This paper cites Principles of model checking.

Omega-regular Verification and Control for Distributional Specifications in MDPs Principles of model checking

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:09.199723Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6cf6ffd-286b-4f49-9a83-eb8ee2c7f0a2 · outbound

This paper cites On the solvability of anonymous partial grids exploration by mobile robots.

Omega-regular Verification and Control for Distributional Specifications in MDPs On the solvability of anonymous partial grids exploration by mobile robots

Reference 9

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.439981Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ec1b0933-17bf-4085-9bb6-75f1be163e40 · outbound

This paper cites A logic of probability with decidable model checking.

Omega-regular Verification and Control for Distributional Specifications in MDPs A logic of probability with decidable model checking

Reference 10

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.427596Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b7199dc4-7a92-4b0b-93ca-d3d34eea79e7 · outbound

This paper cites Model checking MDP s with a unique compact invariant set of distributions.

Omega-regular Verification and Control for Distributional Specifications in MDPs Model checking MDP s with a unique compact invariant set of distributions

Reference 11

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.413431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 205c7a0b-b00b-40d1-a3c7-399e9900237c · outbound

This paper cites Probabilistic program analysis with martingales.

Omega-regular Verification and Control for Distributional Specifications in MDPs Probabilistic program analysis with martingales

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:09.603942Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b567d599-ca1c-404b-8029-0b259eea1499 · outbound

This paper cites Termination analysis of probabilistic programs through positivstellensatz's.

Omega-regular Verification and Control for Distributional Specifications in MDPs Termination analysis of probabilistic programs through positivstellensatz's

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:09.664222Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1eae9aeb-1f5b-4c60-a50f-d60790a8f6bf · outbound

This paper cites Polynomial invariant generation for non-deterministic recursive programs.

Omega-regular Verification and Control for Distributional Specifications in MDPs Polynomial invariant generation for non-deterministic recursive programs

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:09.726560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4d95481-e1d5-46f2-bd10-d7753fdc7296 · outbound

This paper cites Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs.

Omega-regular Verification and Control for Distributional Specifications in MDPs Algorithmic analysis of qualitative and quantitative termination problems for affine probabilistic programs

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:09.760097Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c357e97-5c1b-47f5-9e36-86e0d2c5e9a5 · outbound

This paper cites PolyQEnt: A Polynomial Quantified Entailment Solver.

Omega-regular Verification and Control for Distributional Specifications in MDPs PolyQEnt: A Polynomial Quantified Entailment Solver

Reference 16

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:01:11.724362Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 231e9a5e-d263-4876-bd5d-387cb914ec1c · outbound

This paper cites Sound and complete witnesses for template-based verification of LTL properties on polynomial programs.

Omega-regular Verification and Control for Distributional Specifications in MDPs Sound and complete witnesses for template-based verification of LTL properties on polynomial programs

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:10.040880Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 91a2d021-e687-4ef3-a2dc-44ee6ae5a85c · outbound

This paper cites Sound and complete certificates for quantitative termination analysis of probabilistic programs.

Omega-regular Verification and Control for Distributional Specifications in MDPs Sound and complete certificates for quantitative termination analysis of probabilistic programs

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:12.050054Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2099c1d0-2e3b-49ed-a1e6-7765d981bbe9 · outbound

This paper cites Stochastic invariants for probabilistic termination.

Omega-regular Verification and Control for Distributional Specifications in MDPs Stochastic invariants for probabilistic termination

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:10.458258Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57d90b95-aae2-483e-bad3-9452f7f8361d · outbound

This paper cites The MathSAT5 SMT Solver.

Omega-regular Verification and Control for Distributional Specifications in MDPs The MathSAT5 SMT Solver

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:12.035409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a54d43aa-d40b-4de6-b5f6-e3d2a8daba4d · outbound

This paper cites Linear invariant generation using non-linear constraint solving.

Omega-regular Verification and Control for Distributional Specifications in MDPs Linear invariant generation using non-linear constraint solving

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:10.755844Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c19e5ac-b2c6-4e75-850c-e17d20c43fd2 · outbound

This paper cites Synthesis of linear ranking functions.

Omega-regular Verification and Control for Distributional Specifications in MDPs Synthesis of linear ranking functions

Reference 22

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.378973Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 48c593cd-00b5-448c-999e-487424b2b033 · outbound

This paper cites an unresolved cited work.

Omega-regular Verification and Control for Distributional Specifications in MDPs Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:11.236809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b14faead-4b8b-444f-a58e-4911ec2d05cb · outbound

This paper cites From spot 2.0 to spot 2.10: What’s new? In International Conference on Computer Aided Verification , pages 174--187.

Omega-regular Verification and Control for Distributional Specifications in MDPs From spot 2.0 to spot 2.10: What’s new? In International Conference on Computer Aided Verification , pages 174--187

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:12.016079Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 419668fd-9e83-4b9e-9dc4-78e9b386fcf3 · outbound

This paper cites Theorie der einfachen ungleichungen.

Omega-regular Verification and Control for Distributional Specifications in MDPs Theorie der einfachen ungleichungen

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:12.004897Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 11136437-7f67-48e5-8bcf-5e7d88a387fa · outbound

This paper cites Distributional reachability for M arkov decision processes: Theory and applications.

Omega-regular Verification and Control for Distributional Specifications in MDPs Distributional reachability for M arkov decision processes: Theory and applications

Reference 26

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:01:11.645407Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 25198b5f-d87a-42b0-b72c-621c63989756 · outbound

This paper cites Representing polynomials by positive linear functions on compact convex polyhedra.

Omega-regular Verification and Control for Distributional Specifications in MDPs Representing polynomials by positive linear functions on compact convex polyhedra

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:11.990714Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a42e25f2-91ec-40d1-aaa6-868eb9ce06c1 · outbound

This paper cites Henzinger, Maria Mateescu, and Verena Wolf.

Omega-regular Verification and Control for Distributional Specifications in MDPs Henzinger, Maria Mateescu, and Verena Wolf

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:11.266914Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2c38316-5898-4df4-ada1-93b8a32df8eb · outbound

This paper cites Reasoning about MDP s as transformers of probability distributions.

Omega-regular Verification and Control for Distributional Specifications in MDPs Reasoning about MDP s as transformers of probability distributions

Reference 29

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.359967Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 128e03c2-c113-4b82-8251-0cab9865059e · outbound

This paper cites Kwiatkowska, Gethin Norman, and David Parker.

Omega-regular Verification and Control for Distributional Specifications in MDPs Kwiatkowska, Gethin Norman, and David Parker

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:11.977580Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4719d9a1-61e9-421f-8871-ba50b8e0712a · outbound

This paper cites an unresolved cited work.

Omega-regular Verification and Control for Distributional Specifications in MDPs Unresolved cited work

Reference 31

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.348996Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5cad7461-d48b-4779-b434-e5a6cc8b8a09 · outbound

This paper cites Decision problems for linear recurrence sequences.

Omega-regular Verification and Control for Distributional Specifications in MDPs Decision problems for linear recurrence sequences

Reference 32

Resolution: verified exact; doi, observed 2026-08-06T20:01:11.336232Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 31fe3f09-3754-4553-8de0-fb2be8b900a4 · outbound

This paper cites an unresolved cited work.

Omega-regular Verification and Control for Distributional Specifications in MDPs Unresolved cited work

Reference 33

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T20:01:11.574987Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7693615d-fce2-4ef7-a54a-5f17b1b74474 · outbound

This paper cites Ranking and repulsing supermartingales for reachability in randomized programs.

Omega-regular Verification and Control for Distributional Specifications in MDPs Ranking and repulsing supermartingales for reachability in randomized programs

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T20:01:11.289854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d004ebbc-80fc-4e06-96f0-1928f5d820e1 · outbound

This paper cites Henzinger, and Krishnendu Chatterjee.

Omega-regular Verification and Control for Distributional Specifications in MDPs Henzinger, and Krishnendu Chatterjee

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:01:11.963940Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Pith citing papers

No inbound Pith citation observations are available.