J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) | Paper Citation Record

Observation 920f29f5-c364-464f-af3c-daeaf7299887 · outbound

This paper cites MIT Press (2008).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) MIT Press (2008)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:45.803351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 247aad3f-a7db-4178-9bc7-55eb9ea4f26b · outbound

This paper cites Discrete Mathematics98(1), 75–79 (1991).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Discrete Mathematics98(1), 75–79 (1991)

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.999271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 8230bdb0-9077-493e-b688-51aa69faa1bd · outbound

This paper cites Cambridge University Press (2020).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Cambridge University Press (2020)

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.983904Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation ed65fe60-0588-458e-aa1b-960241f3578f · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.967392Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 42d10660-f73c-467c-ab1b-4b1256e9bc45 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.951430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bb6c4ed1-8330-4e3c-a336-62b01a720cf8 · outbound

This paper cites In: TACAS.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: TACAS

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.934834Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 10868404-48c8-4ea9-baf0-a5942d39c022 · outbound

This paper cites In: CAV (2).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: CAV (2)

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.917912Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation aa94f0df-1588-4ca9-9650-5e6ce4e160a7 · outbound

This paper cites In: CAV (2).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: CAV (2)

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.902087Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 07c152f1-2887-40ff-9768-22b27b0946a9 · outbound

This paper cites In: ESOP.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: ESOP

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.886969Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f8c45b03-ccc0-4c67-8972-7bfb00531d78 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.871778Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9d4ab519-0050-4e85-85dc-c26b6e2225c3 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.855776Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 3cf86bb8-5781-455d-9276-abdf2d46a40e · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.839560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a877a315-f835-4b49-9861-b4ac5857ca42 · outbound

This paper cites Indiana University Mathematics Jour- nal 6, 679–684 (1957),https://api.semanticscholar.org/CorpusID:123329493.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Indiana University Mathematics Jour- nal 6, 679–684 (1957),https://api.semanticscholar.org/CorpusID:123329493

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.821507Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation c4da2893-3f94-4b39-ba7a-c962c4066c27 · outbound

This paper cites In: LICS.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: LICS

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.806119Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 253c41e8-6029-48d4-b973-a6c8821fe138 · outbound

This paper cites In: CAV (2).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: CAV (2)

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.789818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 599aa2f7-495a-4eac-a8b0-6d80fcb35c33 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.774084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation a3be818f-3ca9-4b3f-b4db-511dbdeeffec · outbound

This paper cites Springer Publishing Company, Incorporated, 1st edn.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Springer Publishing Company, Incorporated, 1st edn

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.759036Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 517add75-846b-4364-833c-8fa3391ce19c · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.744080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2fa09ac7-1cd5-43a1-ade9-297b967c8d9e · outbound

This paper cites In: QEST.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: QEST

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.729218Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 447b8963-8661-454a-8d1b-3cccd875518e · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.713248Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 72795cf1-a228-4c4c-afb5-837f39e78e6e · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.698131Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d931aba6-668b-4ed9-b9d0-7864cbeda533 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.681228Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9350c4ca-a9bc-4a1b-a628-6f6bcee46c34 · outbound

This paper cites In: CAV (2).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: CAV (2)

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.664263Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 833a7a57-55bc-43d8-ab91-dead121fb36c · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 24

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.649440Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 22543179-705d-4411-af0d-2897b00d9e9c · outbound

This paper cites In: MFPS.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: MFPS

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.635220Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9182a34a-9824-4c56-8dec-6fa6dad24946 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.620655Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 1af99cb3-5d61-489a-8115-ef33dc686b53 · outbound

This paper cites In: MFCS (1).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: MFCS (1)

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.604326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b55d3af0-6c52-4beb-8b96-46a0da89f1de · outbound

This paper cites In: LICS.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: LICS

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.588114Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2db96e24-a580-41cb-9984-c8005e117384 · outbound

This paper cites Acta Informatica56(3), 255–285 (2019).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Acta Informatica56(3), 255–285 (2019)

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.571346Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 3208b4ac-35b9-4534-a527-3561f6a84f34 · outbound

This paper cites In: ESOP.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: ESOP

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.554662Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation db14f6b7-dd1c-4c7a-a3d4-18256aed4fb9 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 31

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.536890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation cf85adca-333f-4627-8cc4-d7781ea705d8 · outbound

This paper cites Annales de la Societe Polonaise de Mathematique6, 133–134 (1928).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Annales de la Societe Polonaise de Mathematique6, 133–134 (1928)

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.519918Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d5d0a5c3-9e9a-4925-89e1-be0de560c89b · outbound

This paper cites In: FOCS.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: FOCS

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.503967Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation f3e832ae-0989-4387-8be3-b64d94514440 · outbound

This paper cites In: STOC.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: STOC

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.488860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation b510d7d0-02d0-42d6-ac77-74b544aeeaa7 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.472671Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 279df26f-133d-491c-9daa-3f2f526583bf · outbound

This paper cites In: Computer Performance Evaluation / TOOLS.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: Computer Performance Evaluation / TOOLS

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.455258Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 76dac3ae-f7db-42da-bdd2-84b50fd4a690 · outbound

This paper cites Monographs in Computer Science, Springer (2005).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Monographs in Computer Science, Springer (2005)

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.438179Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 15639c8b-a797-4e9c-8662-b1152d4ed5dc · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.420018Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation dcb27d7f-5235-4372-874f-d37430d1f9de · outbound

This paper cites Machine Intelli- gence 5 (1969).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Machine Intelli- gence 5 (1969)

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.403432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 9d9a3480-dd1f-4f15-a89f-c4c7b33a12a0 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 40

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.387120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4c9f747e-090d-4fb1-8dc2-b57a2f095034 · outbound

This paper cites Wiley Series in Probability and Statistics, Wiley (1994).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Wiley Series in Probability and Statistics, Wiley (1994)

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T13:09:46.008948Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d54ab568-80d2-4fae-85fe-ffdedd4146fa · outbound

This paper cites In: CAV (1).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: CAV (1)

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.361125Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation fc43fce7-e256-4e87-be56-aa93e25217ae · outbound

This paper cites In: POPL.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) In: POPL

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.346084Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 2984ee66-10d8-42d4-aa61-464222a7d382 · outbound

This paper cites Marine Corps Chevron (1942).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Marine Corps Chevron (1942)

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.329950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bb5d8d85-1a4d-496a-ad0c-ff468a6d2abd · outbound

This paper cites Proceedings of the American Mathematical Society22(3), 704–710 (1969).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Proceedings of the American Mathematical Society22(3), 704–710 (1969)

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.314266Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0f2407c3-f9ef-4639-90a5-75d1ad77bee2 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 46

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.296273Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 924acecb-7c95-47ee-b69d-c77558697f1e · outbound

This paper cites Pacific Jour- nal of Mathematics5(2) (1955).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Pacific Jour- nal of Mathematics5(2) (1955)

Reference 47

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.280637Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 60536cb4-cc11-4811-9f4b-aea25099ae62 · outbound

This paper cites WIT Transactions on Information and Communication Technologies11 (1970).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) WIT Transactions on Information and Communication Technologies11 (1970)

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.264508Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4a3c9184-bb0a-44ab-8496-7a3b5965b005 · outbound

This paper cites Section 6: The extended real number system.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Section 6: The extended real number system

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.248569Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d73f9f96-6b62-4d42-ba33-8eb2a826b5a6 · outbound

This paper cites initial segments.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) initial segments

Reference 50

Resolution: malformed identifier; raw_fallback, observed 2026-08-12T13:09:46.232484Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 0663ce82-cbf4-4f8a-aa6f-5df603de645e · outbound

This paper cites MinER=n (M, s,rew).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) MinER=n (M, s,rew)

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.215832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e0b77c4e-423d-40d7-975b-97ae43e4dca1 · outbound

This paper cites consumes.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) consumes

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.197669Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation e4f34d12-c1b6-4ded-a5a6-9ed9383e6699 · outbound

This paper cites MinER (M, s,rew).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) MinER (M, s,rew)

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.180271Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 6d0e752d-f6cb-453c-865e-5696099c6c7a · outbound

This paper cites MaxER (M, s,rew) Proof.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) MaxER (M, s,rew) Proof

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.162887Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 32d0f873-9888-4c4f-8e44-d170cee64eb3 · outbound

This paper cites an unresolved cited work.

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Unresolved cited work

Reference 55

Resolution: unresolved; raw_fallback, observed 2026-08-12T13:09:46.145737Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation eeb0791d-0e71-489c-9aad-9d04bf0ce14e · outbound

This paper cites Hence, for every a ∈ Act(C1 ; C2, σ), all configurations in Succsa(C1 ; C2, σ) are of the form(C ′ 1 ; C2, σ′).

J-P: MDP. FP. PP.: Characterizing Total Expected Rewards in Markov Decision Processes as Least Fixed Points with an Application to Operational Semantics of Probabilistic Programs (Technical Report) Hence, for every a ∈ Act(C1 ; C2, σ), all configurations in Succsa(C1 ; C2, σ) are of the form(C ′ 1 ; C2, σ′)

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T13:09:46.126540Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers