Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T13:48:05.851529Z
Paper Citation Record · LEDGER
On the Optimality of Uncertain MDP Abstractions
As of 11 August 2026, this Paper Citation Record lists 27 of 27 outbound references and 0 inbound Pith citation observations for arXiv:2604.13377.
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-11T06:34:44.6726+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
27 of 27 outbound references displayed
- verified exact3
- verified fuzzy23
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation ad3b16bc-93b5-4348-8831-bbf29190f595 · outbound
This paper cites Temporal logic control for nonlinear stochastic systems under unknown disturbances.
On the Optimality of Uncertain MDP Abstractions Temporal logic control for nonlinear stochastic systems under unknown disturbances
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.623098Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 48174169-9134-42d9-870e-b0b0ccb73d25 · outbound
This paper cites Approximate model checking of stochastic hybrid systems.
On the Optimality of Uncertain MDP Abstractions Approximate model checking of stochastic hybrid systems
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.605605Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 58f4aa32-719a-4a71-978e-da0a3611d7e7 · outbound
This paper cites Formal verification and synthesis for discrete-time stochastic systems.
On the Optimality of Uncertain MDP Abstractions Formal verification and synthesis for discrete-time stochastic systems
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.599061Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 22ed63a2-ee95-48ae-8f01-3e50dbaf3746 · outbound
This paper cites Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems.
On the Optimality of Uncertain MDP Abstractions Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.586220Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation dad01dcd-19dc-43b3-8bd4-9ec664424d77 · outbound
This paper cites Formal control synthesis for stochastic neural network dynamic models.
On the Optimality of Uncertain MDP Abstractions Formal control synthesis for stochastic neural network dynamic models
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.596027Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3faf8531-41c2-4ba1-89cc-0c972a8850a1 · outbound
This paper cites Abstraction-based synthesis for stochastic systems with omega-regular objectives.
On the Optimality of Uncertain MDP Abstractions Abstraction-based synthesis for stochastic systems with omega-regular objectives
Reference 6
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.589368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 059bb1e3-8479-4c41-83fa-a18f73b9d338 · outbound
This paper cites Safe learning for uncertainty-aware planning via interval mdp abstraction.
On the Optimality of Uncertain MDP Abstractions Safe learning for uncertainty-aware planning via interval mdp abstraction
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.616967Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7d0d7563-9116-4354-af6c-4cd92df6366d · outbound
This paper cites Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction.
On the Optimality of Uncertain MDP Abstractions Temporal logic control of nonlinear stochastic systems using a piecewise-affine abstraction
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.580007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3b565f45-9a89-485a-a190-94498c49e75d · outbound
This paper cites Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances.
On the Optimality of Uncertain MDP Abstractions Data-driven strategy synthesis for stochastic systems with unknown nonlinear disturbances
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.613494Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation ca1d6477-3359-402b-8cb3-ada4d18345c1 · outbound
This paper cites Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics.
On the Optimality of Uncertain MDP Abstractions Data-Driven Abstraction and Synthesis for Stochastic Systems with Unknown Dynamics
Reference 10
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T11:36:02.281013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 6b35a1d3-03c8-4225-b0f2-492127957214 · outbound
This paper cites Formal abstraction of general stochastic systems via noise partitioning.
On the Optimality of Uncertain MDP Abstractions Formal abstraction of general stochastic systems via noise partitioning
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.592660Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 161ece4d-864f-4716-be08-ee4bbcebe72e · outbound
This paper cites Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems.
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-11T06:34:44.6726+00:00.
Observation 1b7d6ad5-6a03-4361-bd6c-50bea701776f · outbound
This paper cites Efficient strategy synthesis for switched stochastic systems with dis- tributional uncertainty.
On the Optimality of Uncertain MDP Abstractions Efficient strategy synthesis for switched stochastic systems with dis- tributional uncertainty
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.602364Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 75261326-b984-4b08-8594-977249ca7b28 · outbound
This paper cites Enhanc- ing data-driven stochastic control via bundled interval mdp.
On the Optimality of Uncertain MDP Abstractions Enhanc- ing data-driven stochastic control via bundled interval mdp
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.582769Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 182450a1-ba79-4458-802a-2020201108ed · outbound
This paper cites Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes.
On the Optimality of Uncertain MDP Abstractions Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.608895Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 19aab164-18cd-49fd-a372-8ed30246220c · outbound
This paper cites Linear temporal logic and linear dynamic logic on finite traces.
On the Optimality of Uncertain MDP Abstractions Linear temporal logic and linear dynamic logic on finite traces
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.571176Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 637eac16-160f-4ba7-9acd-2697630833aa · outbound
This paper cites Robust dynamic programming.
On the Optimality of Uncertain MDP Abstractions Robust dynamic programming
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.574107Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 62f5b766-f18a-4add-9e77-e4da6aff1654 · outbound
This paper cites Linear temporal logic and linear dynamic logic on finite traces.
On the Optimality of Uncertain MDP Abstractions Linear temporal logic and linear dynamic logic on finite traces
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.620211Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 74ebacaf-a30c-4a82-a24f-692a93d76d2b · outbound
This paper cites Bertsekas and S.
On the Optimality of Uncertain MDP Abstractions Bertsekas and S
Reference 19
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.567921Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 8666f582-caed-4bd5-adf8-c949d72054d3 · outbound
This paper cites Bounded-parameter markov deci- sion processes.
On the Optimality of Uncertain MDP Abstractions Bounded-parameter markov deci- sion processes
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.564644Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 50daf979-0e64-43f4-8dc8-4dcde8eea1c9 · outbound
This paper cites Robust control of uncertain markov decision processes with temporal logic specifications.
On the Optimality of Uncertain MDP Abstractions Robust control of uncertain markov decision processes with temporal logic specifications
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.555990Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 61707753-8909-48de-9ab2-cadbd513c762 · outbound
This paper cites Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.
On the Optimality of Uncertain MDP Abstractions Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression
Reference 22
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T11:36:02.255743Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 1a7fb391-5233-49b0-aad0-236f499ac263 · outbound
This paper cites Data-driven control via conditional mean embeddings: Formal guarantees via uncertain mdp abstraction.
On the Optimality of Uncertain MDP Abstractions Data-driven control via conditional mean embeddings: Formal guarantees via uncertain mdp abstraction
Reference 23
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T11:36:02.269633Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 07a869f5-3538-4169-9e89-08e58a6eed31 · outbound
This paper cites Learning task specifications from demonstrations.
On the Optimality of Uncertain MDP Abstractions Learning task specifications from demonstrations
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.561615Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 3da78fa1-6b33-4bab-b989-12a3a62a2d19 · outbound
This paper cites Villaniet al.,Optimal transport: old and new.
On the Optimality of Uncertain MDP Abstractions Villaniet al.,Optimal transport: old and new
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.552784Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation 7e36a4d8-f42e-47da-8e71-f6201c19ee4d · outbound
This paper cites Extension of range of functions.
On the Optimality of Uncertain MDP Abstractions Extension of range of functions
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.558827Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Observation e4bda2b9-3ee9-4e62-940d-aadc86b90b53 · outbound
This paper cites Strategy synthe- sis for partially-known switched stochastic systems.
On the Optimality of Uncertain MDP Abstractions Strategy synthe- sis for partially-known switched stochastic systems
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-18T21:42:52.576985Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-11T06:34:44.6726+00:00.
Pith citing papers
No inbound Pith citation observations are available.