Paper Citation Record · LEDGER

Scalable control synthesis for stochastic systems via structural IMDP abstractions

As of 14 August 2026, this Paper Citation Record lists 61 of 61 outbound references and 1 inbound Pith citation observation for arXiv:2411.11803.

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

pith.paper-citation-record.v1
2411.11803 v2

Coverage vector

measured 61 of 61 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-12T18:16:42.835827Z

measured 62 of 62 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 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

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

measured 0 of 1 external citation measurements

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

Source: pith, observed 2026-08-06T20:53:53.513558Z

Reference resolution

61 of 61 outbound references displayed

verified exact3
verified fuzzy4
unresolved48
parse uncertain0
malformed identifier2
metadata mismatch4

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation b60349af-69b7-417c-bd1d-f036157673da · outbound

This paper cites Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hart- manns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, and More Authors.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hart- manns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, and More Authors

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:16:44.390163Z

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 9b56ce86-85a7-4668-9c51-f68952649424 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.373678Z

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 9061bcf0-88d0-40af-873b-ec0bfd8f2b78 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.356891Z

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 0c58c79f-9ba9-45ba-ab33-0f1bf13a8e76 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.340510Z

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 261bcb60-1559-4188-afa3-31fbbb4a291f · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.324269Z

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 e1a67cf8-5eca-404c-9672-2ce3cb259b6f · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.306785Z

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 48f61eb4-4405-4dbd-a28e-acdb69e212b6 · outbound

This paper cites Barto, Richard S.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Barto, Richard S

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.551605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c1a49d1-bb2e-4287-ab7a-486dfe76af72 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.289017Z

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 a6c7ddb8-1a4e-499b-9446-5f044c273010 · outbound

This paper cites Julia: A Fast Dynamic Language for Technical Computing.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Julia: A Fast Dynamic Language for Technical Computing

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.561160Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35c2be31-fdb9-423e-807c-05c1a84934ea · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.271131Z

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 d39751d5-1dd4-4349-9375-6cecc2a1c445 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.571996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8143aa51-1f51-48fb-a7fc-b37c39ffd92d · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.254855Z

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 73a0cd0b-f3c7-4f8a-8111-8c2c4b7adb73 · outbound

This paper cites StocHy: automated verification and synthesis of stochastic processes.

Scalable control synthesis for stochastic systems via structural IMDP abstractions StocHy: automated verification and synthesis of stochastic processes

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-12T18:16:43.606289Z

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 fc05a2f0-5219-41f9-b397-cf180e5dde12 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 14

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.238673Z

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 167bcd99-95df-4026-82cc-d1f13d223db5 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 15

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.221150Z

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 49ba552a-9a9a-45b7-b4f7-52d5003d6001 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.204476Z

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 84248c24-4dfc-42ff-b98c-8d23bb14d9fc · outbound

This paper cites Cormen, Charles E.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Cormen, Charles E

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.604929Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a76880f6-0563-4d38-984a-6813a3ac5c70 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.160356Z

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 a62c9f81-9305-48cd-ab64-13ba8b6ee545 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 19

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T18:16:44.144420Z

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 44b240f7-a242-4f23-ad36-c3f82da10920 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.127236Z

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 d0286069-b37b-409d-9730-5cafb5fb0a10 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.110936Z

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 bf1b55ea-af14-40ec-9495-7af165887bad · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.635993Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf82ac64-2568-4434-ac89-8240e75e4963 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.093756Z

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 d92c7988-a151-4637-9935-01d6cb13213c · outbound

This paper cites Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Formal Verification of Unknown Dynamical Systems via Gaussian Process Regression

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.647347Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01c7a8b6-992c-44ab-8543-342a2bdb78e2 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.077934Z

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 f051a9f4-b416-4814-86b0-9cc2da123ebe · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.061121Z

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 eb06804f-52c8-495f-a1c5-4784302043ec · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.044526Z

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 db00985a-436a-4c64-8bec-4501cfb3622b · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.027416Z

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 87709bf6-2e41-47a3-9945-47a1395e3f08 · outbound

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

Scalable control synthesis for stochastic systems via structural IMDP abstractions A Unifying Perspective for Safety of Stochastic Systems: From Barrier Functions to Finite Abstractions

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.674277Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d28fac9e-edb8-4164-80d0-d12869114f54 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 30

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:44.010821Z

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 87fdeb28-b745-4882-a0bb-5b73b0a707dc · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.992425Z

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 c1f04518-99d8-4b23-a372-f9b473454912 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.690865Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff82ef2a-e85e-453e-8ef0-a90577dc47d3 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 33

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.976019Z

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 6260b967-7ad6-4345-9ac6-ee509e21ba11 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 34

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.959672Z

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 0346a860-b8f7-4736-acd1-847bb3576ad0 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 35

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T18:16:43.473225Z

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 809f9ec9-b2ac-44fe-b3a9-e607b887605e · outbound

This paper cites Calvert, and Luca Laurenti.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Calvert, and Luca Laurenti

Reference 36

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T18:16:43.399795Z

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 b2464ef6-c917-436c-a19a-f55a22831c16 · outbound

This paper cites IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes.

Scalable control synthesis for stochastic systems via structural IMDP abstractions IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes

Reference 37

Resolution: verified exact; local_arxiv, observed 2026-08-12T18:16:43.323790Z

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 f42e71e3-1651-4b68-a118-e042aecf86d3 · outbound

This paper cites Calvert, Alessandro Abate, and Luca Laurenti.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Calvert, Alessandro Abate, and Luca Laurenti

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.722866Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 43f4bba3-5593-41a7-b885-aeba7b63d3a1 · outbound

This paper cites Piecewise Stochastic Barrier Functions.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Piecewise Stochastic Barrier Functions

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.728198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95664788-da76-4c72-a8c7-9b5dd137b890 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.942646Z

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 f6aba0ff-fa84-404c-8ec2-60ec9795e8a0 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 41

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.925606Z

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 edfb8957-ed3e-49a0-8d96-08c5790b0e43 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.908141Z

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 2fe62caa-9d7c-4d07-9b18-577cd1a7a47b · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.891763Z

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 6c554601-00a9-49b9-a05f-ad888d0c1764 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 44

Resolution: malformed identifier; no resolver link, observed 2026-08-12T18:16:42.754545Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80142a68-734f-4955-95b9-5b29b8f5be40 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 45

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.874803Z

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 c90cfa14-98c7-4cce-99fc-91fa8048723c · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.764789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39c66937-776c-464b-b782-86e7517ec39b · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 47

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T18:16:43.118890Z

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 ea5039aa-da58-4ab1-9313-89ea4f67b2f4 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 48

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.857775Z

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 a7744d18-0378-454e-8e26-5606af01ef1a · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 49

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.840429Z

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 9339abee-c601-42d0-ac3f-490616802724 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 50

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.823931Z

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 4b21f306-eaf2-4900-b1f6-f64e0c43390f · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.789361Z

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 33314cb9-c9e2-4cfc-a409-61f12fdee978 · outbound

This paper cites van Huijgevoort and Sofie Haesaert.

Scalable control synthesis for stochastic systems via structural IMDP abstractions van Huijgevoort and Sofie Haesaert

Reference 52

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T18:16:43.050072Z

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 df28c2c3-6871-4fa7-832c-4bf41417e72d · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.804057Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1f8c7bc-0bf1-4b65-ac21-8880776ec4c8 · outbound

This paper cites Vinod, Joseph D.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Vinod, Joseph D

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:16:43.771925Z

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 a109b46c-85d1-4c3f-9ca4-935102e36ea4 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-12T18:16:42.815409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 98a4ad74-17e1-4b46-be0a-3bfb7a362e05 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 56

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.744657Z

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 12bb3094-338c-49cd-a8d3-f3a1c21d91c4 · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 57

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.728304Z

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 febac915-7e94-42fc-996e-5036af557e4a · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 58

Resolution: verified exact; doi, observed 2026-08-12T18:16:42.876478Z

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 3122ba6b-592e-42e2-ae5b-e92b97e9af7b · outbound

This paper cites an unresolved cited work.

Scalable control synthesis for stochastic systems via structural IMDP abstractions Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:16:43.711934Z

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 97151f93-b751-4072-946a-31e5819090d4 · outbound

This paper cites The MIT Press.

Scalable control synthesis for stochastic systems via structural IMDP abstractions The MIT Press

Reference 2001

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:16:44.177051Z

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 acdca777-6d29-45ba-8e09-97a42b9f5864 · outbound

This paper cites In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III.

Scalable control synthesis for stochastic systems via structural IMDP abstractions In Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:16:43.806945Z

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.

Pith citing papers

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

Beyond Interval MDPs: Tight and Efficient Abstractions of Stochastic Systems cites this paper.

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.