Paper Citation Record · LEDGER

Compositional Reasoning for Parametric Probabilistic Automata

As of 23 August 2026, this Paper Citation Record lists 54 of 54 outbound references and 0 inbound Pith citation observations for arXiv:2506.08525.

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

pith.paper-citation-record.v1
2506.08525 v1

Coverage vector

measured 54 of 54 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-07T05:20:32.943205Z

measured 54 of 54 standing notices

One-hop event checks from named stored sources.

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

54 of 54 outbound references displayed

verified exact17
verified fuzzy5
unresolved28
parse uncertain0
malformed identifier1
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ff13be69-4fe0-4313-a4be-4bb26d42a14c · outbound

This paper cites Henzinger.

Compositional Reasoning for Parametric Probabilistic Automata Henzinger

Reference 1

Resolution: verified exact; doi, observed 2026-08-07T05:20:36.431454Z

Source-reported events for the cited work

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

Observation 8e1d870e-7c8b-4ede-9d9f-858aff0b353c · outbound

This paper cites Compositional parameter synthesis.

Compositional Reasoning for Parametric Probabilistic Automata Compositional parameter synthesis

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:29.064429Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d652f423-4663-4554-a19e-e7270ff419e6 · outbound

This paper cites Principles of model checking.

Compositional Reasoning for Parametric Probabilistic Automata Principles of model checking

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:29.123070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ba5d6e3a-9be6-49a9-82e1-e7a0b8c9b75d · outbound

This paper cites an unresolved cited work.

Compositional Reasoning for Parametric Probabilistic Automata Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-08-07T05:20:36.218361Z

Source-reported events for the cited work

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

Observation 1d0c8217-dc1e-40c4-a8ab-666c8251e55f · outbound

This paper cites Toward implicit learning for the compositional verification of M arkov decision processes.

Compositional Reasoning for Parametric Probabilistic Automata Toward implicit learning for the compositional verification of M arkov decision processes

Reference 5

Resolution: malformed identifier; no resolver link, observed 2026-08-07T05:20:29.251242Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2a8f3bb-fe9b-490a-9397-ea091ec58c4e · outbound

This paper cites Automatic compositional verification of probabilistic safety properties for inter-organisational workflow processes.

Compositional Reasoning for Parametric Probabilistic Automata Automatic compositional verification of probabilistic safety properties for inter-organisational workflow processes

Reference 6

Resolution: verified exact; doi, observed 2026-08-07T05:20:35.891428Z

Source-reported events for the cited work

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

Observation 6ab213d1-b61c-4e42-867b-df06a68044a0 · outbound

This paper cites Compositional reverification of probabilistic safety properties for large-scale complex IT systems.

Compositional Reasoning for Parametric Probabilistic Automata Compositional reverification of probabilistic safety properties for large-scale complex IT systems

Reference 7

Resolution: verified exact; doi, observed 2026-08-07T05:20:35.621140Z

Source-reported events for the cited work

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

Observation 213e2acd-7bd9-4952-8af5-4a0aeb4a3433 · outbound

This paper cites Larsen, and Radu Mardare.

Compositional Reasoning for Parametric Probabilistic Automata Larsen, and Radu Mardare

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:29.542431Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62daaff9-b823-4ab1-ab61-c6ff154cd763 · outbound

This paper cites Parametric LTL on M arkov chains.

Compositional Reasoning for Parametric Probabilistic Automata Parametric LTL on M arkov chains

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:29.630652Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f345807-4673-4d5c-8a50-e4dbf5354582 · outbound

This paper cites CEGAR for compositional analysis of qualitative properties in M arkov decision processes.

Compositional Reasoning for Parametric Probabilistic Automata CEGAR for compositional analysis of qualitative properties in M arkov decision processes

Reference 10

Resolution: verified exact; doi, observed 2026-08-07T05:20:35.372830Z

Source-reported events for the cited work

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

Observation e2bea74d-ecce-4ea2-b5db-0b3d3b5e53c2 · outbound

This paper cites Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith.

Compositional Reasoning for Parametric Probabilistic Automata Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:29.808134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99b49d8b-1388-4941-b731-8ee84f27a107 · outbound

This paper cites Clarke, David E.

Compositional Reasoning for Parametric Probabilistic Automata Clarke, David E

Reference 12

Resolution: verified exact; raw_fallback, observed 2026-08-07T05:20:37.691599Z

Source-reported events for the cited work

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

Observation 242a8ec0-47d4-473c-bf13-c08ed4cde735 · outbound

This paper cites Cobleigh, Dimitra Giannakopoulou, and Corina S.

Compositional Reasoning for Parametric Probabilistic Automata Cobleigh, Dimitra Giannakopoulou, and Corina S

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:29.947106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1f72b6c6-44b3-48e0-ab09-9728f92a91e0 · outbound

This paper cites Symbolic and parametric model checking of discrete-time M arkov chains.

Compositional Reasoning for Parametric Probabilistic Automata Symbolic and parametric model checking of discrete-time M arkov chains

Reference 14

Resolution: verified exact; doi, observed 2026-08-07T05:20:35.091056Z

Source-reported events for the cited work

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

Observation 5a1035a7-dabf-437f-95ff-192805f0243f · outbound

This paper cites Henzinger, and Ranjit Jhala.

Compositional Reasoning for Parametric Probabilistic Automata Henzinger, and Ranjit Jhala

Reference 15

Resolution: verified exact; doi, observed 2026-08-07T05:20:34.856442Z

Source-reported events for the cited work

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

Observation 5fcbd8c2-b9c6-4a41-b657-433505e9aef9 · outbound

This paper cites Pasareanu, and Sharon Shoham.

Compositional Reasoning for Parametric Probabilistic Automata Pasareanu, and Sharon Shoham

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.152223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49fef519-bc4d-44fd-a97b-6d7e017c082d · outbound

This paper cites Kwiatkowska, Moshe Y.

Compositional Reasoning for Parametric Probabilistic Automata Kwiatkowska, Moshe Y

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.192320Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c91c0c7-0a3e-4678-a15c-eb97c5e54517 · outbound

This paper cites Kwiatkowska, and David Parker.

Compositional Reasoning for Parametric Probabilistic Automata Kwiatkowska, and David Parker

Reference 18

Resolution: verified exact; doi, observed 2026-08-07T05:20:34.586389Z

Source-reported events for the cited work

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

Observation e82bb87f-e0ee-4740-bc49-7ea751c6a03c · outbound

This paper cites Kwiatkowska, and David Parker.

Compositional Reasoning for Parametric Probabilistic Automata Kwiatkowska, and David Parker

Reference 19

Resolution: verified exact; doi, observed 2026-08-07T05:20:38.234167Z

Source-reported events for the cited work

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

Observation 29e09db2-e556-49dc-8168-3326430aec2c · outbound

This paper cites Humphrey, and Ufuk Topcu.

Compositional Reasoning for Parametric Probabilistic Automata Humphrey, and Ufuk Topcu

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.406208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation af5ba626-e4dc-476c-9b78-c573bdcd64f0 · outbound

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

Compositional Reasoning for Parametric Probabilistic Automata Kwiatkowska, Gethin Norman, and David Parker

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.473475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 07be158d-9b34-40b7-9150-223719c05d56 · outbound

This paper cites Pasareanu, and Sarai Sheinvald.

Compositional Reasoning for Parametric Probabilistic Automata Pasareanu, and Sarai Sheinvald

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.538470Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c888a032-c6d8-4d6b-830f-3233edc76582 · outbound

This paper cites McMillan, and Zhaohui Fu.

Compositional Reasoning for Parametric Probabilistic Automata McMillan, and Zhaohui Fu

Reference 23

Resolution: verified exact; doi, observed 2026-08-07T05:20:34.328801Z

Source-reported events for the cited work

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

Observation 52b1adfd-24c6-49f2-b326-d6bdcb564185 · outbound

This paper cites Learning weighted assumptions for compositional verification of M arkov decision processes.

Compositional Reasoning for Parametric Probabilistic Automata Learning weighted assumptions for compositional verification of M arkov decision processes

Reference 24

Resolution: verified exact; doi, observed 2026-08-07T05:20:34.079130Z

Source-reported events for the cited work

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

Observation c46f8570-bcfd-4257-b800-9736f9424831 · outbound

This paper cites Henzinger, Shaz Qadeer, and Sriram K.

Compositional Reasoning for Parametric Probabilistic Automata Henzinger, Shaz Qadeer, and Sriram K

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.776512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c07fcc02-e266-40ac-ac3a-3d57f7e5e8ad · outbound

This paper cites an unresolved cited work.

Compositional Reasoning for Parametric Probabilistic Automata Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.827321Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c83677d-f391-4989-ac8f-234105d3b0d9 · outbound

This paper cites Parameter synthesis in M arkov models.

Compositional Reasoning for Parametric Probabilistic Automata Parameter synthesis in M arkov models

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:20:38.220208Z

Source-reported events for the cited work

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

Observation 80f00ccb-745c-475f-b4b0-0d32d1086d67 · outbound

This paper cites Parameter synthesis for M arkov models: covering the parameter space.

Compositional Reasoning for Parametric Probabilistic Automata Parameter synthesis for M arkov models: covering the parameter space

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:30.974689Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32bdcef3-8442-47b0-8ef9-6ea3a788e6a0 · outbound

This paper cites P \' e rez, and Tobias Winkler.

Compositional Reasoning for Parametric Probabilistic Automata P \' e rez, and Tobias Winkler

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.025403Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 330d4400-07f6-4d19-b1ba-4c6125bbfb85 · outbound

This paper cites an unresolved cited work.

Compositional Reasoning for Parametric Probabilistic Automata Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.077445Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 648cb9c2-168b-4822-9dc3-2a75840b96d7 · outbound

This paper cites The probabilistic model checking landscape.

Compositional Reasoning for Parametric Probabilistic Automata The probabilistic model checking landscape

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.148250Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79b150c2-ec45-44cd-9c37-2a258f0ce0f1 · outbound

This paper cites Pasareanu, and Edmund M.

Compositional Reasoning for Parametric Probabilistic Automata Pasareanu, and Edmund M

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.217406Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd17a557-9930-4ee9-925f-57209cbf3890 · outbound

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

Compositional Reasoning for Parametric Probabilistic Automata Kwiatkowska, Gethin Norman, and David Parker

Reference 33

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:20:37.162539Z

Source-reported events for the cited work

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

Observation 96b98871-cb36-45c5-a559-f9d2a04b207a · outbound

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

Compositional Reasoning for Parametric Probabilistic Automata Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.321728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1abecf24-d6d0-49a1-9702-78a60a07ef82 · outbound

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

Compositional Reasoning for Parametric Probabilistic Automata Kwiatkowska, Gethin Norman, David Parker, and Hongyang Qu

Reference 35

Resolution: verified exact; doi, observed 2026-08-07T05:20:33.817593Z

Source-reported events for the cited work

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

Observation f54bcca8-4f6e-4e4f-b242-08e5bd7e7c42 · outbound

This paper cites Compositional stochastic model checking probabilistic automata via symmetric assume-guarantee rule.

Compositional Reasoning for Parametric Probabilistic Automata Compositional stochastic model checking probabilistic automata via symmetric assume-guarantee rule

Reference 36

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:20:36.921307Z

Source-reported events for the cited work

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

Observation b7f31169-b542-4257-b3ad-6c6f01edf75f · outbound

This paper cites Accurately computing expected visiting times and stationary distributions in M arkov chains.

Compositional Reasoning for Parametric Probabilistic Automata Accurately computing expected visiting times and stationary distributions in M arkov chains

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.504762Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83c52598-127e-40db-9c64-a3419573fc78 · outbound

This paper cites Namjoshi and Richard J.

Compositional Reasoning for Parametric Probabilistic Automata Namjoshi and Richard J

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.587829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a09cd46-03ca-4f96-9de3-1417047cbb1b · outbound

This paper cites Analysis of probabilistic contract signing.

Compositional Reasoning for Parametric Probabilistic Automata Analysis of probabilistic contract signing

Reference 39

Resolution: verified exact; doi, observed 2026-08-07T05:20:33.618849Z

Source-reported events for the cited work

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

Observation 120696b1-1084-470c-b303-4a282fe86e00 · outbound

This paper cites Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M.

Compositional Reasoning for Parametric Probabilistic Automata Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.726198Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0706b79f-dd04-42ec-9331-d1d09192e324 · outbound

This paper cites Compositional Verification for Autonomous Systems with Deep Learning Components.

Compositional Reasoning for Parametric Probabilistic Automata Compositional Verification for Autonomous Systems with Deep Learning Components

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.848738Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 055900e8-893d-44e3-9bcd-5abac4c30fea · outbound

This paper cites Pasareanu, Ravi Mangal, Divya Gopinath, and Huafeng Yu.

Compositional Reasoning for Parametric Probabilistic Automata Pasareanu, Ravi Mangal, Divya Gopinath, and Huafeng Yu

Reference 42

Resolution: verified exact; doi, observed 2026-08-07T05:20:33.398114Z

Source-reported events for the cited work

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

Observation 35f183c4-d259-42f5-b447-9fd1a83f866e · outbound

This paper cites In transition from global to modular temporal reasoning about programs.

Compositional Reasoning for Parametric Probabilistic Automata In transition from global to modular temporal reasoning about programs

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:31.994326Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed68797f-d5db-462c-8fc2-bdc9497060b7 · outbound

This paper cites Parameter synthesis for M arkov models: Faster than ever.

Compositional Reasoning for Parametric Probabilistic Automata Parameter synthesis for M arkov models: Faster than ever

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:32.068529Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8cb9a6a1-0640-4631-b466-ea209f6d8d31 · outbound

This paper cites Modeling and verification of randomized distributed real-time systems.

Compositional Reasoning for Parametric Probabilistic Automata Modeling and verification of randomized distributed real-time systems

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:20:38.196792Z

Source-reported events for the cited work

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

Observation c3645eb6-60b8-4d46-afc6-fb4a62917005 · outbound

This paper cites an unresolved cited work.

Compositional Reasoning for Parametric Probabilistic Automata Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-07T05:20:38.187723Z

Source-reported events for the cited work

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

Observation 4e882656-00bd-4f99-b781-9bd378698e95 · outbound

This paper cites Parametrised compositional verification with multiple process and data types.

Compositional Reasoning for Parametric Probabilistic Automata Parametrised compositional verification with multiple process and data types

Reference 47

Resolution: verified exact; doi, observed 2026-08-07T05:20:33.161372Z

Source-reported events for the cited work

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

Observation 0c538520-53a1-40a9-8b5e-9267519a0435 · outbound

This paper cites Monotonicity in M arkov models.

Compositional Reasoning for Parametric Probabilistic Automata Monotonicity in M arkov models

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:20:38.179068Z

Source-reported events for the cited work

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

Observation 422edb9e-4c92-4674-af4e-53a9dc9f979a · outbound

This paper cites an unresolved cited work.

Compositional Reasoning for Parametric Probabilistic Automata Unresolved cited work

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:32.403145Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f316a7df-dfbe-466b-afc1-dce51a8fad5e · outbound

This paper cites Finding provably optimal M arkov chains.

Compositional Reasoning for Parametric Probabilistic Automata Finding provably optimal M arkov chains

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-07T05:20:32.560353Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ec06e2ae-7b42-4dc6-a387-cb695b89af2d · outbound

This paper cites An introduction to probabilistic automata.

Compositional Reasoning for Parametric Probabilistic Automata An introduction to probabilistic automata

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:20:38.164415Z

Source-reported events for the cited work

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

Observation c9d1dbde-54c7-4af9-9ae7-f580fee4a5f7 · outbound

This paper cites Compositional solution of mean payoff games by string diagrams.

Compositional Reasoning for Parametric Probabilistic Automata Compositional solution of mean payoff games by string diagrams

Reference 52

Resolution: verified exact; doi, observed 2026-08-07T05:20:38.155541Z

Source-reported events for the cited work

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

Observation 2685a106-03dd-4832-a690-3289bec5a56e · outbound

This paper cites Assume-guarantee strategy synthesis for stochastic games.

Compositional Reasoning for Parametric Probabilistic Automata Assume-guarantee strategy synthesis for stochastic games

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T05:20:37.920323Z

Source-reported events for the cited work

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

Observation 9745e3a1-28cb-4bdb-87db-c7d02d691211 · outbound

This paper cites Assume-guarantee reasoning framework for MDP-POMDP.

Compositional Reasoning for Parametric Probabilistic Automata Assume-guarantee reasoning framework for MDP-POMDP

Reference 54

Resolution: metadata mismatch; raw_fallback, observed 2026-08-07T05:20:36.690616Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.