Fixed Point Certificates for Reachability and Expected Rewards in MDPs | Paper Citation Record

Observation f7157fb8-2a98-4c1c-90b4-36c6e6758cec · outbound

This paper cites In: CAV (3).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: CAV (3)

Reference 1

Resolution: malformed identifier; no resolver link, observed 2026-08-10T18:26:23.135244Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d45b56d-0cbb-4e3d-b387-f17843adea30 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.140368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fcefffd-2d5e-4c2b-9afa-0fe344812041 · outbound

This paper cites In: International TOOLympics Challenge, pp.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: International TOOLympics Challenge, pp

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.145020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bf58aabd-e4aa-4757-ae20-6e21c0cdc831 · outbound

This paper cites In: ATVA.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: ATVA

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.149247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de95c9a4-afe0-415a-aaf0-f65e8e3100ac · outbound

This paper cites In: Handbook of Model Checking, pp.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: Handbook of Model Checking, pp

Reference 5

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.862733Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1ac266dc-d734-4eb3-8450-203ec06336cc · outbound

This paper cites In: QEST+FORMATS.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: QEST+FORMATS

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.157638Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd6b1801-dff3-484e-8741-a9b37686bd51 · outbound

This paper cites MIT Press (2008).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs MIT Press (2008)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.162115Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3f19c138-8fcc-4f76-ad7e-2fbf56a31ac4 · outbound

This paper cites In: CAV (1).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: CAV (1)

Reference 8

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.851806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 585bd3e0-3157-4dab-b92f-780b5799b61a · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.170162Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a3b53f1-d6d0-4137-ab5d-15c1a11c53b6 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.174042Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3be02065-d2f0-4b91-9890-d3e228012b01 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.177930Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e463d735-38a2-4c0b-bd8d-39a4eed03c7a · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.182061Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3363c7d7-b03a-4b1d-9fb7-953efb15c46c · outbound

This paper cites In: ATVA.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: ATVA

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.189580Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6b66eb3-1727-46f2-8904-e65c2ed67542 · outbound

This paper cites In: TACAS (2).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS (2)

Reference 14

Resolution: malformed identifier; no resolver link, observed 2026-08-10T18:26:23.196753Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7fdb20eb-d814-453d-ae31-89ed4a6f2613 · outbound

This paper cites In: ISoLA (4).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: ISoLA (4)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.200834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5eab660a-f7f5-4d5b-b375-726038b0031a · outbound

This paper cites In: 25 Years of Model Checking.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: 25 Years of Model Checking

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.204447Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa20d351-3aff-4995-bae1-0afe69b6eeb1 · outbound

This paper cites https://doi.org/10.5281/zenodo.14626585.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs https://doi.org/10.5281/zenodo.14626585

Reference 17

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.788075Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f8290887-1f38-46ca-a89d-f080b97d4e65 · outbound

This paper cites Formal Methods Syst.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Formal Methods Syst

Reference 18

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.776929Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f6ba5b12-ee6c-4b80-b21a-4a546b6d8e60 · outbound

This paper cites Informatica (Slovenia) 42(2) (2018), http://www.informatica.si/index.php/informatica/article/ view/1442.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Informatica (Slovenia) 42(2) (2018), http://www.informatica.si/index.php/informatica/article/ view/1442

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.216424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1af67ea2-9309-43ad-aaf4-af8cdb52ae20 · outbound

This paper cites In: IJCAR (1).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: IJCAR (1)

Reference 20

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.766216Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b3516d48-1a44-44f1-91b3-98f85920b256 · outbound

This paper cites In: TACAS (1).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS (1)

Reference 21

Resolution: malformed identifier; no resolver link, observed 2026-08-10T18:26:23.223748Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adb8d78e-f296-4e6c-bb56-8fdbe03221c2 · outbound

This paper cites Samurai Media Limited (2015).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Samurai Media Limited (2015)

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.227262Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc3169ca-a3af-4580-b688-c6c30e18b0bc · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 23

Resolution: malformed identifier; no resolver link, observed 2026-08-10T18:26:23.230854Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation db12c773-7ecc-4d49-b165-a9bde8d24d91 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 24

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.749138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 22be1724-a777-4390-928b-96dc94cc035b · outbound

This paper cites In: TACAS (3).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS (3)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.238946Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c742ef8-bc76-444b-bea5-1f952d16c9a7 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.243261Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 122b7254-c983-4163-986e-db75210a15db · outbound

This paper cites In: TACAS (2).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS (2)

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.247109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ff39899b-2b0e-48f1-9756-fd5969b65887 · outbound

This paper cites In: TACAS.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.251158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e4cea88-6e5d-4997-b153-9d98b3879b37 · outbound

This paper cites In: TACAS (1).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS (1)

Reference 29

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T18:26:24.428454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4e701d78-1fd9-4a36-b151-9895c0c6b7b8 · outbound

This paper cites Under submission, Preprint: https://sjunges.github.io/files/revised_practitioners_guide.pdf (2025).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Under submission, Preprint: https://sjunges.github.io/files/revised_practitioners_guide.pdf (2025)

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.412802Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8843aa15-2cc8-4cb1-b33e-cad55584abec · outbound

This paper cites In: CAV (2).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: CAV (2)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.263010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8101a3e-3d5e-4d99-a950-6b64af9db255 · outbound

This paper cites In: TACAS (1).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS (1)

Reference 32

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T18:26:24.398448Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a609aea9-4c9d-471b-9553-d4b3356eee95 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.270555Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c20f7dff-b9de-4787-ae7c-43524a8bcf03 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 34

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.704397Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e9f6d986-93fb-4561-a458-54d1c2fe2741 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:26:24.386139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation babd02b9-6c11-417a-8bab-059d5ea2ec4b · outbound

This paper cites In: FMCAD.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: FMCAD

Reference 36

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T18:26:24.370565Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ed858da5-8bb1-4ef3-96dd-8d860440edd8 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.286076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41ebd357-5e22-4746-8fe7-dbdc4f371e9d · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.290041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01b8e881-6bde-41e3-8b86-23b614ef0619 · outbound

This paper cites In: FoSSaCS.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: FoSSaCS

Reference 40

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.681198Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 89057e37-fb92-4dbe-bf8b-ef25d93e9a10 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 41

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.670381Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3e0fd8d8-f628-45c4-ab84-46fedcfe0c1b · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.305834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e4627b4-74f6-4fd8-bd2a-02a66b339fb4 · outbound

This paper cites In: AAAI.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: AAAI

Reference 43

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.650902Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0c7be9c3-2726-452b-b989-9b0ac7598425 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 44

Resolution: malformed identifier; no resolver link, observed 2026-08-10T18:26:23.313486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d77e5103-87bf-4635-a898-aea39aaa9505 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 45

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T18:26:24.357728Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c57a4009-b8d8-4460-a711-b59f34f06ccd · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.321430Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5eab8ad5-5fb6-4507-b181-897f6ced10dc · outbound

This paper cites In: FSTTCS.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: FSTTCS

Reference 47

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.625453Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d4029fec-81a3-4aa2-a1bf-9db7ad906a23 · outbound

This paper cites Wiley Series in Probability and Statistics, Wiley (1994).https://doi.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Wiley Series in Probability and Statistics, Wiley (1994).https://doi

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.328847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 987c9088-0777-4c4a-b3b9-cd51fb5a3fb7 · outbound

This paper cites In: CAV (1).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: CAV (1)

Reference 49

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.607645Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a7b977ce-37a7-49fa-8c13-f939a0f134b3 · outbound

This paper cites In: AAAI.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: AAAI

Reference 50

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.591231Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 21d8f570-bdbb-4fbd-9cd9-8eb13e79d597 · outbound

This paper cites In: CAV (3).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: CAV (3)

Reference 51

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T18:26:24.346474Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4cc9fa96-cca9-44d8-a46a-219b4374c3c0 · outbound

This paper cites In: CAV (1).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: CAV (1)

Reference 52

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.579655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5e784112-5e95-4b39-acf4-599746fec06c · outbound

This paper cites Journal of the operational research society44(11), 1073–1096 (1993).https://doi.org/10.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Journal of the operational research society44(11), 1073–1096 (1993).https://doi.org/10

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.335655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c60fccdc-8e31-43cf-b1ad-9c0047bd6351 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 54

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.568332Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d9d986b3-8bdb-44bd-92de-c7a908fde0d9 · outbound

This paper cites In: TACAS (2).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: TACAS (2)

Reference 55

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T18:26:24.324052Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9b5cc965-4253-45b3-b808-12d5cf1af500 · outbound

This paper cites In: LICS.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: LICS

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.358585Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e28d0c1c-c625-4d42-95dc-66b6e574280d · outbound

This paper cites In: CAV (2).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: CAV (2)

Reference 57

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.557350Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e10511f9-7d2e-4216-98b7-a1483df7bd7e · outbound

This paper cites In: FMCAD.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs In: FMCAD

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-10T18:26:23.366011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d4fa33b9-6426-42db-a914-720e6308f2b5 · outbound

This paper cites ∗ = ∞” and the “∗ = ρ.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs ∗ = ∞” and the “∗ = ρ

Reference 59

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.538299Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 865b9cf1-78dd-4372-96f9-91333748b6c7 · outbound

This paper cites This is not only true fors, but for all states with rank 0.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs This is not only true fors, but for all states with rank 0

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.312857Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c665fdf4-2dd2-4606-ba00-c945490adbbc · outbound

This paper cites We provide definitions and the proof that such aY exists: – Definition of end component:An end component (EC) [2, Def.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs We provide definitions and the proof that such aY exists: – Definition of end component:An end component (EC) [2, Def

Reference 63

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.301999Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 6441eb72-249b-4141-8750-e91a89d5d7e2 · outbound

This paper cites – Let E := {(q, a) | q ∈ Y, a∈ Act(q) :Post(q, a) ⊈ Y } be the set of exits from Y.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs – Let E := {(q, a) | q ∈ Y, a∈ Act(q) :Post(q, a) ⊈ Y } be the set of exits from Y

Reference 64

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.288826Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation f83605f5-a779-4d36-9bb3-2b20e4a24bbb · outbound

This paper cites – Let ri := (D max )i(r0).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs – Let ri := (D max )i(r0)

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.277969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 10a201ca-81d5-4cbf-8ad3-9ca3cd36a1ee · outbound

This paper cites Reason: By the previous step, we know that such a fixed point exists.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Reason: By the previous step, we know that such a fixed point exists

Reference 66

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.267468Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ba21948d-64d9-4fbd-a996-e1f9b8f51691 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 67

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:26:24.257248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ff2131c3-90e3-4f8a-8492-86ec75c27d13 · outbound

This paper cites Thus the initial assumption that r(s) = ∞ even though z(s) > 0 was wrong, and we have z(s) > 0 =⇒ r(s) < ∞ ⊓ ⊔ Lemma 3.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Thus the initial assumption that r(s) = ∞ even though z(s) > 0 was wrong, and we have z(s) > 0 =⇒ r(s) < ∞ ⊓ ⊔ Lemma 3

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.246907Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation add0fdf4-0ac3-4d51-ab25-c3b1ddad52e5 · outbound

This paper cites If (x, r) is valid, then∀s ∈ S : Pmin s (♢T ) ≥ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r) is valid, then∀s ∈ S : Pmin s (♢T ) ≥ x(s)

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.235296Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 8b4dd99b-7b67-43a9-b9e5-e021babe5fdb · outbound

This paper cites If (x, r, σ) is valid, then∀s ∈ S : Pmax s (♢T ) ≥ Pσ s (♢T ) ≥ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r, σ) is valid, then∀s ∈ S : Pmax s (♢T ) ≥ Pσ s (♢T ) ≥ x(s)

Reference 70

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.225361Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5e8edd0d-6c94-4f6f-a334-349ead487a73 · outbound

This paper cites If (x, r) is valid, then∀s ∈ S : Pmax s (♢T ) ≥ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r) is valid, then∀s ∈ S : Pmax s (♢T ) ≥ x(s)

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.214031Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 698fbc3f-87a2-4087-85da-fde70480915b · outbound

This paper cites First condition: Trivial for target statess ∈ T.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs First condition: Trivial for target statess ∈ T

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.203869Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0fb4683b-c3c2-4710-9fb8-2eaf99134754 · outbound

This paper cites If (x, r) is valid, then∀s ∈ S : Eopt s (♢T ) ≥ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r) is valid, then∀s ∈ S : Eopt s (♢T ) ≥ x(s)

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.192648Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b89a3dc7-b2be-49ad-971b-17d989c93524 · outbound

This paper cites Hence (lfp D opt )(s) < ∞ and thus, by Lemma 3,Popt s (♢T ) < 1, contradiction.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Hence (lfp D opt )(s) < ∞ and thus, by Lemma 3,Popt s (♢T ) < 1, contradiction

Reference 74

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.181581Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b7c12149-da12-40a4-92ae-5ee22efdbe95 · outbound

This paper cites If (x, r) is valid, then∀s ∈ S : Emax s (♢T ) ≤ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r) is valid, then∀s ∈ S : Emax s (♢T ) ≤ x(s)

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.169718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 660fccc8-4094-4d95-bb5e-87ad96daddc8 · outbound

This paper cites If (x, r, σ) is valid, then∀s ∈ S : Emin s (♢T ) ≤ Eσ s (♢T ) ≤ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r, σ) is valid, then∀s ∈ S : Emin s (♢T ) ≤ Eσ s (♢T ) ≤ x(s)

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.158811Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 83cecd84-5cf1-42b5-9d4c-e838877be907 · outbound

This paper cites If (x, r) is valid, then∀s ∈ S : Emin s (♢T ) ≤ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r) is valid, then∀s ∈ S : Emin s (♢T ) ≤ x(s)

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.148200Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3db3c46c-a32a-4f89-98d9-cf0892c2d348 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 78

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:26:24.137717Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2a3118ad-379f-481d-afea-fd5d1ad0cc4f · outbound

This paper cites ∗ = ρ” semantics using the same Bellman operator E opt as the one associated to the “∗ = ∞.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs ∗ = ρ” semantics using the same Bellman operator E opt as the one associated to the “∗ = ∞

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.127139Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 72cf266f-aa36-447a-b22f-b024d6ca6360 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 80

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:26:24.116573Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 803b5282-ce16-4b31-95ef-bbbe9defdd45 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 81

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:26:24.107034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 5346a700-c8d1-4bc6-b5ad-a03af618a5aa · outbound

This paper cites Bell- man operator.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Bell- man operator

Reference 83

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.087229Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dba8e55d-21d4-4644-b75f-dcf58b2fa609 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 84

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:26:24.077061Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 3f76106c-56e7-4b9e-a5dd-72d48bdbf63f · outbound

This paper cites If (x, r1, r2, σ, Tσ i ) is valid, then∀s ∈ S : Emax s (♢T ) ≥ Eσ s (♢T ) ≥ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r1, r2, σ, Tσ i ) is valid, then∀s ∈ S : Emax s (♢T ) ≥ Eσ s (♢T ) ≥ x(s)

Reference 86

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.065966Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d46c4bf8-6766-4fde-9261-8de54259b9b0 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 87

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:26:24.055316Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation da3b764d-fa85-4f8b-ab14-2491c9c18e4b · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 88

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:26:24.044499Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0a093007-83ca-4bff-8996-837469046b3a · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 89

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:26:24.033913Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation cc875789-f26f-459d-a038-903e043d3ba1 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 90

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:26:24.022951Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 25758546-ae62-47fe-8ac3-e6aff02b2b18 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 91

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:26:24.097223Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b20b3b9b-9554-4f9a-9d52-c2788c63d267 · outbound

This paper cites If (x, r1, r2, Tmax i ) is valid, then∀s ∈ S : Emax s (♢T ) ≥ x(s).

Fixed Point Certificates for Reachability and Expected Rewards in MDPs If (x, r1, r2, Tmax i ) is valid, then∀s ∈ S : Emax s (♢T ) ≥ x(s)

Reference 92

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:24.011616Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e87b690b-be7a-45b4-8d43-760f615be12b · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 93

Resolution: unresolved; raw_fallback, observed 2026-08-10T18:26:24.001188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 4021e32b-165f-4ce9-bff7-cc7629e2b5f1 · outbound

This paper cites The third and fifth condition of Proposition 13 hold by assumption.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs The third and fifth condition of Proposition 13 hold by assumption

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T18:26:23.990730Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation c1e50822-1fdf-40da-bd2d-76f163be692e · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 95

Resolution: parse uncertain; raw_fallback, observed 2026-08-10T18:26:23.978509Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation fe9741e1-4092-4109-913d-dfa1c7376444 · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 96

Resolution: malformed identifier; raw_fallback, observed 2026-08-10T18:26:23.967805Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9953e611-cf73-4163-a8ae-dbf3dac2101b · outbound

This paper cites an unresolved cited work.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Unresolved cited work

Reference 114

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.815414Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1dbec647-f03e-4c82-940f-b55527d96f8b · outbound

This paper cites Lecture Notes in Computer Science, vol.

Fixed Point Certificates for Reachability and Expected Rewards in MDPs Lecture Notes in Computer Science, vol

Reference 2023

Resolution: verified exact; doi, observed 2026-08-10T18:26:23.827138Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers