Paper Citation Record · LEDGER

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems

As of 14 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 2 inbound Pith citation observations for arXiv:2507.02213.

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

pith.paper-citation-record.v1
2507.02213 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T20:53:53.126685Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 2 of 2 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-05-13T21:47:55.704455Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Reference resolution

29 of 29 outbound references displayed

verified exact4
verified fuzzy20
unresolved5
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

0
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

Observation 347ff60a-378a-414a-8796-828cb3514de6 · outbound

This paper cites Formal control synthesis for stochastic neural network dynamic models.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Formal control synthesis for stochastic neural network dynamic models

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:57.039016Z

Source-reported events for the cited work

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

Observation 5c25cf48-c4a5-4a5f-8d5c-683b8091227e · outbound

This paper cites Set propagation techniques for reachability analysis.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Set propagation techniques for reachability analysis

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:56.908228Z

Source-reported events for the cited work

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

Observation d4a4a76f-56e0-4f7e-8a42-0e46e35c0830 · outbound

This paper cites Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:53:54.025877Z

Source-reported events for the cited work

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

Observation f349cbc8-6629-4605-998c-edb60bde3bfa · outbound

This paper cites Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Probabilities are not enough: Formal controller synthesis for stochastic dynamical models with epistemic uncertainty

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:56.767748Z

Source-reported events for the cited work

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

Observation 952fcf7e-575d-4384-be8e-08fc8b266ea3 · outbound

This paper cites Sampling-based robust control of autonomous systems with non-gaussian noise.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Sampling-based robust control of autonomous systems with non-gaussian noise

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:56.638878Z

Source-reported events for the cited work

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

Observation 143d93aa-bcc6-44f4-bf0a-141f6c0b3de2 · outbound

This paper cites Stochastic optimal control: the discrete-time case, volume 5.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Stochastic optimal control: the discrete-time case, volume 5

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:56.504759Z

Source-reported events for the cited work

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

Observation a3778d6a-ddfd-4bd0-acaa-bdcd9b82201a · outbound

This paper cites Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:56.386427Z

Source-reported events for the cited work

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

Observation 27210078-20fb-420f-bd48-6f4ecad16c88 · outbound

This paper cites A learner-verifier framework for neural network controllers and certificates of stochastic systems.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems A learner-verifier framework for neural network controllers and certificates of stochastic systems

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:56.216722Z

Source-reported events for the cited work

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

Observation 1dcf359c-ef64-471a-95d4-14ad6099df36 · outbound

This paper cites Data-driven Interval MDP for Robust Control Synthesis.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Data-driven Interval MDP for Robust Control Synthesis

Reference 9

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:53:53.836330Z

Source-reported events for the cited work

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

Observation 9de6088e-6928-4bd9-89eb-2e57dd2cef80 · outbound

This paper cites Efficient verification for stochastic mixed monotone systems.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Efficient verification for stochastic mixed monotone systems

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:56.043866Z

Source-reported events for the cited work

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

Observation dca61c4e-88e7-4d28-b377-f84c9b76de81 · outbound

This paper cites Abstraction-based synthesis for stochastic systems with omega-regular objectives.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Abstraction-based synthesis for stochastic systems with omega-regular objectives

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:55.901381Z

Source-reported events for the cited work

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

Observation e81c6987-bb91-4150-bf36-417296799f97 · outbound

This paper cites Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:55.758574Z

Source-reported events for the cited work

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

Observation 019e6398-b71e-44a1-89ce-7c333065d998 · outbound

This paper cites Bounded- parameter markov decision processes.Artificial Intelligence, 122(1-2):71–109, 2000.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Bounded- parameter markov decision processes.Artificial Intelligence, 122(1-2):71–109, 2000

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:55.607869Z

Source-reported events for the cited work

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

Observation 8478c159-8b76-4476-a225-ba64ff74cba9 · outbound

This paper cites Efficientstrategysynthesisfor switched stochastic systems with distributional uncertainty.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Efficientstrategysynthesisfor switched stochastic systems with distributional uncertainty

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:55.456626Z

Source-reported events for the cited work

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

Observation 4f059c7c-bbd7-4cc1-91fd-0f708688941c · outbound

This paper cites Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:55.301934Z

Source-reported events for the cited work

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

Observation eb861261-0f8a-42c9-9fe5-c1498a98d3e1 · outbound

This paper cites Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Temporal Logic Control for Nonlinear Stochastic Systems Under Unknown Disturbances

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T20:53:51.869134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da1c5e05-38f6-45f3-a146-2e49541e2cae · outbound

This paper cites Formal verification and synthesis for discrete-time stochastic systems.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Formal verification and synthesis for discrete-time stochastic systems

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:55.173044Z

Source-reported events for the cited work

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

Observation dd78bf49-1051-456b-9027-178c37564473 · outbound

This paper cites A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-06T20:53:52.008212Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6b77254-2103-4900-bde8-c56d644d5002 · outbound

This paper cites Formal and efficientsynthesisforcontinuous-timelinearstochastichybrid processes.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Formal and efficientsynthesisforcontinuous-timelinearstochastichybrid processes

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:54.996779Z

Source-reported events for the cited work

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

Observation 229a3cb0-d9cd-48a9-9f96-d076f53b26c3 · outbound

This paper cites Constructing mdp abstractions using data with formal guarantees.IEEEControlSystemsLetters , 7:460–465, 2022.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Constructing mdp abstractions using data with formal guarantees.IEEEControlSystemsLetters , 7:460–465, 2022

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:54.830926Z

Source-reported events for the cited work

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

Observation 936b444e-834d-4ef8-a7c6-8e62dc41ab3a · outbound

This paper cites Scalable control synthesis for stochastic systems via structural IMDP abstractions.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Scalable control synthesis for stochastic systems via structural IMDP abstractions

Reference 21

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:53:53.617711Z

Source-reported events for the cited work

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

Observation cc6415dd-f614-4cc9-99ef-22fb7a55a75b · outbound

This paper cites Intervalmdp.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Intervalmdp

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:54.611581Z

Source-reported events for the cited work

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

Observation 09ce8264-3403-45fc-b79f-faa15079c716 · outbound

This paper cites A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems A data-driven approach for safety quantification of non-linear stochastic systems with unknown additive noise distribution

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T20:53:52.435560Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6456e3af-399a-437c-abe5-dae271a3b972 · outbound

This paper cites Safety guarantees for neural network dynamic systems via stochastic barrier functions.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Safety guarantees for neural network dynamic systems via stochastic barrier functions

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:54.435054Z

Source-reported events for the cited work

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

Observation e0efe3d5-f4f0-4e6c-ab37-f89b2b295aba · outbound

This paper cites Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Data-Driven Yet Formal Policy Synthesis for Stochastic Nonlinear Dynamical Systems

Reference 25

Resolution: verified exact; local_arxiv, observed 2026-08-06T20:53:53.402712Z

Source-reported events for the cited work

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

Observation 47a45cc0-7ea1-4214-b32d-d634dece972c · outbound

This paper cites Data-driven verification and synthesis of stochastic systems via barrier certificates.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Data-driven verification and synthesis of stochastic systems via barrier certificates

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-06T20:53:52.683141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c5ad492-934e-44cb-815a-aaeec1012822 · outbound

This paper cites Formal abstraction of general stochastic systems via noise partitioning.IEEE Control Systems Letters, 2023.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Formal abstraction of general stochastic systems via noise partitioning.IEEE Control Systems Letters, 2023

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:54.291173Z

Source-reported events for the cited work

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

Observation 36305c68-0787-4fe6-86e0-71189aa0d229 · outbound

This paper cites Planning under risk and knightian uncertainty.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Planning under risk and knightian uncertainty

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T20:53:54.161365Z

Source-reported events for the cited work

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

Observation 22849e22-952f-409d-a0e6-c0e5319dd231 · outbound

This paper cites Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty.

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-06T20:53:53.126685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 0a400dfd-2d9b-4e26-9190-0b0405ffb90e · inbound

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization cites this paper.

Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-05-13T21:48:18.944932Z

Source-reported events for the cited work

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

Observation 161ece4d-864f-4716-be08-ee4bbcebe72e · inbound

On the Optimality of Uncertain MDP Abstractions cites this paper.

On the Optimality of Uncertain MDP Abstractions Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems

Reference 12

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T11:36:02.263850Z

Source-reported events for the cited work

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