Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet | Paper Citation Record

Observation 79b74d43-8368-49b6-a90f-03e6dae9bcf4 · outbound

This paper cites Automatica 44(11), 2724 – 2734 (2008).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Automatica 44(11), 2724 – 2734 (2008)

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:08.852461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eefad7ba-e8a0-4ce0-a19b-b8441327bcbf · outbound

This paper cites Proceedings of the IEEE 88(7), 971–984 (2000).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Proceedings of the IEEE 88(7), 971–984 (2000)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:08.858011Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 715fbe5e-5bc1-48d5-9e0d-8c124957f5bb · outbound

This paper cites In: IBERAMIA.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: IBERAMIA

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:08.988346Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e14331b1-914c-4bf7-8b72-f4478c0129d2 · outbound

This paper cites Tools at the Frontiers of Quantitative Verification.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Tools at the Frontiers of Quantitative Verification

Reference 4

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T18:40:10.138622Z

Source-reported events for the cited work

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

Observation 160b9ac6-fc27-4770-97ec-d9bbf585dc48 · outbound

This paper cites In: QEST.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: QEST

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:08.999801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e6a8883c-63a7-4af8-83c3-d68937f19ebf · outbound

This paper cites In: CA V (1).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V (1)

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.005684Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e8caef4c-e8d7-4c9b-9959-696f81dcc8b1 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.011414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a56d6ace-c21c-4aeb-8934-03bf96eef21d · outbound

This paper cites In: CA V (2).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V (2)

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.016378Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd181973-3d4e-478f-b818-a5f86f48a69b · outbound

This paper cites In: AAAI.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: AAAI

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.021391Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51293175-f3ea-4c0e-8622-73684605f280 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.026467Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca086eae-cd6b-4d60-966d-f08b9d0191e5 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.032793Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f139cddd-0257-45d9-b031-bc25b4b7adc5 · outbound

This paper cites In: FoSSaCS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: FoSSaCS

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.037503Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b947e52b-315a-4305-bfc4-3f7d4d7ab1ad · outbound

This paper cites In: Computing and Software Science, Lecture Notes in Comput er Science, vol.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: Computing and Software Science, Lecture Notes in Comput er Science, vol

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.042901Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5cba02af-c2ef-4e27-9e36-cd1c980e006a · outbound

This paper cites MIT Press (2008).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet MIT Press (2008)

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.048278Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 25adb453-cab7-4b28-8479-53131c7cb418 · outbound

This paper cites In: CA V (1).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V (1)

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.052671Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac5dacf3-f22e-451b-a7c4-82a40bf14b59 · outbound

This paper cites In: NeurIPS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: NeurIPS

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.056859Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68a2337e-c160-4d04-be71-96a9cd7926b1 · outbound

This paper cites Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Imprecise Probabilities Meet Partial Observability: Game Semantics for Robust POMDPs

Reference 17

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T18:40:10.109114Z

Source-reported events for the cited work

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

Observation 3cfc8e35-09f2-49cb-b0f4-9aa49b53ba53 · outbound

This paper cites In: ATV A.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ATV A

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.066587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 670490f1-c9af-4480-a46b-abecc6920c8a · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.071780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e39897df-4226-4f0a-a5eb-af3965dfabbe · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.076365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 48e0630e-7682-41c5-bedd-729d697c20db · outbound

This paper cites In: TACAS (2).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: TACAS (2)

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.080486Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ca8c127e-d070-4929-a3b5-df882fca5301 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.085840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6146fbf7-5287-4670-8b43-38a74a931dac · outbound

This paper cites , Royer, A.: Multiple- environment markov decision processes: Eﬃcient analysis a nd applications.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet , Royer, A.: Multiple- environment markov decision processes: Eﬃcient analysis a nd applications

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.090294Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4df54a1c-4373-4479-bc29-a1bca49a8bd6 · outbound

This paper cites In: MFCS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: MFCS

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.096088Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation abf40e6e-393c-4500-b451-29414b40dcef · outbound

This paper cites Solving Long-run Average Reward Robust MDPs via Stochastic Games.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Solving Long-run Average Reward Robust MDPs via Stochastic Games

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.101468Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2daca99e-4f71-4277-92bf-d8c6fb850681 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.107064Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0867c52e-ccf2-497a-8b2a-4b385517eead · outbound

This paper cites In: LASER Summer School.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: LASER Summer School

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.112392Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 70b46330-c065-4a53-b4a6-fcabee484ae4 · outbound

This paper cites Data-driven Interval MDP for Robust Control Synthesis.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Data-driven Interval MDP for Robust Control Synthesis

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.117915Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a5b7e2f-3136-4da4-a42d-03bfa520dee0 · outbound

This paper cites In: AAAI.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: AAAI

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.123949Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f10453a7-0856-49f1-bf5f-6298141ddbc6 · outbound

This paper cites In: TACAS (2).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: TACAS (2)

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.129354Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b60e72b-5ec9-49ab-96f3-1ae1e7b35816 · outbound

This paper cites In: ATV A.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ATV A

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.134390Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5be3ae1e-b3b4-4261-9588-3d84932f3cb8 · outbound

This paper cites In: TACAS (1).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: TACAS (1)

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.140158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 866c7e45-5229-4ec1-b3b0-5d90b92d5832 · outbound

This paper cites IEEE Trans.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet IEEE Trans

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.145062Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8741bc07-f112-4c35-9a9e-7d382ab917c8 · outbound

This paper cites In: AAA I.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: AAA I

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.150143Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9acebd68-602a-4658-9fd3-db8a339a441e · outbound

This paper cites In: TACAS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: TACAS

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.155204Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e07ce2f9-8804-476e-b003-be33f1576dea · outbound

This paper cites In: CA V (1).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V (1)

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.159760Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7727beaa-c6b8-4330-a2e5-4ffbebdacfd9 · outbound

This paper cites In: MBMV.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: MBMV

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.164458Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90f60987-f86a-4ad3-a6f6-e7b5d1caac45 · outbound

This paper cites Dynamic Games and A pplications (2023).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Dynamic Games and A pplications (2023)

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.169181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7dcd4bf8-8bf8-41d0-ab81-d9285650af87 · outbound

This paper cites In: SPIN.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: SPIN

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.174376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f824a90f-2eba-42ea-bbb3-5ac9e07e8eae · outbound

This paper cites In: Bernardo, M., Is sarny, V.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: Bernardo, M., Is sarny, V

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.184744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0efd32b0-a673-4eb8-ba15-d7749a785e41 · outbound

This paper cites In: AAAI.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: AAAI

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.189909Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation de207003-2eb8-4882-bfad-131c548c9054 · outbound

This paper cites Pessimistic Iterative Planning with RNNs for Robust POMDPs.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Pessimistic Iterative Planning with RNNs for Robust POMDPs

Reference 43

Resolution: metadata mismatch; local_arxiv, observed 2026-08-12T18:40:09.997767Z

Source-reported events for the cited work

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

Observation 2a22ec49-fca5-4704-b05c-80c5c84b733e · outbound

This paper cites In: NIPS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: NIPS

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.200418Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cdb40af8-3cc5-416d-a298-0f43b4d37fbf · outbound

This paper cites IEEE Trans.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet IEEE Trans

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.206549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3367c5b-f175-4380-9d25-9f35ce51c3a5 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.212532Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90a6b4b5-aabe-493e-9fb8-58b406339d08 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.217592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 55c324e8-e3e1-4793-bd6c-8add9f539c4d · outbound

This paper cites In: Neur IPS (2023).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: Neur IPS (2023)

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.224046Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a593ac28-5c25-495f-bd71-ea741920af16 · outbound

This paper cites Beyond discounted returns: Robust Markov decision processes with average and Blackwell optimality.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Beyond discounted returns: Robust Markov decision processes with average and Blackwell optimality

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.229045Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ffdc8ae1-36a7-402b-af7f-48c366bcdf80 · outbound

This paper cites In: NIPS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: NIPS

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.415307Z

Source-reported events for the cited work

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

Observation 76486139-c1c4-40a6-a1f8-f4bf8aaef523 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 51

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:11.388421Z

Source-reported events for the cited work

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

Observation ba115c8a-eb24-4ff4-a9f1-ff9a32f287de · outbound

This paper cites Formal Aspects Comput.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Formal Aspects Comput

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.365998Z

Source-reported events for the cited work

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

Observation eca277b5-6a81-4ed7-bae0-870f0e4b42fd · outbound

This paper cites In: TACAS (1).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: TACAS (1)

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.332593Z

Source-reported events for the cited work

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

Observation d69d974a-c070-4c76-a5e4-b85d7a5dfc08 · outbound

This paper cites In: CA V (2).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V (2)

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.304366Z

Source-reported events for the cited work

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

Observation 917135a5-487c-4211-878f-84e51ee21849 · outbound

This paper cites In: Vojnar, T., Zhang, L.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: Vojnar, T., Zhang, L

Reference 55

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0380ef28-607a-4dff-a523-bda66a373499 · outbound

This paper cites In: LATA.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: LATA

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.253012Z

Source-reported events for the cited work

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

Observation 015d5f56-0ddc-4d37-88b3-3737f8274269 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 57

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:11.230031Z

Source-reported events for the cited work

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

Observation 5a1d1d9e-477e-4215-8b23-a2517615aba1 · outbound

This paper cites In: ICML.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ICML

Reference 58

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.204632Z

Source-reported events for the cited work

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

Observation 70aebcb3-9f0d-4963-b1f2-e7f0f6bcdf66 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 59

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:11.185728Z

Source-reported events for the cited work

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

Observation be0bf0c5-6b4d-4479-b2ca-5586ce77a4e7 · outbound

This paper cites In: NeurIPS (2022).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: NeurIPS (2022)

Reference 60

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.163974Z

Source-reported events for the cited work

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

Observation e70e7be0-4db6-4dfc-a2e9-d55841ec1111 · outbound

This paper cites Journal of the American Statistical Association pp.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Journal of the American Statistical Association pp

Reference 61

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.138118Z

Source-reported events for the cited work

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

Observation 25243966-5245-4ec8-953e-49c036e6382c · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 62

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:11.117253Z

Source-reported events for the cited work

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

Observation bb1e6b78-a7e8-46cf-96fc-58455d9de52f · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 63

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:11.097442Z

Source-reported events for the cited work

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

Observation 865c4f03-d7e5-4ca0-b484-f72d792068d0 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 64

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:11.081928Z

Source-reported events for the cited work

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

Observation 2f87ae36-fd63-42f1-8cfc-248854d9f88f · outbound

This paper cites In: ISoLA ( 1).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ISoLA ( 1)

Reference 65

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.063745Z

Source-reported events for the cited work

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

Observation 762fbc37-06d6-46f5-a414-e971d6829ee1 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 66

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:11.044411Z

Source-reported events for the cited work

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

Observation 86256171-9925-4a40-b607-8b4096fd6843 · outbound

This paper cites In: Principles of Systems Design.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: Principles of Systems Design

Reference 67

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.027554Z

Source-reported events for the cited work

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

Observation 12e467e2-f5f1-4281-b8d6-c6ff81d628f7 · outbound

This paper cites In: Proceedings of the Sixth Annual Symposium on Log ic in Computer Science (LICS ’91), Amsterdam, The Netherlands, July 15-18 , 1991.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: Proceedings of the Sixth Annual Symposium on Log ic in Computer Science (LICS ’91), Amsterdam, The Netherlands, July 15-18 , 1991

Reference 68

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:11.008984Z

Source-reported events for the cited work

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

Observation b7b3bff0-dec3-4348-a5a9-55b3f86d0f0a · outbound

This paper cites Formal Methods Syst.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Formal Methods Syst

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.990486Z

Source-reported events for the cited work

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

Observation d2906a72-ee77-4416-9714-b8894a6a9874 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 70

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.972592Z

Source-reported events for the cited work

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

Observation b3a19663-ac31-40da-907b-f1b8380c0f9e · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 71

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.951475Z

Source-reported events for the cited work

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

Observation bdeb83e7-9a40-4fff-9452-5350e6d393ee · outbound

This paper cites In: LICS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: LICS

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.931694Z

Source-reported events for the cited work

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

Observation 21afc724-4a3d-48ac-8f0f-697a05c1dbcb · outbound

This paper cites In: CA V.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V

Reference 73

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.910576Z

Source-reported events for the cited work

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

Observation c0b35a20-825c-4fa3-9964-6d7e778bc1c3 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 74

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.895727Z

Source-reported events for the cited work

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

Observation 339a7695-fde7-4903-bc58-f86104bdf4c6 · outbound

This paper cites Formal Meth- ods Syst.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Formal Meth- ods Syst

Reference 75

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.878069Z

Source-reported events for the cited work

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

Observation 45f3cc3f-df99-4c60-aaf0-847c06a02e4d · outbound

This paper cites INFORMS J.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet INFORMS J

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.863759Z

Source-reported events for the cited work

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

Observation ff0abc92-4620-48bb-81eb-ed3c9559eced · outbound

This paper cites In: NeurIPS (2023).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: NeurIPS (2023)

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.849249Z

Source-reported events for the cited work

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

Observation 8bfaf3c9-63dd-4ceb-8448-0e8a321bf656 · outbound

This paper cites In: QEST.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: QEST

Reference 78

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.834118Z

Source-reported events for the cited work

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

Observation eb203f54-58f2-48fe-bdf5-9baa0774250b · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 79

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.818352Z

Source-reported events for the cited work

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

Observation 0210fe70-e6c7-4343-94a1-fb314f674e69 · outbound

This paper cites In: CA V.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V

Reference 80

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.801870Z

Source-reported events for the cited work

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

Observation 19c72bf0-13c6-4109-9607-1a750eaf0680 · outbound

This paper cites IEEE Trans.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet IEEE Trans

Reference 81

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.785874Z

Source-reported events for the cited work

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

Observation ea2019df-3c94-46d9-847f-5ea0d9e2982d · outbound

This paper cites In: ICML.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ICML

Reference 82

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.770552Z

Source-reported events for the cited work

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

Observation fed58f8e-b0ea-4338-9bda-c8c8a0b3d4ab · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 83

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.755214Z

Source-reported events for the cited work

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

Observation f99b84c7-5d49-44f1-ba83-f7620cb2a273 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 84

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.739503Z

Source-reported events for the cited work

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

Observation f31489eb-ca25-4dd7-be23-9515579cbc03 · outbound

This paper cites IEEE Control.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet IEEE Control

Reference 85

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.718548Z

Source-reported events for the cited work

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

Observation 884112f0-5198-41af-81ba-613ef610ba52 · outbound

This paper cites In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K ., Lee, I., Pace, G.J., Rosu, G., Sokolsky, O., Tillmann, N.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K ., Lee, I., Pace, G.J., Rosu, G., Sokolsky, O., Tillmann, N

Reference 86

Resolution: verified exact; doi, observed 2026-08-12T18:40:09.707055Z

Source-reported events for the cited work

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

Observation ca3e6a7c-94ae-43d1-87f9-a343808e7181 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 87

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.704032Z

Source-reported events for the cited work

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

Observation 78556a07-bf96-44bb-b6a9-3c12cc53e655 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 88

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.690879Z

Source-reported events for the cited work

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

Observation 8225e311-23d0-4f79-b72f-f673ceb94bcd · outbound

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

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.452899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 723a219e-c525-4374-a744-3de942ff10d7 · outbound

This paper cites What Are the Odds? Improving the foundations of Statistical Model Checking.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet What Are the Odds? Improving the foundations of Statistical Model Checking

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.458247Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e067779-3749-4cbb-9686-92d9ec1ce7ed · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 91

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.674230Z

Source-reported events for the cited work

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

Observation 75869ff6-fdf3-4f91-abe1-003213ef90b8 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 92

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.655655Z

Source-reported events for the cited work

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

Observation 8e7e361d-ecc1-49fc-aac9-2a7724704742 · outbound

This paper cites an unresolved cited work.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Unresolved cited work

Reference 93

Resolution: unresolved; raw_fallback, observed 2026-08-12T18:40:10.639242Z

Source-reported events for the cited work

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

Observation dcf1492c-7e82-48fe-840d-b23c13e5c5e9 · outbound

This paper cites In: ICML.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ICML

Reference 94

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.624604Z

Source-reported events for the cited work

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

Observation 5ab1c6ff-02b5-4ffa-9444-ee2e279854ef · outbound

This paper cites Games on Graphs: From Logic and Automata to Algorithms.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Games on Graphs: From Logic and Automata to Algorithms

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-12T18:40:09.483728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8991d67-cc7a-466f-8e69-6a0088bcf6fb · outbound

This paper cites In: FOCS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: FOCS

Reference 96

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.608068Z

Source-reported events for the cited work

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

Observation 797bbf82-29b5-4905-8fb1-839cddc0308f · outbound

This paper cites In: ICAPS.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ICAPS

Reference 97

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.592331Z

Source-reported events for the cited work

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

Observation c0c4e4bb-1650-4cdc-bec6-ba87b008a7a9 · outbound

This paper cites In: CA V.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V

Reference 98

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.576592Z

Source-reported events for the cited work

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

Observation 54ad2a4c-f588-4d6b-a6a6-4c8dcc479b0d · outbound

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

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet Wiley Series in Probability and Statistics, Wile y (1994)

Reference 99

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.556702Z

Source-reported events for the cited work

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

Observation ff887b5c-5399-42a6-9540-3cc22ccfac48 · outbound

This paper cites In: ATV A.

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: ATV A

Reference 100

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.539720Z

Source-reported events for the cited work

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

Observation 9f92f21a-5e57-470c-9794-f888e56b4052 · outbound

This paper cites In: CA V (1).

Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet In: CA V (1)

Reference 101

Resolution: verified fuzzy; raw_fallback, observed 2026-08-12T18:40:10.521722Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers